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
add isl.py to distribution
2011-12-18
S
v
e
n Verd
o
olaege
add is
l
.
py
to distri
b
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdo
o
lae
g
e
a
d
d
i
n
t
e
r
f
ace/
a
ll
.
h and interface/isl
.
py
.
top to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
S
ve
n
V
e
rd
o
ola
e
ge
upda
t
e
clo
o
g to versio
n
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Ver
d
o
o
laege
i
s
l_pw_qpolynom
i
al_from_evalue: constr
u
ct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
r
d
oolaege
ParamL
i
ne_Lengt
h
_mod: properly handle em
p
ty
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
partitio
n
2enum
e
ration: fix m
e
mory leak when i
n
put is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdool
a
ege
u
pdate pet
for introduction of pet
_
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
e
rdoo
l
a
e
ge
isc
c
:
use isl
_
ctx_
p
arse_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
date
isl for hiding of isl_option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olaege
update isl for introduction of isl_arg
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en V
e
rdoolaege
update
p
e
t
for support for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Ve
r
d
oolaege
update isl
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
README:
drop reference to pipli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
iscc: a
d
d "params" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoolaege
doc:
e
xp
l
ain sy
n
tax for parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
r
doolaege
updat
e
i
sl for
s
peci
a
l casing of gist w
i
th
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
Verdoolaege
isl_obj_str_print:
p
roperly pass along isl_printe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolaege
ex
p
licitly link in all required libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
configure
.
ac: quote AC_LANG
_
PR
O
G
RAM
call to avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
olaege
update
p
et for expl
i
cit
l
y l
i
nkin
g
in gm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
d
oolaege
update isl to
v
ers
i
on 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
update polyli
b
to version 5
.
2
2
.
5 +
configu
r
e
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdool
a
ege
u
p
d
a
te cl
o
og for rename
of LAN
G
U
A
GE
_
C to C
L
OOG_LANG
U
AGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
i
s
c
c: add "map % domain" o
p
er
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaeg
e
update is
l
for isl_
u
n
i
on
_
map_gist
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verdoolaege
p
o
lysign
.
h: add missing d
e
clarati
o
n of g
l
pk_p
o
lyhedron_
a
f
f
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
u
pdate pet for s
u
p
p
ort for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
u
pdate
isl for support
for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
hull
.
c: add
m
issing
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n
Verd
o
o
l
aege
reduce_dom
a
in
.
c: include barvinok/barvinok
.
h f
o
r
barvin
o
k_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
evalue_
i
s
l
.
c: relation2pwqp:
properly
handl
e
par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verdoolae
g
e
ba
r
vino
k
_
e
numerate
.
cc: verif
y
_
isl: prop
e
rly h
a
ndle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ve
r
doolae
g
e
add isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolaege
ex
p
ort som
e
func
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
V
er
d
oolaege
configure
.
ac: s
e
t ISL_BUIL
D
DIR als
o
in case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
u
pdate
isl fo
r
extra
c
t_in
t
erfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolae
g
e
update isl
f
or change in isl_pw_a
f
f_set_tuple_id pr
o
totype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
V
e
rd
o
olaege
incl
u
de pet i
n
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update pet
for
fi
x
in di
s
tribu
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
up
d
ate isl for isl_set_from_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
drop omega
submodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
configure
.
ac: take into account
p
refix
o
f
sys
t
em omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdo
o
laege
update isl
for
f
ix i
n
fa
c
tori
z
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
ae
g
e
add
s
ome is
c
c tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoolaege
iscc: only
print new l
i
ne if so
m
et
h
i
n
g was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolae
g
e
iscc: add "assert" ope
r
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
V
erdool
a
ege
iscc: add
== oper
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoola
e
ge
iscc: call_bin_o
p
:
handle binary test operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verd
o
o
lae
g
e
iscc
:
extract out call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
update isl for "=="
tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
upd
a
te is
l
for change in isl_ba
s
i
c
_set_read
_
f
r
om
_
fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
u
pdat
e
cloog
f
o
r
include
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaege
upd
a
te isl for removal of isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
update isl for cha
n
ge i
n
isl_{in,}equality
_
alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oo
l
aege
u
pdate
pet for compatibility with recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
update i
s
l-polylib for inclu
d
e
path ordering i
s
sue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
u
p
d
a
t
e is
l
for change
in space of isl_pw_* obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ver
d
o
o
l
a
ege
update isl for explicit paramet
e
r space
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Ve
r
doolaege
iscc:
pr
o
perly handle applications of functi
o
ns on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
is
l
_unio
n
_
s
e
t
_
a
p
p
ly_un
i
on_pw_qpolynomial: explic
i
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl
_
p
w
_qpo
l
ynomia
l
_su
m
:
s
implify
c
onstruc
t
ion of target
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
ol
a
ege
isl_
s
et_
c
ar
d
: explicitl
y
project result
o
nto pa
r
a
m
ete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
o
o
laege
barvinok_sum
m
ate
.
c
: verify_p
o
int: explic
i
tly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
test_bound
.
c: avoid
u
se
o
f
undocumented isl_set_r
e
move
_
di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoo
l
a
ege
i
sl_bas
i
c_set_lattice_
w
id
t
h:
compute cor
r
ect spa
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl for isl_pw_qpolynomial_project_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
l
a
e
ge
u
pdate clo
o
g
for
not using undocu
m
ented isl_
s
et_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
erdoolaege
up
d
ate
i
s
l-polyli
b
for rename of isl_
d
i
m
to i
s
l_s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
update
isl for rename of
i
sl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
update isl-polylib for
s
ome fixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdoolaege
upd
a
t
e
p
e
t f
o
r use
o
f
i
s
l
_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
date isl
for isl_map_ha
s
_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
erdoolae
g
e
update
isl for
r
enam
e
of isl_m
a
p_ins
e
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
ae
g
e
update is
l
for
change in i
s
l_a
f
f_fl
o
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update pe
t
for comp
a
t
i
bility with la
t
est clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdool
a
ege
update isl for fix in
i
s
l_map_int
e
r
s
ect_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ver
d
oolaege
isc
c
: add pars
e
_file operat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
erdoolaege
add pet submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verdool
a
ege
updat
e
i
s
l for p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
olaege
priva
t
e
l
y exp
o
rt isl_str
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
ven
Ver
d
oolaege
iscc: only
p
rint valid resul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolaege
barvinok 0
.
34
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-14
S
v
en V
e
rdoolaege
update cloog to ver
s
io
n
0
.
16
.
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-13
Sven Verdoolaege
upd
a
te
i
sl to versi
o
n
0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaeg
e
aut
o
gen
.
sh: replace
s
u
p
erproject
p
a
rt by call
t
o autorec
o
nf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ver
d
oolaege
confi
g
u
r
e
.
ac: use non-deprecated form of AM_INIT_A
U
TOM
A
KE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
S
ve
n
Verdool
a
ege
rename confi
g
u
re
.
i
n
to
c
onfigu
r
e
.
ac
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-10
Sve
n
Verdoolaege
update cloog f
o
r not depend
i
n
g
o
n
int
e
rnal r
e
pr
e
sen
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
e
n
Verdoolaege
test:
u
se isl interface
f
or testing l
a
t
tice widths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Ver
d
oo
l
aege
i
scc: add lat
t
i
c
e_width operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
is
c
c: r
e
p
l
ace s
c
h
edule_bands by s
c
hedule_for
e
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaeg
e
upd
a
te
is
l
for fix in isl_schedule interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdool
a
ege
update clo
o
g for ad
d
ition of
m
issing includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
iscc: accept empty lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
remove evalue_s
p
li
t
_periods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Ve
r
doolae
g
e
drop evalu
e
_convert application
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
do
o
laege
le
x
min
.
cc: add missing
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
v
eri
f
y
.
c
: add mis
s
ing retur
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
evalue_
r
ead
.
c
: stream_push_token
:
fix retu
r
n type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
evalu
e
_read
.
c: add missi
n
g includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next