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
barvinok 0.36
2012-12-03
Sven V
e
rdo
o
laege
b
ar
v
inok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
g
e
lexmin
.
cc: lexmin: remove unused la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
lattice
_
point
.
cc: fractional_par
t
:
r
emove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
testl
i
b
.
cc: te
s
t_hilb
e
rt: fix tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolae
g
e
iscc
.
c: read_bool_if_availa
b
le: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoolaege
u
p
dat
e
pet to version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoola
e
ge
update isl t
o
v
e
rsion 0
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en
Verdoolaege
README: re
f
er to pet/README for
more details o
n
h
o
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sve
n
Verdool
a
ege
upd
a
te
p
et
f
or support f
o
r
re
c
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update
isl for support
for rece
n
t
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
drop c
l
oog submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doo
l
aege
u
se i
s
l
for code gene
r
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
update i
s
l
for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaeg
e
i
s
c
c
.
c
:
add m
i
ssing
includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n Verdoolaege
update isl
for rename
o
f
!is
l
_s
e
t_dim_h
a
s_{lower,u
p
per
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoo
l
aege
d
o
c:
a
dd anothe
r
paper refering t
o
t
h
e library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
oolaege
R
EADME: clarify tha
t
/opt is
the
e
xample in
s
tallation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verdoolaege
export isl
_
*_pw_
q
polynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Ver
d
oolaege
upda
t
e pet for adding missin
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven
Verdoolaege
configure
.
a
c
: check fo
r
NTL
/
Z
Z
.
h
h
eader
b
efore chec
k
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n
Verdoolaeg
e
u
p
d
ate pet to version 0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
up
d
ate isl to
v
ersion 0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
lae
g
e
options
.
c: avoid calling isl_alloc_type withou
t
vali
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
g
e
e
v
alu
e
_isl
.
c:
div
2
ev
a
lue: explic
i
tly chec
k
for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
d
o
ol
a
ege
update isl
for nor
m
aliz
a
tion of isl_term_get_div r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
e
value_isl
.
c
: a
d
d_
t
erm
:
i
mprove
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdoolaege
update
p
e
t
f
or suppo
r
t for r
e
cent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en
V
e
rdoo
l
aege
update isl for support for
r
e
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaeg
e
iscc:
s
upport co
m
putatio
n
of
a
rbitrary (non-zero) powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
ven
V
e
rdoolaege
upd
a
te isl for i
s
l
_
u
nion_m
a
p_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
u
p
date isl fo
r
change in isl_pw_
a
ff_
c
ond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
laege
evalue
.
c:
avoid warning
on use
o
f && ins
i
d
e
||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdoolae
g
e
b
a
rvinok_e
.
c
c
: enumera
t
e
_
line: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en Verdoolaege
su
m
mate
.
c:
add_unbo
u
nded_guarded_qp: update
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
update
pet for suppor
t
f
or
r
e
c
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Ver
d
oolaege
summat
e
.
c: sum_base: check for and remove equalit
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
u
p
da
t
e pet
f
or sup
p
ort for re
c
e
n
t clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolae
g
e
u
p
date isl for s
u
pport
for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaege
b
a
rvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
u
pdate pet to versio
n
0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdool
a
ege
u
pd
a
t
e isl
to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdoolaege
add isl
.
py to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoola
e
ge
add interfa
c
e/all
.
h and int
e
rface
/
isl
.
py
.
top to distribu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven
Verdoolaeg
e
u
p
date cloog
to version 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven V
e
r
dool
a
e
g
e
isl_pw
_
qpolynomial_from_evalue: construct zero result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
olaege
P
a
ramLine_Length_mod: prope
r
ly
ha
n
dle em
p
ty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n Verdoolae
g
e
partit
i
o
n2enumeration: fix memory leak when input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdoolaege
update pet
for i
n
troduction of pet_
o
p
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verd
o
olaege
i
scc: u
s
e isl_ctx_parse_opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
upda
t
e
i
s
l for hidin
g
o
f
isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
update
isl for introducti
o
n of
i
sl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
updat
e
pe
t
for
s
upport fo
r
recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update
i
sl for support for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
rdoolaege
README: drop reference to pipl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
aege
iscc: add "params"
ope
r
at
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
olaege
do
c
: explain syntax for paramet
e
r
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoo
l
a
e
ge
updat
e
i
s
l for special casing of gist with
p
arameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaeg
e
i
sl_
o
bj_str_print:
p
ro
p
erly pass along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
expli
c
itly link in al
l
requ
i
red lib
r
aries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
e
g
e
c
o
nf
i
gure
.
ac: q
u
ote AC_LANG_PROG
R
A
M
ca
l
l t
o
avo
i
d wa
r
nin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
rdool
a
ege
u
pd
a
te p
e
t for e
x
plici
t
ly linking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erd
o
o
la
e
ge
update isl
t
o versio
n
0
.
0
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verd
o
ola
e
ge
update pol
y
lib to version
5
.
2
2
.
5 + co
n
figu
r
e fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoo
l
aeg
e
updat
e
cloog
for rename
o
f LANGUA
G
E_C to
C
LOOG
_
L
ANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoo
l
aege
iscc:
ad
d
"ma
p
% d
o
main" oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
o
l
ae
g
e
up
d
ate isl f
o
r isl_union_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
ve
n
Verdo
o
lae
g
e
polysign
.
h:
a
d
d mi
s
sing declaration of glp
k
_p
o
l
yhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sve
n
Verdoolaege
upd
a
te pet for su
p
port
for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
upda
t
e i
s
l for
s
upport for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: add missin
g
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolaege
r
edu
c
e_domain
.
c: includ
e
ba
r
vinok
/
barvinok
.
h f
o
r barvinok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verd
o
ola
e
ge
e
v
alue_isl
.
c
: rel
a
ti
o
n2pw
q
p: prope
r
l
y
han
d
le par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verd
o
olaege
barvinok_enumerate
.
cc: verify_isl: pro
p
erly handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
add is
l
.
p
y target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
r
d
o
olaege
export some f
u
ncti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
configu
r
e
.
a
c
:
s
et ISL_BUILDDIR
a
lso in case o
f
bundled
isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
do
o
laege
update isl for ex
t
ract_i
n
terfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Grosser
iscc: use cloog_union_domain_from
_
isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdoolaege
update isl for change in isl_pw_a
f
f_set_tu
p
le_id proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
erdoolaege
incl
u
de pet
in distributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
up
d
ate p
e
t for fix in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl for i
s
l_set_fro
m
_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
e
rdo
o
laege
drop omega submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
conf
i
gure
.
ac: take
i
nto account
prefi
x
of system
o
mega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
upda
t
e is
l
for f
i
x i
n
factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdool
a
ege
add some iscc te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdo
o
laege
iscc: only
print ne
w
l
i
ne if something
w
as printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n V
e
rdoolaeg
e
iscc:
add
"
a
sser
t
" operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
is
c
c: a
d
d
==
o
perat
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdo
o
la
e
ge
iscc: cal
l
_bin_op:
handle binar
y
test operation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
e
n
Ver
d
oolaege
is
c
c: extract out
call_
b
in_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
update isl f
o
r
"
=
=
"
t
okens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
ven Verdo
o
laege
u
p
dat
e
isl for change in isl_basic_set
_
read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n
Verd
o
olaege
update
cloog for inclu
d
e fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
up
d
ate isl for removal of i
s
l
_
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
update isl for change i
n
isl_
{
in,}
e
quality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doolaege
update pet for c
o
mpatibilit
y
with
recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
update
i
s
l-pol
y
lib for include
p
a
th ord
e
ring issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
updat
e
isl for change in space of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update is
l
for expli
c
i
t
pa
r
ame
t
er spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next