repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
configure.in: propagate absolute isl builddir to submodule isl-polylib
2010-11-28
Sve
n
V
e
r
d
ool
a
ege
configu
r
e
.
i
n:
pro
p
aga
t
e ab
s
olute isl bui
l
d
dir to
submodu
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-20
Sven Ve
r
doolaege
u
pdate isl for rename of header f
i
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdo
o
laege
e
value_floor2fr
a
c
: don't assume coeff
i
ci
e
n
t
s
of
floors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
test_b
o
und: stop
t
e
stin
g
aft
e
r prede
t
erm
i
ne
d
num
b
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sv
e
n
Verdoolaege
barvinok_bo
u
nd: re
w
r
i
te in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
v
e
n
Ve
r
doola
e
g
e
barvin
o
k
_{summate,bound}: take isl input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven
Verdoola
e
ge
test_bound: switc
h
to isl re
p
r
e
s
entation even earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verd
o
olaege
test
_
bound: switch to
isl representation earlier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-12
S
ven Ve
r
do
o
laeg
e
is
c
c:
add
p
o
lynomial approximation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
a
ege
ba
r
vinok_su
m
mat
e
: r
e
write in C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-11
Sven
V
erdoolaege
b
arvin
o
k
_summate: use isl
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verd
o
olaege
bound
.
cc: d
r
op d
e
ad code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoolaege
d
o
c: more information abou
t
using sets and m
a
ps i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ver
d
o
o
l
a
e
ge
doc: update s
o
m
e references
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-06
Sven Ve
r
doo
l
aege
iscc: add poly operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-03
Sve
n
V
e
rdoo
l
aege
iscc:
a
d
d
scan operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-01
S
ve
n
Verdoolae
g
e
isl_pw_q
p
olyno
m
ial_sum:
h
andle e
x
istentials in wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sve
n
Verdo
o
laeg
e
u
p
date isl for renami
n
g
of isl_m
a
p_remove
commit
|
commitdiff
|
tree
2010-10-20
S
ven V
e
rdoolaege
version
.
c: show use of CLoo
G
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
doc: a
b
it more info on iscc
commit
|
commitdiff
|
tree
2010-10-18
Sven
Verdoolaege
iscc: add before and after
ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
add identit
y
oper
a
tion
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoo
l
aege
iscc: break
out o
f
f main loop when printer no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc:
s
u
p
p
ort
e
x
t
e
nded Po
l
yLib output f
o
rma
t
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolaege
configure
.
in: perfo
r
m
c
heck for GMP support in
NTL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
i
s
l_
P
olyhedron
_
Sample: ad
d
m
is
s
i
n
g initializa
t
ion
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
iscc:
add
c
omposition operat
i
o
n
on
p
iec
e
wis
e
quasipol
y
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdool
a
ege
iscc: add depende
n
c
e
analysis operations
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verd
o
ol
a
ege
i
scc: register extra keywords in
g
e
n
e
r
ic way
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
u
s
e
isl to perform "manua
l
_c
o
unt"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
erdoolaege
allow
b
uilding wi
t
h
out piplib
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
P
o
lyhedron_Reduc
e
d_Basis: optionally us
e
isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
fix dependence on bui
l
d
isl
commit
|
commitdiff
|
tree
2010-10-11
S
v
en Verdo
o
lae
g
e
i
sl_map_ca
r
d:
u
se isl f
o
r f
a
cto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
S
v
en Verdoolaege
isl_map
_
card:
split di
m
ension fiddling from
c
o
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
S
v
en Verdoolaege
isl_map_card: u
s
e isl_pw_qpolynomial_sum if requested
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven Verd
o
olae
g
e
barvi
n
o
k
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
Verdo
o
laege
u
p
date isl for
fix in
parameter alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
ba
r
vinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
iscc:
a
dd
lexicog
r
aphi
c
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
upd
a
t
e
i
sl
t
o v
e
r
s
ion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdoola
e
ge
iscc:
add "sour
c
e"
opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolae
g
e
iscc: add support for strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
S
ven Ver
d
ool
a
e
ge
iscc: print erro
r
me
s
sage on
us
e
of unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Ve
r
dool
a
ege
iscc: support union
s
e
t
s in vertices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdool
a
ege
add isl_list_conca
t
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
ba
r
v
i
nok_b
o
und: use
isl to split perio
d
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoola
e
ge
u
pdate
i
s
l
for isl_
p
w
_qpolynomial_sp
l
it_periods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Ve
r
d
oolaege
doc: mark Pol
y
Li
b
i
n
t
erfa
c
e
ob
s
olescent
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
Makefile
.
am: dro
p
referen
c
es
to obsolete @bv_barv
i
nok
_
bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
e
v
alu
e
_convert
.
c
c
: ev
a
lu
e
_p
r
i
n
t_isl: pri
n
t end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven V
e
rdoolaege
iscc: allow c
o
ercion of binary
l
ist in
t
o fi
r
st el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laege
barvi
n
ok_
b
ou
n
d: convert to isl_pw_qpolynomial
o
nce
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
erdoolaege
ba
r
vinok_bound: use is
l
to split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set
se
n
s
ible defaults with -
-
polynomial-app
r
oxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_pw
_
q
p
olynomial_sum:
r
euse bar
v
inok_optio
n
s if availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoola
e
ge
i
s
l_map_card:
r
euse
b
a
r
vinok_op
t
ions if ava
i
lab
l
e in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
update i
s
l
for ali
g
ning parameters o
f
union argume
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en
Verdool
a
e
ge
iscc:
add "join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc: add "join" operatio
n
o
n m
a
ps a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
iscc: support addition
on a p
a
ir of a fold and
a
quasipoly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoola
e
ge
up
d
ate isl fo
r
a
d
d
i
ng ty
p
es to isl
_
{unio
n
_,
}
pw_qpo
l
y
nomi
a
l_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaeg
e
allow codegen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
a
e
g
e
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Ve
r
doolaege
iscc
:
us
e
simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
update i
s
l for renam
e
of isl_pw_qpo
l
ynomia
l
_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc
.
c: union_
p
w_qpolynomia
l
_u
p
per_bound
:
f
i
x memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
summa
t
e
.
c:
f
i
x ty
p
o in
comme
n
t
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rdoolaege
isl_map_apply_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oo
l
aege
u
p
d
at
e
isl from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoola
e
ge
is
c
c
: al
l
o
w inverse on n
o
n-union m
a
ps
a
gain
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
i
scc: add wrap and unwr
a
p operations
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdo
o
lae
g
e
add isl_u
n
ion_map_a
p
ply_uni
o
n_pw_qpolyn
o
m
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoola
e
ge
isl_p
w
_qpoly
n
omial_sum:
h
a
ndle isl
_
pw_qpolynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
r
do
o
laege
u
p
date isl fo
r
nested di
m
ension spec
i
f
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolae
g
e
isl_map_
c
a
rd: postpone shufflin
g
arou
n
d of dimens
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doola
e
ge
update isl for i
s
l_basic_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoolaege
isl_p
w
_
q
polyn
o
mial_sum: p
u
s
h
conversion
t
o P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoola
e
ge
isl_pw_qpolyno
m
ial_
s
um:
c
h
e
ck for u
n
bounded do
m
ains
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
d
oola
e
ge
avoid use o
f
is
l
_dim
i
nte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
iscc: support codeg
e
n
oper
a
tion
i
f CLo
o
G
is available
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
i
scc:
switch to using
u
n
ions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_un
i
on_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
lae
g
e
isl_pw_qpolynomial_sum: take tuple
n
ames into
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
isl_map_card: prese
r
ve full
domai
n
di
m
ension information
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
oolaege
update
isl fo
r
change in isl
_
hash_table_forea
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
barvino
k
_
e
numerate
.
cc:
f
ix pr
i
ntf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
do
c
:
a
dd some
m
ore papers refer
i
ng
to the library
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoola
e
g
e
update
is
l
to
ve
r
s
i
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ver
d
oolaege
c
onfigure
.
in: prope
r
l
y a
d
d
i
sl flags
a
nd libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoo
l
ae
g
e
configure
.
in: drop call
to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
g
e
genf
u
n
.
cc:
f
ix print
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
oo
l
aege
test_app
r
o
x
.
c: fix p
r
i
ntf
for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
test_boun
d
.
c
: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rd
o
olaege
configure
.
in: stop compiling
Omega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
verify_lexsma
l
ler
.
c:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: a
v
oid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
eva
l
ue_isl
.
c
:
fix t
y
po
commit
|
commitdiff
|
tree
next