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
summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space
2012-02-11
S
v
e
n
Verdoola
e
g
e
summate
.
c: ad
d
_
u
nb
o
unded_guarded
_
qp: upd
a
t
e
to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaeg
e
upda
t
e
pet
f
or support for rec
e
nt clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Ve
r
doolaege
summate
.
c: sum_base: check for and remove equal
i
t
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
u
pdate pet
for
support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
oola
e
g
e
updat
e
isl
f
or
s
upp
o
rt
f
or
r
ecent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doola
e
g
e
barv
i
nok 0
.
3
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
updat
e
pe
t
t
o
vers
i
on
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaeg
e
update isl to versio
n
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Ver
d
oolaege
add isl
.
p
y
to di
s
tribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
V
erdoolaege
a
dd interface/all
.
h
a
nd in
t
erface
/
isl
.
py
.
top to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven
V
erdoolaege
u
p
date cloog
t
o
v
e
r
s
i
on 0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdo
o
laeg
e
isl_pw_qpolynomia
l
_fr
o
m_evalue: c
o
nstruct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
Par
a
m
L
i
n
e
_Length_mod: properly h
a
ndle empty inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
V
e
r
do
o
laege
partition2e
n
u
meration: fix
m
e
m
o
ry leak whe
n
in
p
ut is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Ve
r
doolaege
update pet
f
o
r
in
t
roduct
i
on of pet_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n
V
e
rd
o
olaege
i
scc: use i
s
l_ctx_parse_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
updat
e
isl for hiding of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Ve
r
d
o
o
laege
u
p
date isl for int
r
oduction of
isl_ar
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
upd
a
te p
e
t for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verd
o
olaege
upd
a
te isl f
o
r support for re
c
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
e
n Verdoolaege
README: drop
r
ef
e
rence to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
a
e
g
e
iscc: add "
p
arams
"
operat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
aege
d
oc: expla
i
n syntax fo
r
par
a
met
e
r
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
doolaege
update isl for specia
l
casing of gi
s
t with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
i
sl_obj_
s
t
r_print: properly pass
a
l
ong isl_p
r
inter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
explicitly link i
n
al
l
req
u
ired libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
c
o
nfigure
.
ac:
quote A
C
_
L
A
N
G
_PROGRAM call
to avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update p
e
t f
o
r ex
p
licit
l
y lin
k
in
g
in
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
update isl
t
o version
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdoolaege
update
p
o
l
y
l
ib to ve
r
sio
n
5
.
22
.
5 + configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update cloog for rename of LA
N
GUAGE_C to CLOOG_LAN
G
UA
G
E_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdoo
l
aege
isc
c
:
a
dd "map % dom
a
in"
opera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
up
d
ate
isl for
isl_union
_
map_gist_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sv
e
n V
e
rdoolaege
polysign
.
h: add m
i
s
s
ing de
c
l
aration of glpk_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sve
n
Ver
d
o
o
lae
g
e
update pet for suppor
t
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en
Verdo
o
laeg
e
u
p
date
i
sl fo
r
su
p
port fo
r
r
e
cent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Ve
r
doolaege
h
u
l
l
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
reduce_domai
n
.
c: inc
l
ud
e
barvinok
/
barvi
n
ok
.
h f
o
r barvin
o
k
_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoolaege
e
v
alue_isl
.
c
:
relation2pwqp: properly hand
l
e par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoo
l
aege
barv
i
nok_enumerate
.
cc: veri
f
y_isl: properly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
add isl
.
p
y
tar
g
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
ex
p
o
r
t
some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
configure
.
a
c: set ISL_BU
I
LDDIR also in case
of b
u
ndl
e
d isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
u
pda
t
e isl
for
extra
c
t_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
update isl for
c
hange in isl_pw_aff
_
set_tuple_id pr
o
t
o
t
y
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
include pet in distribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update pet for fix
i
n di
s
tribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
up
d
ate
i
s
l for isl_set
_
from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdo
o
laege
drop om
e
ga submo
d
u
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
con
f
igure
.
ac: take into acc
o
unt prefix o
f
s
y
st
e
m
om
e
ga
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
upda
t
e
i
sl for fix in fact
o
rization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Ve
r
doolaege
add some iscc
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: only print new line if somethin
g
was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erd
o
o
l
a
e
ge
iscc: add
"
assert"
o
peration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
r
d
ool
a
ege
iscc: add == operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc:
c
all_bin
_
op: han
d
le b
i
nary test operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoolaege
iscc: extract ou
t
ca
l
l_bin
_
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
d
oolaege
update isl for
"==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolae
g
e
update isl fo
r
change in isl_basic_set_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ver
d
oolaege
updat
e
cloog for i
n
clude fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
update i
s
l for removal
o
f isl_di
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laeg
e
update
i
sl
fo
r
change in
isl_{in,}equ
a
lity_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
upd
a
t
e
pet fo
r
c
o
mpatibilit
y
with
r
ece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
o
olaege
update isl-pol
y
lib f
o
r
include path orde
r
ing is
s
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
u
p
date isl for
c
h
ange in space of isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en Verdoolaege
update isl for ex
p
licit para
m
eter
spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
ven Verdoolaege
iscc: prope
r
ly handle applications
of f
u
nction
s
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
S
ven
V
e
rdoolaege
i
sl_un
i
o
n_set_a
p
ply_union_p
w
_qpolyn
o
mial: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
Verdoolaege
isl_pw_qpoly
n
o
m
i
a
l_sum: si
m
pl
i
f
y construction o
f
target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
i
s
l_s
e
t_card: explic
i
tly project result
onto parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
b
a
rvinok_summate
.
c: veri
f
y_poi
n
t
:
e
xplicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoo
l
aege
tes
t
_bound
.
c: avoid use of undocumented isl_se
t
_re
m
o
v
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
isl_basic_set
_
lattice_
w
idth: compute
c
or
r
ect space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
i
s
l
for isl_pw
_
qpolyn
o
mial_project_domain_on_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdool
a
ege
u
pdate cloog for n
o
t us
i
ng undocumented isl_set_exte
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update i
s
l-pol
y
lib for
r
ename of isl_dim to isl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdool
a
e
g
e
u
p
dat
e
isl for re
n
ame of is
l
_dim to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
update isl-polylib for som
e
fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
date pet for use of isl_m
a
p_
h
as_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
u
pda
t
e isl
for isl_map_has_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
isl
f
o
r
r
ename
o
f isl_map_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
up
d
ate isl for chang
e
in isl_aff_flo
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
V
erdoolaege
up
d
ate pet for compat
i
bili
t
y
with latest clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
upd
a
te isl for fix in isl_
m
ap_intersect_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rd
o
olaege
iscc: ad
d
pa
r
se_fil
e
oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoola
e
ge
add pe
t
submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
Verdoolaege
update is
l
for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rd
o
olaege
pr
i
v
ately e
x
port
isl_str
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
ven V
e
rdoolaege
i
scc:
o
n
l
y
print
v
al
i
d result
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
S
ven Ve
r
d
oola
e
g
e
ba
r
vi
n
ok
0
.
3
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoo
l
aeg
e
update cloog
to v
e
rsion 0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Ver
d
oolaege
update isl to version 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ve
r
d
o
olaege
autogen
.
sh: replace superp
r
oject part by call
t
o autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sve
n
Verdoolaege
conf
i
gure
.
ac: us
e
non-deprecated form of A
M
_INIT_AUT
O
MAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
rename config
u
re
.
i
n
to configure
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verd
o
ola
e
g
e
update c
l
o
o
g for not dep
e
nding on inte
r
nal
repre
s
e
nation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
test:
use isl
interface for te
s
t
i
ng lattic
e
wid
t
hs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
iscc: add la
t
tice_width
ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verd
o
olaege
i
s
c
c:
r
eplace s
c
hedul
e
_bands by
s
che
d
ule_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oo
l
a
ege
upd
a
te isl for fix in i
s
l_schedule inte
r
f
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next