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
update isl to version 0.11
2012-12-03
Sven Verdoolaege
update isl to version 0
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaeg
e
README: refer to pet/
R
EADME for m
o
re deta
i
ls
o
n
how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdool
a
e
ge
update pet for support
f
or
r
e
c
ent
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaeg
e
update isl for suppor
t
for
r
ec
e
n
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Ver
d
o
o
l
a
ege
dr
o
p cl
o
og submodul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoola
e
ge
u
s
e isl for code gener
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
u
pdate isl for code gene
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
iscc
.
c
: add missin
g
includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n Verdool
a
e
g
e
u
p
date isl for
r
enam
e
of !isl_set_dim_has
_
{lower,u
p
per
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaeg
e
doc: ad
d
another
paper refering to the l
i
brary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Ver
d
oolaege
README
:
c
l
arify tha
t
/opt is the exa
m
ple inst
a
llation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
ex
p
ort
i
sl_*
_
pw_qpolynomial
_
sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoolaege
updat
e
pet for ad
d
ing missi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven V
e
rdoolaege
configure
.
ac
:
che
c
k for NTL/ZZ
.
h header before
c
hec
k
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n Verdoolaege
update pet to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
a
eg
e
updat
e
i
s
l to version 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
opti
o
ns
.
c:
a
void calli
n
g isl_
a
lloc_type w
i
thout valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
e
v
alue_i
s
l
.
c: d
i
v2evalue: explicitly check for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Verdoolaege
update isl fo
r
normalization of isl_t
e
rm_get_
d
iv resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoola
e
ge
evalue_
i
s
l
.
c: add
_
term:
impr
o
ve erro
r
h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
doolaege
u
pdate
p
e
t for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdool
a
e
g
e
update isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoolaege
is
c
c
: supp
o
r
t
c
omputatio
n
of
a
rbi
t
rar
y
(
n
on-zero) pow
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sve
n
Ve
r
doolae
g
e
update isl for i
s
l_union_map_fixed
_
p
ower
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdool
a
ege
updat
e
isl for change in
i
sl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoolaege
evalue
.
c
: avoid
warning on use of && inside
||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n V
e
rdoolaege
bar
v
inok_e
.
cc: enumera
t
e_line:
fix
t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven V
e
rd
o
olaege
summat
e
.
c: add_unbounded_guarded_qp: updat
e
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verd
o
olaege
u
pdate pet for suppo
r
t
f
or rece
n
t cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Ve
r
doolae
g
e
summate
.
c: sum_base: c
h
eck for and r
e
move
e
qualities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoo
l
aege
up
d
ate pet for
s
upp
o
r
t for
recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
Verdoolaege
up
d
ate isl f
o
r supp
o
rt for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Ve
r
doo
l
a
e
ge
bar
v
i
n
o
k 0
.
3
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Ver
d
oolaege
u
pdate pet to version 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rdoolaege
update isl to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolaege
a
d
d isl
.
py to
dis
t
ribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n Verdool
a
ege
add
i
nterface/
a
ll
.
h
and i
n
ter
f
ace/
i
sl
.
py
.
top to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sve
n
Verdool
a
ege
update cloog to
versio
n
0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Ver
d
o
ola
e
ge
isl_pw
_
qpolynom
i
al_fr
o
m_ev
a
l
ue:
c
onstruct
ze
r
o result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoo
l
aeg
e
ParamLine_Leng
t
h
_mod
:
pr
o
p
erly ha
n
dle empty i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
d
oolaege
partition2enumeration: fix memory l
e
ak when i
n
pu
t
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
u
pdate
p
et for intr
o
duc
t
ion o
f
pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verd
o
ola
e
g
e
i
s
cc: use isl_ctx_parse_option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
up
d
ate
i
sl for
h
iding
of is
l
_
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olae
g
e
update
i
sl f
o
r int
r
oduction of isl_ar
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Ve
r
d
o
olaeg
e
update
p
et for
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
upd
a
te isl for suppor
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoo
l
aege
R
E
ADME: drop referenc
e
to pipli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sv
e
n
V
e
rdoolaege
iscc:
a
dd "params
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoolaege
d
oc: explai
n
syntax fo
r
parameter
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
rd
o
olaege
u
p
date isl for speci
a
l casing of gist with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_obj_str
_
p
rint: properly pass along
i
s
l
_p
r
inter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoolaeg
e
explicitl
y
link
i
n all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaege
co
n
f
i
gure
.
ac: qu
o
te AC_LA
N
G_PROG
R
A
M
call to
a
void warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdoolaege
update p
e
t for
expl
i
c
i
tly linking i
n
g
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
update isl to
versio
n
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
V
e
r
doola
e
ge
upda
t
e polylib
to version 5
.
2
2
.
5 +
configure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sve
n
Verdoola
e
g
e
upd
a
te cloog
f
or re
n
ame of LANGUAGE_C to
CLOOG_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaeg
e
i
scc
:
add
"map % domain" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en V
e
rdoolaege
u
pdat
e
i
sl for isl_union_m
a
p_gist_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven
V
e
rdo
o
la
e
ge
polysign
.
h: add mi
s
si
n
g declaration of glpk_po
l
yhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven
V
erdoolaege
update pet for support
for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
olaege
u
p
d
ate isl for suppo
r
t fo
r
rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Ver
d
o
olaege
h
u
l
l
.
c: a
d
d missing
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
reduce_domain
.
c
:
includ
e
barvinok
/
barv
i
no
k
.
h for barvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
evalu
e
_isl
.
c: relat
i
o
n
2
p
w
qp: pro
p
e
rly handle
p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
b
a
rvinok_e
n
umerate
.
cc: ver
i
fy_isl: properly ha
n
dle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
add
i
sl
.
py t
a
rge
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
ola
e
ge
export some funct
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
c
onf
i
gure
.
a
c: set ISL_BUILD
D
IR also in
c
ase
o
f b
u
n
d
led isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdool
a
e
g
e
update isl for extr
a
ct_int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
T
o
bias Grosser
iscc: use cloog_union
_
dom
a
in
_
fr
o
m_isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdo
o
laege
update isl for cha
n
ge in i
s
l_pw_aff_set_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Ve
r
doolaege
incl
u
de pet
i
n distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ve
n
Verdoolaege
update pet for
f
ix in distr
i
b
u
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doo
l
aege
update
isl fo
r
isl_s
e
t_from_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
drop omega sub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
erdoolaege
configure
.
ac: t
a
ke
into account pre
f
ix o
f
s
y
ste
m
omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoo
l
aege
update isl fo
r
fi
x
in factori
z
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
add
s
ome
is
c
c tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verdoo
l
aege
iscc:
o
nly print n
e
w
line if something was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
iscc: add "asser
t
" op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Ve
r
do
o
laege
i
scc: add == operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaeg
e
i
scc: ca
l
l_bin_op: handle
b
i
nary test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
iscc
:
extr
a
ct out call_bin_o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
e
r
doolaege
u
p
date isl for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
erdoolaege
updat
e
isl for
c
hange in isl_basic
_
s
e
t_re
a
d
_f
r
om_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
v
en
V
erdoolaege
update clo
o
g for in
c
lude fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolae
g
e
update
i
s
l
for removal of isl_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
upda
t
e is
l
for
change in i
s
l_{in,}equality_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
pdate pet for compatibility wit
h
re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n Verdo
o
l
aege
upda
t
e isl-polylib for incl
u
de
path orde
r
ing issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl for c
h
an
g
e
in sp
a
ce of
i
sl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdool
a
ege
update isl f
o
r explicit par
a
meter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sv
e
n Verdoolaege
i
scc
:
properly han
d
l
e
appli
c
ations of functi
o
ns on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
isl
_
union_set_apply_
u
nion_pw_qpolynomi
a
l:
e
xpli
c
itly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
i
sl
_
p
w_
q
polynomial_
s
um: simplify
cons
t
ruction
o
f
t
a
r
get
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
i
s
l_set_card
:
explicitly
proj
e
ct result onto parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
b
a
r
vinok_summate
.
c
: verify_point
:
ex
p
licitly
p
r
o
ject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Ve
r
doolaege
test_bound
.
c
:
avoid use of undocumented isl_set_r
e
move_
d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next