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
Sven
Verdo
o
laeg
e
ad
d
isl
.
py to distributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verd
o
olaege
add int
e
rface/
a
ll
.
h and interface/i
s
l
.
p
y
.
top to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
up
d
ate cloo
g
t
o versi
o
n 0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
ven
V
erdoolaege
isl_pw_
q
polynom
i
a
l_fr
o
m_evalue: co
n
s
tru
c
t zer
o
result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
olaege
P
a
r
a
m
L
in
e
_Length_mod
:
p
roperly han
d
l
e emp
t
y input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
part
i
tion
2
enu
m
e
r
ation
:
fix me
m
ory l
e
a
k whe
n
input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
l
a
ege
update pet
for intro
d
u
c
tion of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolaege
iscc: use isl_ctx_
p
arse_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
updat
e
isl for hiding of isl_option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
d
a
te isl
f
or int
r
oduction of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdoolae
g
e
update p
e
t for support for
r
ece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
u
p
date i
s
l for
s
upport for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
V
erdoolaege
README: drop refere
n
ce to pi
p
l
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n Verdoolaege
iscc: add
"params" operatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
do
c
:
e
xplain syntax
for par
a
mete
r
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdool
a
ege
update isl for speci
a
l casin
g
of
g
i
s
t with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
e
rdool
a
e
ge
isl_obj_str_print
:
properly pass along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven
Verd
o
olaege
exp
l
icitly
link i
n
all req
u
i
r
ed l
i
b
raries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Ver
d
oo
l
a
e
ge
co
n
figure
.
ac:
q
uote AC_
L
ANG_PR
O
GRAM ca
l
l
to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdoola
e
ge
update pet for explicitly li
n
king in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoola
e
g
e
updat
e
i
sl to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
update po
l
ylib to version 5
.
22
.
5 +
c
onfi
g
u
re fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoo
l
aeg
e
update cloo
g
for re
n
ame of
L
ANGUAGE_C to
C
LOOG_LAN
G
UAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
iscc: add "map
% d
o
m
ain" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
update isl
for is
l
_uni
o
n_ma
p
_g
i
st_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
ve
n
Verdoolaege
polysign
.
h: add missi
n
g declarati
o
n
of
gl
p
k_polyhedro
n
_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
S
ven Ver
d
oolaege
update pet f
o
r sup
p
o
r
t fo
r
recent
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verdoolaege
up
d
a
t
e isl for suppor
t
fo
r
r
e
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verdoolaege
hull
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdo
o
la
e
ge
reduce_domain
.
c:
include ba
r
vino
k
/barvinok
.
h
f
or
b
arv
i
nok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoolaege
evalu
e
_
i
sl
.
c: relat
i
on2pwqp: properly
handle
p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
r
d
o
olaege
barvinok_en
u
mera
t
e
.
c
c
: verify_isl: p
r
operly ha
n
dle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
a
dd isl
.
p
y
target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
e
xport some functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
configure
.
ac:
set ISL_BUILDDI
R
a
l
s
o in case of b
u
ndled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaeg
e
update isl for ex
t
ract_
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
r
doolaege
u
p
date isl
f
or
change in isl_pw_aff_se
t
_tuple_id pro
t
o
t
yp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdool
a
e
g
e
include pet
i
n dist
r
ibut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
update pet for f
i
x in d
i
stribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doo
l
aeg
e
upd
a
te isl f
o
r isl_set_from
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolae
g
e
drop omega s
u
bmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
Verdoolaege
configure
.
ac: take into account prefix of system omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolae
g
e
update
i
sl for fix in factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n Verdool
a
ege
add some iscc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
o
l
aege
iscc: only print new line if som
e
thing was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
iscc: add "asse
r
t"
o
p
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
iscc: add
=
= operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
e
rdoola
e
ge
iscc: call_bi
n
_op:
h
andle
binary test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
i
scc
:
extract out call_bin_
o
p
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
u
p
dat
e
isl for chan
g
e in
isl_basic_set_read_f
r
om_fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
erdoolaege
update cl
o
og
for include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
d
o
olaege
update isl
for removal o
f
isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n V
e
rdoolaege
update is
l
for
change in isl_{in,}eq
u
ality_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoolaeg
e
update pet for
c
omp
a
tib
i
l
ity
w
ith recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
upd
a
te isl-p
o
lylib for incl
u
de path ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdoolaege
updat
e
is
l
fo
r
c
hange in space of isl_pw_* object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
u
p
dat
e
isl for
explici
t
parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
iscc: properly ha
n
dle applicati
o
n
s
o
f
functions
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verdoolaege
isl_u
n
i
o
n_
s
et_apply_union_pw_qpolynomial: exp
l
icitl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
er
d
o
o
l
a
ege
isl_pw
_
qpolynom
i
al_sum: simplify construction of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_set_card: explic
i
tl
y
p
r
oject
result onto parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
bar
v
inok
_
summate
.
c: verif
y
_p
o
int: explici
t
ly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
test_bound
.
c: a
v
oid use
of undoc
u
mented i
s
l_se
t
_
r
emove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
isl_basic_set_latt
i
c
e
_w
i
dth: compute correct spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
update i
s
l
for isl_pw_qpolynomial_project_domain_on
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
update
c
l
o
og fo
r
no
t
using
u
n
d
ocumen
t
ed isl_set
_
extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolae
g
e
update i
s
l-poly
l
ib for
r
ename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
pd
a
te
isl fo
r
rename of isl_dim
to i
s
l_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
up
d
a
te isl-polylib for
so
m
e fixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
upd
a
te
pet for use of
i
s
l
_map_h
a
s
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdo
o
l
a
ege
upd
a
te isl
for isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoolaege
update
i
sl for rena
m
e of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
V
erdoolaege
update isl for
chan
g
e
in isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
update pet fo
r
c
om
p
atibility with latest clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Ver
d
oolaege
update is
l
f
o
r fix in isl_map_inters
e
ct_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
isc
c
: add parse_
f
ile operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
add pet
s
u
b
mo
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verd
o
olaege
upd
a
te isl for p
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
privately e
x
port isl_str_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
a
ege
iscc: on
l
y print valid res
u
lts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
Sv
e
n
V
e
r
d
o
olaege
b
arvinok 0
.
34
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-14
S
v
e
n Verdoola
e
g
e
updat
e
cloog to
versi
o
n
0
.
16
.
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-13
Sv
e
n Verd
o
olaege
up
d
ate isl to v
e
rs
i
o
n
0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
S
ven Verdo
o
laege
a
u
t
ogen
.
sh:
replace s
u
perpro
j
ect part by call to autore
c
onf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven
Verdoola
e
ge
configure
.
ac: use non-de
p
recated form of AM_INIT_AUTOMA
K
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
renam
e
confi
g
ure
.
in to co
n
figure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sve
n
Verdoolae
g
e
update cloog for
not dep
e
nding
o
n internal represenation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en Verdoolaege
test: use
i
sl
inte
r
face
f
or t
e
s
ting
l
attic
e
w
idths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven
Verdoolaege
iscc: add lattice_wi
d
th oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoo
l
aege
isc
c
: replace schedule_ban
d
s by schedu
l
e
_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdoolaege
update i
s
l for fix in
i
s
l
_schedule in
t
e
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sv
e
n Verdo
o
laege
u
p
date cloog fo
r
a
d
dition of m
i
ssi
n
g includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Verdoolaege
iscc:
accept
e
mpty lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sve
n
Verdoolaege
r
e
m
o
ve evalue_split
_
periods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven V
e
r
doolaege
drop evalue_conv
e
r
t application
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
lexm
i
n
.
cc: a
d
d
missing return
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
ver
i
fy
.
c: add
m
issing returns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Verdoolaege
e
v
alue_read
.
c: stre
a
m_
p
ush_token: fix retu
r
n type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
v
en
V
e
rd
o
ol
a
eg
e
ev
a
lue_read
.
c: add
missing
i
n
cl
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next