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
2010-09-10
S
ve
n
Verdo
o
laege
b
a
r
vinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
iscc: add
lexicograp
h
ic
o
perators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
update
i
sl
t
o
versio
n
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verdool
a
ege
iscc: add "sourc
e
"
o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add s
u
pport for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdo
o
l
a
e
ge
isc
c
:
p
rint error message on use of
unknown ident
i
fier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
i
s
cc: support un
i
on
s
e
t
s
in vertices opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoo
l
aege
ad
d
isl_list_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Ver
d
ool
a
ege
barvinok_bound: use i
s
l to s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
u
p
date
i
sl
fo
r
i
sl_pw_qpolynomial
_
split_p
e
riods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
d
o
c
: mark PolyLib interfac
e
obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoo
l
aege
Makefile
.
am: dr
o
p references to obsolete @bv_barvinok
_
bou
n
d@
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Ver
d
oolaege
e
va
l
u
e_convert
.
c
c
: evalue_print_isl: pri
n
t
e
n
d
-
of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoolaege
is
c
c:
a
l
l
o
w coercion
of
b
in
a
ry list into fir
s
t
e
lement
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok
_
bo
u
nd:
convert t
o
isl_pw_qpoly
n
omial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
arvin
o
k_bound: use isl t
o
spl
i
t on dom
a
in size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible defaults
with --polynomial-a
p
proxim
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaege
isl_pw_qpol
y
nomial_
s
um:
r
eu
s
e barvinok_option
s
if av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaege
isl_map_
c
ard: reuse barv
i
nok_options
i
f avail
a
ble in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolaeg
e
upda
t
e
i
s
l
for
a
li
g
ning parameters of
u
n
ion argum
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join"
o
p
e
rati
o
n
o
n
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
isc
c
: add "join" operat
i
on on ma
p
s and
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
i
scc: suppo
r
t add
i
tion on a
pair of a fol
d
and
a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolae
g
e
u
p
date isl for adding types to isl_{union_,}p
w
_qpolynomial_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
allow co
d
egen on sets
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verdo
o
la
e
ge
i
scc: codegen: detect s
t
ri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
iscc: u
s
e si
m
plified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaeg
e
update isl for rename of is
l
_pw_qpolynom
i
al_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
aege
i
s
c
c
.
c
: union_pw_
q
polynomial_upper_boun
d
: fix
m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
s
u
mmate
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-08-17
Sve
n
V
erdo
o
laege
isl_map_appl
y
_pw_
q
poly
n
om
i
a
l: fix typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoolaeg
e
update
i
sl from isl
_
un
i
on_
m
ap fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sven
V
e
r
doola
e
ge
iscc: allow inverse
o
n non-un
i
o
n
m
ap
s
a
g
ai
n
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
V
erdoolaege
iscc: a
d
d wra
p
a
n
d
unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl
_
union_map_apply_union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_pw_qpol
y
nomial_sum: h
a
ndle isl_
p
w_qpolyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
u
p
date isl for
ne
s
t
e
d
d
i
mension specific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
isl_map_card: postpone shufflin
g
aroun
d
of
d
i
m
en
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolae
g
e
update isl for
isl_
b
a
s
ic_
m
ap_move_
d
i
m
s
commit
|
commitdiff
|
tree
2010-08-04
S
ven Verdoolaege
isl
_
pw_qpol
y
nomia
l
_sum: p
u
s
h convers
i
on to
P
o
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
r
d
oolaege
is
l
_p
w
_qp
o
lynomial
_
sum: ch
e
ck for unbou
n
ded domains
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
V
e
rdoola
e
ge
a
v
oid use of isl_dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
is
c
c
:
sup
p
o
rt codegen operat
i
on if
CLooG is availab
l
e
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoola
e
g
e
iscc
:
swit
c
h to using uni
o
n
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
g
e
add isl_union_
p
w_qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
add is
l
_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
ol
a
ege
isl
_
pw_
q
polynomial_su
m
: take tup
l
e names into
ac
c
ount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
i
sl_map_
c
a
rd: preserve full do
m
ain
dimension informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdool
a
ege
update isl for change in is
l
_hash_ta
b
le_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoola
e
ge
barvinok_enumerate
.
cc:
f
i
x
pr
i
ntf format
commit
|
commitdiff
|
tree
2010-07-03
Sven Ver
d
oolaege
doc: add some more papers referi
n
g to th
e
l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
bar
v
inok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rdool
a
ege
update isl to ve
r
sion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
configure
.
in: properly add isl flags an
d
libs t
o
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
figure
.
in: drop call t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
doolaeg
e
g
e
nfun
.
cc: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rdo
o
laege
test_approx
.
c: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
te
s
t_
b
ound
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
configure
.
in: stop co
m
p
i
l
i
n
g Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
v
e
rify_lexsmalle
r
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolae
g
e
e
value
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaeg
e
iscc: recover f
r
om erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
update isl
f
or impro
v
e
d er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
s
cc
.
c:
f
ix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdo
o
laege
doc: iscc:
u
pdat
e
documentation o
f
"ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_approx: include
c
type
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
doolaege
tes
t
_
appr
o
x
: include co
n
fig
.
h f
o
r HAVE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
ola
e
ge
t
e
st_bound: i
n
clude config
.
h for HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doo
l
aege
iscc:
add ve
r
tice
s
opera
t
ions
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
ola
e
ge
optionally use is
l
t
o pe
r
form parametric verte
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib fo
r
handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
l
a
ege
d
r
op distin
c
t
i
on be
t
ween bar
v
i
nok-
c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
remove ber
n
stei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
updat
e
isl for gener
i
c isl_pw_
q
poly
n
om
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
conf
i
gure
.
in:
d
rop bv_
o
meg
a
_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
sl
_
ctx_
p
eek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolaege
iscc: parse ba
r
v
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
e
xport is
l
_qpolynomial_from_
e
valu
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
Mak
e
file
.
am: drop d
e
pendence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
update isl
for
rename
of
isl_pw_
q
polyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
ve
r
if_eh
r
hart
.
c: a
d
d
m
i
s
sing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fix typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl
for
a
rgument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ve
r
doolaege
update isl
for ke
e
p
ing
t
r
a
c
k o
f
u
ser option
s
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolaege
test_bound
:
rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven V
e
rdoolaeg
e
upd
a
te
isl for help message pri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
r
emove evalue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ver
d
oolaege
remove
e
value_ra
n
g
e
_p
r
opagat
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laeg
e
te
s
t
_
b
ound: use isl inter
f
a
c
e for
computin
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
doolaege
barvinok_bound: use i
s
l inte
r
face
for computing
bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
iscc:
s
upport ub even if G
i
N
aC supp
o
rt
was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add g
e
neric
i
s
l
_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
lae
g
e
u
pdate isl for isl_pw_qpolynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
e
st_boun
d
: use is
l
during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
barvin
o
k_bound
:
use is
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
verify
.
c: extract some helpe
r
fun
c
t
i
ons for i
s
l based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
o
olaege
i
n
tr
o
duce
"
bou
n
d" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
options
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdool
a
e
g
e
iscc: add application oper
a
tions
commit
|
commitdiff
|
tree
next