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
test_bound.c: result_data: use isl_val
2011-10-23
S
ven Ve
r
dool
a
ege
update p
o
lyl
i
b
to version 5
.
2
2
.
5
+ co
n
fi
g
ure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
u
pdate clo
o
g for rename
o
f LANGUAGE_
C
to CL
O
OG_LA
N
GUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
iscc: add "m
a
p % domain" ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en
V
er
d
oolaege
u
p
date isl for isl
_
union_ma
p
_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sv
e
n Verdoola
e
ge
polysign
.
h: add
missing
declarati
o
n
of
glpk_poly
h
edron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sve
n
Verdoolaege
up
d
ate pet for support for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verdoolaege
upda
t
e is
l
for s
u
pport for rece
n
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdool
a
eg
e
h
ull
.
c: add miss
i
n
g
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
lae
g
e
reduce
_
domain
.
c
: include
b
arvi
n
ok/ba
r
vinok
.
h
for barv
i
nok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verd
o
olaege
evalue
_
isl
.
c: relat
i
on
2
pwqp: properly handle pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
barvi
n
ok_
e
numerate
.
cc: verify_isl: pro
p
e
rly ha
n
dle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
o
o
l
aege
add isl
.
p
y t
a
rget
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolaege
export some function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
l
a
ege
confi
g
u
re
.
a
c
: s
e
t
ISL_B
U
I
LDDIR
a
lso in case of bundled
isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oola
e
ge
u
p
date isl for extract_i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
To
b
ias Gro
s
ser
iscc: use c
l
oog
_
union_
d
omain
_
from_isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
upd
a
te is
l
for c
h
ange in isl_pw
_
aff
_
set
_
tuple
_
id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
i
ncl
u
de pet in
d
i
s
tribut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
u
pdate pet
for fix in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ve
n
Verdoolaege
upda
t
e isl fo
r
isl
_
set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
drop omega
s
ub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
configure
.
a
c: tak
e
i
n
to
a
c
count pref
i
x of system omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
o
o
laege
u
p
date isl f
o
r f
i
x
in fa
c
toriz
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
add some iscc
test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
V
erdoolaege
iscc: only pr
i
nt
new line i
f
something was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdo
o
lae
g
e
iscc: add "assert
"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n Verdoolaege
i
s
cc: add == operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ver
d
oo
l
aege
iscc: call_b
i
n_op:
handle b
i
nary test
o
perat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
o
o
la
e
ge
iscc: e
x
tract out
c
all_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
update
i
sl for
"
==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
v
en Verdoolaege
upd
a
te
isl for change in isl_basic_s
e
t_
r
ead_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n
V
e
r
d
oolaege
u
pdate
c
l
oog for i
n
clude fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaeg
e
update isl for removal of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoolaege
update
isl for ch
a
nge in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
olaege
u
p
da
t
e pet for
compatibi
l
i
t
y w
i
th recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoolae
g
e
update i
s
l-pol
y
l
ib f
o
r inc
l
ude
path
o
rdering is
s
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verd
o
olaege
update isl for cha
n
ge in space
o
f
isl_p
w
_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Ver
d
o
olaeg
e
update isl for e
x
plicit parameter spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
iscc: properl
y
handle applications of functions
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
isl_union_
s
et_apply_union_pw_qpolynomial: e
x
plicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
i
s
l
_pw_qpo
l
ynomial_s
u
m: simplif
y
construction of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_set_c
a
rd: explicitly project resu
l
t
on
t
o parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ve
n
Verdoolaege
barvi
n
ok_summate
.
c: verify
_
p
oint
:
explicitly proj
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
t
e
st_bou
n
d
.
c: avo
i
d use of undocumente
d
isl_set_r
e
m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_basic_set_
l
attic
e
_
width: com
p
ute correct s
p
ace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
updat
e
isl
f
or isl_pw_q
p
olynomia
l
_project_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oola
e
g
e
upd
a
t
e cloog
f
or not using
un
d
ocumented
i
sl_set_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
update is
l
-polylib for rename of isl_dim t
o
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
update i
s
l for rename of isl_dim
to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
u
pdate isl-p
o
l
y
lib for s
o
m
e f
i
xes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
d
oolaege
u
p
date pet
fo
r
u
s
e of i
s
l_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
update isl fo
r
i
s
l
_
map_has_tup
l
e_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ve
r
d
o
olaege
upda
t
e isl for re
n
ame
o
f isl
_
map_in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Ve
r
doolaege
upda
t
e isl fo
r
change in isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
Verdoolaeg
e
update pet
f
or compa
t
ibility with latest clan
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ve
r
do
o
laege
u
pdate isl
f
or fix in
i
sl_map_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verd
o
olae
g
e
iscc: add
p
arse_file o
p
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolae
g
e
add pet s
u
bm
o
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
update
i
sl for
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
doolaege
privately export
i
sl_
s
t
r
_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rdoolaege
i
scc: only print
v
ali
d
re
s
ult
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ver
d
oolaege
ba
r
vinok
0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Verdoolae
g
e
u
p
date cloog
t
o version 0
.
1
6
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sve
n
V
erd
o
olaege
update
i
sl t
o
ve
r
s
i
on 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdool
a
ege
autogen
.
sh
:
replace superproject part
b
y
call to autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven
V
erd
o
olaege
configure
.
ac: use
non-d
e
p
r
e
c
ated
fo
r
m of AM_
I
NIT_
A
UTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
v
en
V
e
rdoolaege
rename
configure
.
in
to c
o
nfigure
.
a
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
update cloog for not depending on inter
n
al represenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
t
est: use isl interface for tes
t
ing lattice
w
idt
h
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
is
c
c: a
d
d
l
attice_wid
t
h
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
iscc: re
p
lace schedule_ba
n
ds b
y
s
chedul
e
_f
o
rest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
dool
a
e
ge
u
p
d
a
te i
s
l for fix in isl_
s
c
hedule i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
update c
l
oog for a
d
d
i
tion of
m
issing inc
l
ud
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Ver
d
o
ol
a
eg
e
is
c
c: acc
e
pt empty lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
ege
r
e
move evalue
_
split_per
i
ods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
dro
p
ev
a
lue_convert application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
l
exmin
.
cc: add missing re
t
urn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoola
e
ge
verify
.
c: add missing
r
eturns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
evalue
_
r
ead
.
c
: strea
m
_push_token: fix
retu
r
n type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdool
a
eg
e
evalue
_
read
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
evalue_read
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdool
a
ege
isl_obj_l
i
st_prin
t
: p
r
ope
r
l
y return isl_
p
rin
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
isl_obj_l
i
st
.
h: use flex ar
r
ay m
e
mber to avoi
d
array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
olaege
update isl for renaming of
i
sl_
q
polynomial_is_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
dool
a
ege
barvinok_su
m
m
ate: be more
c
areful about spaces in
which
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ve
n
Ve
r
doolaege
summate
.
c: add
miss
i
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
b
a
rvi
n
ok
.
cc
:
a
d
d missing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verd
o
o
l
aege
Change lice
n
s
e
f
r
om
GPL 2
.
0
t
o G
P
L
2
.
0+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoola
e
ge
evalu
e
_isl
.
c: add missing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ver
d
oolaege
ad
d
cloog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
upd
a
te isl
for cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven V
e
rdool
a
ege
i
s
l
_
ob
j
_list
.
c
:
fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sven Verdoolaege
iscc:
t
urn on
s
h
optio
n
w
hen ca
l
l
i
ng
CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
evalue_
i
sl
.
c: avoid use
of is
l
_div inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
u
p
date isl for isl_div_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdool
a
ege
c
o
n
figure
.
ac: don't
d
ep
e
nd on automake 1
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
i
scc:
a
dd schedule a
n
d schedule_bands operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
iscc: add solu
t
i
o
ns oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rd
o
olaege
isc
c
: add coef
f
icient
s
op
e
ratio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
ola
e
ge
iscc: add
l
i
f
t operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next