repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.32.1
2010-09-13
Sv
e
n V
e
rd
o
olaege
b
arvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
S
ven
V
erdool
a
eg
e
up
d
ate isl
f
o
r fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
bar
v
inok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
Verdool
a
eg
e
iscc
:
add lexicographic
operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Ver
d
oolaege
updat
e
isl
to ve
r
sion 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
S
v
en Verdo
o
la
e
ge
iscc: add
"
s
ource" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
lae
g
e
iscc: add
supp
o
rt for string
s
commit
|
commitdiff
|
tree
2010-09-06
Sv
e
n
V
e
r
doolaege
isc
c
: p
r
int erro
r
message on use of
u
nknown identifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
o
o
l
aege
is
c
c: s
u
pport un
i
o
n
sets
i
n
v
e
rtices op
e
ration
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
r
d
oo
l
aege
add
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
V
erdoolaege
barvinok
_
bound: use is
l
t
o
split pe
r
iods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdool
a
ege
upd
a
te isl for isl_pw_qp
o
lyn
o
mial_split_periods
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdo
o
laege
doc: mar
k
PolyLib inte
r
f
a
ce obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
Makefile
.
a
m: drop references to obsolete @b
v
_barv
i
nok_bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
Verdoolaege
eval
u
e_convert
.
cc: evalue
_
print_isl: pri
n
t end-of-lin
e
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
is
c
c: allow coe
r
cion
of binary list
i
nt
o
first element
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Ver
d
oola
e
ge
barvinok_bound: conver
t
to isl_
p
w_qpol
y
n
om
i
al on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sv
e
n Verdoolaege
ba
r
vin
o
k_boun
d
:
u
s
e isl to split
o
n domain siz
e
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdool
a
ege
s
e
t
sens
i
ble
def
a
u
lts with --poly
n
omial-ap
p
rox
i
ma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynom
i
al_su
m
: reu
s
e barvinok_options if
availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_m
a
p
_card: reus
e
barvin
o
k_options if available i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoo
l
aeg
e
u
p
d
ate isl for a
l
ign
i
ng p
a
ramete
r
s of u
n
ion
arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: add "joi
n
" operation on f
o
lds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join
"
operation on maps and
f
olds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
iscc: suppo
r
t addition
o
n a pair
of a fo
l
d and a qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
update isl for
a
dding types to isl_{union_,
}
pw_qpolynomia
l
_folds
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
V
erdool
a
ege
allow co
d
egen
o
n s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verd
o
olaege
iscc: co
d
ege
n
:
det
e
c
t stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
iscc
:
u
se s
i
mplified CL
o
oG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
update isl for rena
m
e of i
s
l_pw_
q
polyno
m
ial_fo
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
iscc
.
c: union_pw_qpolyn
o
mial_upper
_
bound
:
fix m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
s
u
mmate
.
c
:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
e
rdoo
l
aege
i
s
l_map
_
apply_pw_qpolynomial
:
f
ix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oo
l
aege
u
pdate isl from isl_u
n
ion_m
a
p fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow inver
s
e on non-union
m
a
p
s
again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
iscc: ad
d
wrap and unwra
p
op
e
rations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
ad
d
isl_uni
o
n_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
i
s
l_pw_qpoly
n
omia
l
_sum:
handle isl_pw_qpol
y
no
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
ven Ve
r
dool
a
eg
e
update isl for nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
ven
V
erdoola
e
ge
isl_
m
ap_ca
r
d: postp
o
ne s
h
uf
f
ling ar
o
und of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
d
o
olaege
update is
l
for
is
l
_basic_m
a
p_
m
ove_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolaege
is
l
_pw_qpolynomial_sum: push conversion to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Ver
d
oola
e
ge
isl
_
pw_q
p
olynomial_
s
um: che
c
k for unbounded d
o
ma
i
ns
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
avoid use of is
l
_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ve
r
d
oolaege
iscc: supp
o
rt codeg
e
n
o
p
era
t
ion if CLooG
is av
a
i
l
able
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
iscc: switch to u
s
ing unions
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoo
l
ae
g
e
ad
d
i
s
l_union_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
add isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_
q
polynomia
l
_sum: take tuple
names int
o
ac
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laeg
e
i
sl_
m
ap_
c
a
r
d
:
p
r
eserve full
domain dimensi
o
n in
f
ormation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
update is
l
for change in isl_hash_ta
b
le_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
V
erdool
a
ege
barvinok_e
n
umera
t
e
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-07-03
Sven
V
erdoolaege
d
oc:
a
dd some more papers re
f
e
ring to the libr
a
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
ola
e
ge
barvi
n
ok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
u
pdate isl t
o
v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
nfigure
.
in
:
properly a
d
d isl flags and libs
t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
confi
g
ur
e
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaeg
e
genfun
.
cc: fix print
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdoolaege
test_
a
ppr
o
x
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
V
e
rdo
o
l
aege
t
e
s
t
_boun
d
.
c: f
i
x printf fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configure
.
in: stop compilin
g
Ome
g
a b
y
defaul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
verify_lexsmall
e
r
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
evalue
.
c
:
avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
evalu
e
_isl
.
c:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoolaeg
e
isc
c
: recover f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoo
l
aege
update isl for impro
v
ed error
h
andling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
e
rdo
o
laege
iscc
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaeg
e
doc: iscc: update documen
t
ati
o
n of "ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_ap
p
rox: in
c
l
u
de ctype
.
h for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
tes
t
_approx: include c
o
n
f
ig
.
h for
H
AVE
_
SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ver
d
oolaege
test_
b
ound: in
c
l
u
de con
f
ig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verd
o
o
laege
isc
c
: add vert
i
ces
op
e
rations
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rd
o
ol
a
ege
optional
l
y us
e
isl to perform parametric ve
r
tex enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
doolaege
update i
s
l-po
l
ylib for
h
and
l
ing
o
f rational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
drop distinction b
e
tween barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
upda
t
e
isl for gene
r
ic isl_pw
_
q
p
olynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
conf
i
gu
r
e
.
in: dr
o
p bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_ctx_pe
e
k_barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sven
Verdoolaege
iscc:
p
ars
e
barvin
o
k
o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
x
p
ort isl_qp
o
l
y
nomial_f
r
o
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefi
l
e
.
am: d
r
op dependence on
d
o
c
/
o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laeg
e
u
p
date isl
for rename o
f
is
l
_
p
w_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdo
o
lae
g
e
verif_ehrhar
t
.
c: add missing
i
nclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oo
l
ae
g
e
use isl
f
o
r argument par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verd
o
o
l
aege
u
pdate isl f
o
r keeping
t
rack of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
rdo
o
laege
t
e
st_bou
n
d: rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verd
o
o
laege
upda
t
e i
s
l
for
help
m
e
s
s
age p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eval
u
e_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remov
e
evalue
_
range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
test_bound: u
s
e isl interface for comput
i
n
g
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
barvinok_bound: use isl interface for compu
t
ing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
iscc: support ub even
if GiNaC s
u
ppor
t
was not
c
ompil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
add generic is
l
_
p
w_q
p
olynomial_b
o
u
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl for isl_pw_
q
polynomial_boun
d
_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdool
a
ege
test_bound: use isl dur
i
ng verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
doola
e
ge
barv
i
nok_boun
d
: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aeg
e
verify
.
c: extract some help
e
r functions
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
introduce "bound"
op
t
ion
commit
|
commitdiff
|
tree
next