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
partition2enumeration: fix memory leak when input is zero
2011-11-17
S
ve
n
Verdo
o
laege
pa
r
tition2
e
numeratio
n
:
f
i
x
m
emory
le
a
k when inp
u
t is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdool
a
eg
e
update
p
et f
o
r intr
o
duction of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n
Verdoolaege
i
scc: use isl_
c
t
x
_parse_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update is
l
for hid
i
ng of
i
sl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdool
a
e
g
e
update isl f
o
r in
t
roduction of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaeg
e
up
d
a
te pe
t
for supp
o
r
t
for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
d
oolaeg
e
up
d
ate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README: dro
p
re
f
erence to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
oolaege
iscc: add "p
a
r
ams
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en
V
erdoolaege
doc
:
explain syntax
for paramet
e
r domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
V
erdool
a
ege
upd
a
te i
s
l for special casing of gist with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_obj
_
str
_
print: properly pass along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
e
xplicitly link
i
n all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolaege
configure
.
ac:
quote AC_LAN
G
_PROGRAM ca
l
l
t
o av
o
id
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
upd
a
te p
e
t for explicitly link
i
ng
in
g
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
u
p
d
ate isl to version
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
do
o
laege
up
d
a
t
e polylib to
v
ersion
5
.
22
.
5 + configu
r
e fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdo
o
laeg
e
update cl
o
og for r
e
name of LAN
G
UAGE
_
C to CLOOG
_
LANGU
A
GE
_
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdoolaege
i
s
c
c
: ad
d
"
map %
d
o
main" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolae
g
e
update isl f
o
r
i
sl_union_map_g
i
st
_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
v
e
n Ve
r
d
o
olaege
po
l
ysign
.
h:
a
dd
m
issin
g
decla
r
ati
o
n of
g
l
p
k_polyhed
r
on_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven V
e
rdoolaege
update pet fo
r
support for
r
e
c
ent
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
olaege
up
d
ate i
s
l for
s
u
p
port f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
aege
hull
.
c
: add missing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oola
e
ge
reduce_domain
.
c: include barv
i
n
ok/barvi
n
ok
.
h
fo
r
barvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verd
o
olaege
ev
a
lue_isl
.
c: relatio
n
2pw
q
p:
p
r
operl
y
handle pa
r
a
me
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
barvin
o
k
_en
u
merat
e
.
cc:
verify
_
isl:
properly ha
n
d
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolae
g
e
add isl
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Ve
r
doola
e
g
e
ex
p
ort some
fun
c
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
configure
.
ac: set ISL_BUIL
D
DIR a
l
s
o
in
case of bundled is
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
update isl f
o
r e
x
tract_
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
T
obias Gross
e
r
iscc: use cloog_
u
ni
o
n_domain_from_isl
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update
i
s
l fo
r
cha
n
g
e in
i
sl_p
w
_aff_set
_
t
u
ple_id
p
ro
t
otyp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaeg
e
i
n
c
lude pet
i
n d
i
stribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdo
o
laege
upda
t
e pet for fix i
n
distr
i
bution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Ver
d
oolaege
update
i
sl for isl_
s
et_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
drop om
e
ga submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verd
o
olaege
configure
.
ac: take into
a
c
c
ount prefix of
system ome
g
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
up
d
ate
i
s
l
f
or fix in f
a
ctorizat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
add
s
o
me isc
c
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n Verd
o
ola
e
ge
iscc
:
onl
y
print new line if s
o
me
t
hing was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
is
c
c: a
d
d "
a
ssert" operat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n Verdoolaege
iscc: add == operati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
laege
iscc
:
c
al
l
_bin_op: h
a
n
d
le binary t
e
st operat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdoolaege
isc
c
: extra
c
t out cal
l
_bin_o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoolaege
update i
s
l for "=
=
" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoo
l
a
e
ge
update isl for change
i
n isl_ba
s
ic_s
e
t_read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
erdo
o
l
aege
update cloog for
i
nclude fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaege
update isl fo
r
rem
o
val of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdool
a
ege
update isl for change
in isl_{in,}equality_a
l
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaeg
e
u
pda
t
e pet
f
or c
o
mp
a
tibility with recent cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
Verdoolaege
update
i
sl-polyli
b
for incl
u
de path
o
rder
i
ng
issu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
update isl for
c
ha
n
ge in s
p
a
c
e
of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoo
l
aege
update
i
s
l for explicit
parameter spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoola
e
ge
iscc:
p
roper
l
y handle application
s
o
f funct
i
o
ns on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven V
e
rdoolaege
is
l
_uni
o
n_s
e
t_apply_union_pw_
q
polynomial: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
isl_
p
w_qpolynomial
_
su
m
: simplify c
o
nst
r
u
cti
o
n o
f
target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_set_
c
ard: explicitly project result onto
p
ar
a
me
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
barvinok_s
u
mma
t
e
.
c: ver
i
fy_point: expli
c
itly proj
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
test_bound
.
c: avoid u
s
e of und
o
cumented isl_set_remove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
isl_basic
_
set_l
a
tt
i
ce_width: compute correct
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaeg
e
update isl for i
s
l_pw_qpolynomial_p
r
o
ject_domai
n
_
o
n
_
param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdo
o
laege
upda
t
e c
l
o
o
g
for not
usin
g
und
o
cumented isl_set_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
update isl-p
o
lylib
f
or ren
a
me of isl_dim to isl_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
Ve
r
do
o
laege
u
pdate isl for rename
o
f isl
_
dim to isl
_
s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
V
erdool
a
eg
e
u
p
dat
e
isl-polylib for some fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
up
d
ate pet for us
e
of isl_map
_
has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven V
e
r
d
oolaege
update i
s
l for
i
s
l_map_has_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
updat
e
isl for
r
ename of isl_map_i
n
sert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl
f
or cha
n
ge in
i
sl_aff
_
f
l
oor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update pet
for compati
b
il
i
ty with latest
c
lang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
up
d
ate isl
for
fix
i
n isl_map_inters
e
c
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verdoo
l
a
eg
e
iscc: a
d
d par
s
e_file op
e
ra
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdo
o
laege
a
d
d pet submodul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
update isl for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdoolaege
privately export
i
sl_str_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verdoolaege
iscc: only print
v
alid result
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
S
ve
n
Verdoolaege
barvinok 0
.
3
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdool
a
ege
update c
l
o
o
g to version 0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sven Ve
r
doolaege
update i
s
l to ver
s
i
o
n 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdo
o
laege
autogen
.
sh: replace superproject pa
r
t by c
a
ll
to autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en
V
erdoolaege
co
n
figure
.
ac:
use no
n
-de
p
rec
a
t
ed form of AM_INIT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sv
e
n
Verdoolaege
rename configure
.
in to confi
g
ure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en V
e
rdoolaeg
e
upd
a
te cloog for
n
o
t depend
i
n
g
on intern
a
l
represenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
laege
test: use isl int
e
rface for testing lattice widths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Ve
r
do
o
laege
iscc: add lattice
_
width operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
d
o
o
l
aege
iscc: replace schedule_ban
d
s by schedule
_
forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
update
isl
f
or fix i
n
isl_sched
u
le in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
update cloo
g
for ad
d
ition of missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Ve
r
d
o
ola
e
ge
is
c
c: accept e
m
p
t
y lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
remove evalue_split
_
periods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
drop e
v
alue_co
n
ve
r
t application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoo
l
aege
lexmin
.
cc:
add
m
i
ssing re
t
urn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
verify
.
c:
add miss
i
n
g
r
eturns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
erdoola
e
ge
evalue_read
.
c: stream_
p
ush_token: fix
retur
n
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
a
e
g
e
evalue_
r
ead
.
c: add missing
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolaege
evalue_read
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
i
sl_obj_list_print: pro
p
erly return isl_p
r
inter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
Verdo
o
laege
isl_obj_list
.
h: use flex ar
r
ay membe
r
to avoid array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n
V
erdoola
e
g
e
up
d
ate
isl for
r
e
naming of isl_qpolynomial_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
