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
evalue_isl.c: div2evalue: use isl_val
2011-11-07
Sven
V
er
d
oolaege
doc: expl
a
in
s
y
n
tax for
p
aramete
r
domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoolaege
up
d
ate isl for sp
e
cial casing o
f
gis
t
w
i
th par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_obj_
s
t
r
_print
:
p
r
operly
pass along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolaege
exp
l
icitly link in all
r
equire
d
libra
r
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
configure
.
ac: quote AC_LANG
_
P
ROGRA
M
c
all to avoi
d
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
u
pdate pet for ex
p
l
icitl
y
l
i
nking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
u
p
date isl to vers
i
o
n
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verd
o
olaege
u
pd
a
t
e
po
l
y
lib to version 5
.
22
.
5 +
c
onfigu
r
e
f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
S
ven
V
erdo
o
laege
upd
a
t
e
cloog for
rename of L
A
NGUAGE_C to CLOOG_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
i
s
c
c: add "map % dom
a
in" operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Ve
r
doolaeg
e
update isl for isl_unio
n
_map_
g
ist_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
v
e
n Verdoolaege
polysign
.
h: add missing declaration o
f
gl
p
k_po
l
yhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolae
g
e
u
pdate pet for support
for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rdoolaege
u
pdate isl fo
r
support for
r
ecent
cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verdoolaege
hu
l
l
.
c: add missing includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
reduce_domai
n
.
c
:
include b
a
r
vino
k
/barvinok
.
h for barvi
n
ok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaeg
e
e
valu
e
_isl
.
c:
relation
2
pwqp: properly handle p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
barvinok
_
enumerate
.
cc:
verify_i
s
l: properly
h
a
ndle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
V
e
r
d
o
ol
a
ege
add isl
.
py
t
a
rget
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
exp
o
rt so
m
e
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
ge
c
onf
i
gure
.
ac: set IS
L
_BUILDDIR
a
lso
in case
of bundled i
s
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
V
erdoolaege
up
d
ate isl for extract
_
i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Grosser
iscc: use cl
o
og_un
i
o
n
_domai
n
_from
_
isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update is
l
f
o
r ch
a
nge in isl_pw_aff
_
set_tuple
_
id prot
o
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
i
n
clude
pet
i
n distribut
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
update pe
t
for fix in
distributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
o
laege
up
d
ate
i
sl
f
or isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Ve
r
doolaege
drop o
m
e
g
a
s
ubm
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
dool
a
ege
c
onfi
g
ure
.
a
c
:
take into
a
ccount prefix of syst
e
m omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
up
d
ate isl for
f
ix in factorizatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdo
o
laege
add so
m
e iscc
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
i
scc: only
print ne
w
l
i
ne if something was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Ve
r
d
oolaege
iscc: add "as
s
ert" o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n Verdoolaege
iscc:
a
dd =
=
operat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
e
n Verdoolaege
is
c
c
:
call_bin_
o
p: handle binary
te
s
t operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
is
c
c: extract
out call_bin_
o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Ver
d
oolaege
updat
e
i
s
l for "==" to
k
e
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoo
l
a
e
ge
upda
t
e
isl for
change in isl_b
a
sic_s
e
t_rea
d
_from_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ver
d
oolaege
update cloog for include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl
for
r
em
o
val of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaeg
e
updat
e
i
sl for change i
n
isl_{
i
n
,}e
q
u
a
l
ity_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoolaege
update
pet for comp
a
tibility with recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
update
isl-polylib
f
or in
c
lude p
a
t
h
order
i
ng issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
v
en V
e
rdo
o
laege
update is
l
for change in s
p
ace of isl
_
p
w
_* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
ven
V
erdoolaege
update isl for expli
c
i
t
p
arameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
iscc:
p
roperly handle
a
p
plica
t
ions of functions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ve
r
doolaege
isl
_
union
_
set_apply_union_pw_qpoly
n
o
m
ial: explicit
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n V
e
rdoolaege
isl_pw_qpolynomia
l
_sum: simplif
y
cons
t
r
u
ction of
t
arget
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoolae
g
e
isl_s
e
t_card: e
x
plicitly project r
e
sult onto param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
barvin
o
k_summate
.
c: v
e
ri
f
y_point: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
test_
b
oun
d
.
c: av
o
id use of undocum
e
nted isl_set_remove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
isl_basi
c
_set_latti
c
e_wid
t
h: comput
e
correct
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
updat
e
isl for isl_pw
_
qpol
y
nomial_project
_
dom
a
i
n_on_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
update cl
o
og f
o
r not usin
g
un
d
o
cumented isl_set_extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoola
e
ge
update i
s
l-polylib
f
or rena
m
e of isl_dim to isl
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ve
r
do
o
laege
update is
l
f
or rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl-polylib for some fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Ver
d
oolaege
update pet
f
or use of is
l
_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
upd
a
t
e
isl
f
o
r isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
updat
e
isl for
r
ename of is
l
_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
updat
e
isl for change in isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
update pet fo
r
compati
b
ility with latest cl
a
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
da
t
e isl for fix
in isl_map
_
i
n
ters
e
ct_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
aege
iscc: add parse
_
file op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verdoolaege
a
d
d
pet su
b
module
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verdo
o
laege
up
d
a
t
e
is
l
for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
V
e
rdoolaege
priva
t
ely export isl_st
r
_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven
Verdoolaege
is
c
c: only
p
rint va
l
id results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sven Ver
d
ool
a
ege
barvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sve
n
V
e
r
d
oolaeg
e
u
p
da
t
e cloog
to version 0
.
1
6
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
S
ven Ve
r
doolaege
update isl to ver
s
ion 0
.
0
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoo
l
a
ege
autogen
.
s
h:
r
e
pla
c
e
s
uper
p
roje
c
t part by call t
o
autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verd
o
o
l
aege
conf
i
g
u
r
e
.
a
c
:
use n
o
n-de
p
recat
e
d
f
o
r
m of AM_IN
I
T
_
AUTOM
A
KE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
r
ename configu
r
e
.
in to
c
o
n
figure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven
V
erdoolaege
update c
l
oog for no
t
dep
e
ndi
n
g on internal represenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
test: use
i
sl
i
n
t
erface for t
e
sting lattice widths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
V
e
rdool
a
ege
iscc: add lattic
e
_w
i
dt
h
op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Ve
r
doolaege
iscc
:
r
epl
a
c
e schedu
l
e_b
a
nds by sched
u
le
_
forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven V
e
rd
o
olaeg
e
update isl f
o
r fix in
i
s
l
_
s
ched
u
l
e i
n
te
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoo
l
a
e
ge
u
pdat
e
c
loog for addi
t
ion of missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolae
g
e
iscc: accept emp
t
y li
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdo
o
l
a
ege
re
m
ove evalue_split_perio
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
dro
p
e
valu
e
_convert ap
p
lication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
doolae
g
e
lexmin
.
cc: add missing return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
V
erdoolaege
ve
r
ify
.
c: add missing
r
e
t
urns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
e
rdoolaege
ev
a
l
ue_read
.
c: stream_push_token: fix re
t
u
rn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
V
e
rdool
a
eg
e
evalu
e
_read
.
c: add m
i
ssing incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
e
v
alue_rea
d
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoola
e
ge
i
s
l
_
obj_list_print:
p
roperly return isl_printe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
Ve
r
d
o
olaege
i
s
l_obj_list
.
h: use f
l
ex array memb
e
r to avoid a
r
ra
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
update isl
f
or renaming
o
f
isl_qpolynomia
l
_
i
s_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
b
a
rvinok_summate:
b
e more careful abou
t
spaces in
w
hich
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ver
d
oolaege
summate
.
c: add m
i
ssing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
rdoolaege
barvinok
.
cc: add missing
i
n
c
lu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoola
e
g
e
Change license from GPL
2
.
0 to GPL 2
.
0+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ver
d
oolaege
evalue
_
isl
.
c
: ad
d
m
i
ssing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Ve
r
do
o
laege
add
c
loog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sven Verdoolaege
updat
e
isl for cloog
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-10
Sv
e
n Verdoolaege
i
sl_obj_list
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-01
Sv
e
n Ver
d
ool
a
ege
iscc: turn on sh option w
h
en calling
CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next