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
S
v
en Verdoolaege
barv
i
nok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoolaege
u
p
date isl for fix in p
a
rameter
a
li
g
nment
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erd
o
o
l
aege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdo
o
laege
i
scc:
ad
d
lexicographic
o
pe
r
ators
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
update
is
l
t
o version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sv
e
n Verdoolaege
iscc: a
d
d "
s
o
u
r
ce
"
opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
aege
i
scc: add support for stri
n
gs
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
iscc: pr
i
nt
e
rr
o
r
message on use
o
f unknown identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolaege
i
s
c
c
:
s
u
p
port
union set
s
in ver
t
i
ces
o
p
eration
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barvinok_bou
n
d: use isl to s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
do
o
laege
u
pdate isl for
i
s
l_pw_qpo
l
ynomial
_
split_periods
commit
|
commitdiff
|
tree
2010-08-31
S
v
e
n Ve
r
doola
e
ge
doc: mark Poly
L
ib in
t
erface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Ver
d
oolaege
Makefile
.
a
m: drop
r
efer
e
n
ces
t
o obsolete @bv_b
a
r
vinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
ven Verdoolaege
ev
a
lue_conve
r
t
.
c
c
:
e
v
alue_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoola
e
ge
iscc: allow coercion of binary
list in
t
o first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oola
e
ge
barvinok_bou
n
d:
c
o
n
vert
t
o i
s
l_pw_qpolyn
o
mial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
arvino
k
_
b
oun
d
:
use
i
s
l
to split
o
n
domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ver
d
ool
a
ege
se
t
sensib
l
e defaults with --polynomial-a
p
p
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolae
g
e
isl_pw_qpoly
n
om
i
al_sum: reuse barvinok_
o
ptions if
a
v
a
ila
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oo
l
aege
isl_map_card: reu
s
e ba
r
vi
n
o
k
_opti
o
ns if
a
vailable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Ver
d
oolaege
update isl for a
l
igning parameters of union ar
g
umen
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
iscc: add "join" o
p
eration
o
n
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
scc
:
add "jo
i
n" oper
a
tion on maps an
d
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaeg
e
iscc: suppo
r
t
a
ddition on a pair of a fold and
a qu
a
sipo
l
yno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
ola
e
g
e
update isl for adding types to
i
sl_{uni
o
n_
,
}pw_qpo
l
yn
o
mial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdool
a
ege
allow cod
e
g
en on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: detec
t
strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: use simplifi
e
d
CLo
o
G
interface
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoo
l
a
e
ge
update i
s
l for rename o
f
i
sl_pw_qpo
l
ynom
i
al_fo
l
d_add
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erdoolaege
iscc
.
c: union_pw_qpol
y
n
omial_u
p
per_bound: fix
m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
summa
t
e
.
c: fix
typo in commen
t
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Ve
r
doo
l
ae
g
e
isl_map_apply_pw_qpoly
n
omial: fix typ
o
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
upda
t
e isl from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verd
o
olaege
iscc:
al
l
ow
in
v
ers
e
on non
-
union
maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
iscc:
add wrap and unwrap
operatio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
e
r
doolaege
add isl_union_map_app
l
y_uni
o
n_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aege
isl_pw_qpo
l
ynomial_sum
:
hand
l
e
isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
e
g
e
up
d
a
t
e is
l
for n
e
sted dimens
i
o
n
specifications
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
isl_
m
ap_c
a
rd: postpone shu
f
fling
around of dimen
s
ions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaeg
e
u
pdate isl for is
l
_basic_
m
ap
_
move_
d
ims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdool
a
ege
isl
_
pw_qpol
y
no
m
ia
l
_sum: push conversion
t
o
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
isl_p
w
_qpolynomial_sum: check
for unb
o
unded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdo
o
laege
avoid us
e
of isl_dim
in
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoolaege
iscc: support cod
e
gen operation
i
f
C
LooG is
availabl
e
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
e
rdoolae
g
e
iscc:
swit
c
h t
o
u
s
i
n
g unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
do
o
laege
add isl_union
_
pw_q
p
o
l
yn
o
mial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolae
g
e
add isl_uni
o
n_
m
ap_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
i
sl_pw_qpolynomial_sum: take tu
p
le names int
o
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
map_car
d
: prese
r
ve full domain dimensi
o
n informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ve
r
doolaege
u
p
d
a
te is
l
for change in isl_hash_ta
b
le_
f
orea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verd
o
olaege
bar
v
inok_enumerate
.
cc:
fix printf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
laege
doc
:
add some more paper
s
r
e
fering
to the lib
r
ar
y
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdoo
l
ae
g
e
b
arvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoo
l
a
e
ge
up
d
ate isl
t
o version
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
o
lae
g
e
configure
.
in: proper
l
y
add i
s
l
flags
and libs to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in: drop
c
a
ll to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaeg
e
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
eg
e
test_
a
ppr
o
x
.
c: fi
x
pr
i
ntf
format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
e
r
doo
l
a
e
ge
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
confi
g
u
re
.
in: stop compi
l
ing Omega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolae
g
e
verify_lexsmaller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoola
e
ge
evalue
.
c:
a
void use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
evalue_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
V
erdoolaege
iscc: rec
o
ver
f
rom err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdool
a
e
g
e
update isl for
improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oo
l
aege
iscc
.
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-13
S
ven V
e
rdoolaeg
e
doc
:
iscc: update documentation
o
f "
u
b" operator
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doo
l
aege
t
es
t
_a
p
pro
x
: in
c
lude ctyp
e
.
h
for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
tes
t
_ap
p
rox: include c
o
n
fig
.
h f
o
r HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
t
e
s
t_bound: include config
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add
v
e
rtices o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
u
se isl
t
o per
f
o
r
m para
m
e
tri
c
ve
r
tex enum
e
ratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
date isl-poly
l
ib for handling o
f
r
ational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
d
r
op distinction b
e
tween barvinok-c
o
r
e
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdo
o
l
aege
re
m
ove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
update
isl for ge
n
e
r
ic isl_pw_qpolynomial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
c
onfi
g
u
r
e
.
in: drop
b
v
_omega
_
programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoo
l
aege
add isl_ct
x
_p
e
e
k
_barvin
o
k_options
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Verdoola
e
ge
iscc: p
a
rs
e
b
a
rvinok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export i
s
l_qpolynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
Makefile
.
a
m: dr
o
p dependence
o
n doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
u
pdate isl for rename o
f
isl
_
p
w_
q
pol
y
n
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdoolaege
verif_ehrhart
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
ae
g
e
configu
r
e
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
use isl
for
argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
eg
e
update isl for keeping track of
user optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
te
s
t_bou
n
d: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdool
a
ege
up
d
ate isl
f
or
h
el
p
messa
g
e p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdo
o
l
a
e
g
e
remove eva
l
ue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ver
d
o
o
l
aege
remov
e
eval
u
e_r
a
nge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: use isl i
n
terface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound: use isl interface for
com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
iscc: support
ub even i
f
GiNaC support was not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add generic isl_pw_qp
o
l
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ver
d
oolaege
update
i
sl
f
or isl_p
w
_qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoolaege
tes
t
_
b
o
u
nd: us
e
isl
d
uring ver
i
fic
a
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound: use
i
sl dur
i
ng v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdool
a
e
ge
ve
r
ify
.
c: e
x
tract some helper f
u
ncti
o
n
s for isl b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "b
o
und" op
t
ion
commit
|
commitdiff
|
tree
next