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
testlib.cc: test_hilbert: fix tests
2012-12-03
Sven Verdoolaege
testlib
.
cc: test_hi
l
be
r
t: f
i
x tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
r
d
oola
e
g
e
iscc
.
c: read
_
bool_i
f
_available: remove unused
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolae
g
e
update pet to vers
i
on 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n
V
e
r
d
oolaege
up
d
ate isl to
v
e
rsion 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaeg
e
README: r
e
fer to pet/README for
m
ore d
e
tails
on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
o
l
aege
updat
e
pet for support
f
or re
c
e
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdool
a
e
g
e
updat
e
isl
f
or
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Ve
r
do
o
la
e
ge
drop cloog submod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
olaeg
e
use isl for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
update i
s
l
f
o
r co
d
e gener
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
i
s
c
c
.
c: add mi
s
sing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolae
g
e
update is
l
for
r
ename of !isl_
s
e
t_dim_has_{l
o
we
r
,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Ver
d
o
o
laege
doc: add a
n
other p
a
per refering t
o
the lib
r
ar
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
R
EADME:
c
larify that /opt is
t
he e
x
ample i
n
stallation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
expor
t
i
sl_*_pw_
q
polynomial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ve
r
d
o
ola
e
ge
upd
a
te pet for
a
ddin
g
missi
n
g include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven
Verdoolaege
c
o
nfigur
e
.
ac: c
h
eck for NTL/Z
Z
.
h he
a
de
r
b
efore ch
e
cking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaeg
e
update pet t
o
versio
n
0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven V
e
rdool
a
ege
update isl to version 0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
options
.
c: avoid
callin
g
isl_alloc_type w
i
t
h
out vali
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_i
s
l
.
c: di
v
2evalue: explic
i
t
l
y
c
heck for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdo
o
laege
update isl
for norm
a
lization of isl_term_ge
t
_div resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sve
n
Verdo
o
laege
ev
a
lue
_
isl
.
c
: add_te
r
m: improve error han
d
li
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdo
o
l
a
ege
up
d
at
e
p
e
t for suppo
r
t for recent
clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update is
l
for su
p
port fo
r
recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sve
n
Verdoolaege
iscc
:
support c
o
mpu
t
ation
o
f arbi
t
r
a
ry (no
n
-z
e
ro) powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Verdool
a
ege
update isl for isl_
u
nion_map_fix
e
d
_
power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
o
o
l
aege
u
p
date isl
for change in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
laege
evalue
.
c: av
o
id warni
n
g on
use of
&
& inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven
V
erdoolaege
barvinok
_
e
.
c
c: enumerate_line: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven
V
erd
o
o
l
a
ege
summat
e
.
c
: add_unbounded_guar
d
ed_qp: update to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
V
erdoolaege
u
p
d
a
t
e
pe
t
for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
summate
.
c
:
su
m
_base:
c
hec
k
for and remo
v
e equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
update pet for su
p
port for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ve
r
d
o
olaege
update isl
for support for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
e
r
d
o
ol
a
ege
barvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
Verdoolaege
update pet to version 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Ve
r
doolaege
update isl
t
o version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add isl
.
p
y to distribu
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
add
i
nterfa
c
e/all
.
h and interface/isl
.
py
.
top to
d
istribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdo
o
laege
update cloog t
o
version
0
.
1
7
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven
Verd
o
o
l
aege
isl_pw_qpol
y
nomial_f
r
om_eval
u
e
: construct zero result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
rdo
o
l
a
ege
ParamLi
n
e_Length_mo
d
: pro
p
erly
h
a
ndle empty
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Ve
r
doolaege
parti
t
io
n
2enume
r
ation:
f
i
x m
e
m
o
ry leak
w
h
en i
n
put i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
u
p
dat
e
pet for introduction of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
rdoolaege
iscc: use is
l
_ctx_parse_op
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update
i
s
l for hiding o
f
isl
_
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oola
e
ge
up
d
ate isl for introd
u
ctio
n
o
f
isl_ar
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdool
a
e
g
e
up
d
ate p
e
t
fo
r
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
u
pdate isl for su
p
port for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoolaege
README:
drop refe
r
ence to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoo
l
a
ege
is
c
c: add "para
m
s
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
doc: explain syntax fo
r
p
a
r
a
m
ete
r
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoola
e
ge
updat
e
is
l
for special casi
n
g of gis
t
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl
_
ob
j
_str_print: properly pass al
o
n
g isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
explicitl
y
link
in all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolae
g
e
configu
r
e
.
ac: qu
o
te AC_LANG
_
PROGRAM call to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
olaege
update pet
for explicitly l
i
nking in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aege
u
pdate
i
sl to version 0
.
0
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdo
o
l
a
ege
upda
t
e polylib to
version
5
.
22
.
5 + configure fi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
upda
t
e
cloog
f
or
r
ename of
L
ANGUAGE_C to CLO
O
G_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdoolaege
iscc: a
d
d
"m
a
p % doma
i
n" o
p
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
upda
t
e isl fo
r
isl_un
i
on_map_g
i
st_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven
Verdo
o
laege
polysign
.
h: add mis
s
ing decla
r
ation
of
glpk_polyh
e
dron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verd
o
olaege
update pe
t
for support f
o
r rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoo
l
a
e
ge
update
isl for su
p
port
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdool
a
ege
hull
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoolaege
red
u
ce_do
m
ai
n
.
c: in
c
lude b
a
rvino
k
/barvinok
.
h for bar
v
ino
k
_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Ver
d
oolae
g
e
evalue_isl
.
c: relation
2
pw
q
p: proper
l
y handle par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verdo
o
lae
g
e
barv
i
n
ok
_
enumera
t
e
.
c
c
:
ver
i
f
y
_
isl: prop
e
rly handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
add i
s
l
.
py
targe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n
Verdoolaeg
e
e
xport so
m
e functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verd
o
olaege
configure
.
ac: set ISL_BUILDDIR also in case o
f
bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaeg
e
upda
t
e is
l
for extrac
t
_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Gross
e
r
iscc: use cloog_union_domai
n
_
f
rom_i
s
l_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
upd
a
te isl
f
or change i
n
isl_pw_aff_
s
et_
t
u
p
le_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verd
o
o
l
aege
in
c
lude pe
t
i
n
d
istribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
ae
g
e
up
d
a
te pet for fi
x
in dis
t
ribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
la
e
g
e
update isl f
o
r isl_set_fro
m
_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
d
r
op
omega submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoola
e
ge
configure
.
a
c: take
i
n
t
o
accou
n
t prefix of system omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update isl
f
or fix in
f
actorizati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoolaege
a
dd so
m
e iscc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoola
e
ge
i
sc
c
:
o
nly
p
rin
t
new li
n
e
i
f some
t
hing was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verdoo
l
ae
g
e
iscc: add "asse
r
t" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sv
e
n
V
erdo
o
la
e
ge
iscc:
add == o
p
erat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: call_
b
in_op: handle bina
r
y
test operat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
i
s
cc: ext
r
act out
c
al
l
_bin_op
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 Ve
r
d
o
olaege
u
pdate isl for chang
e
i
n i
s
l_b
a
sic_set_read_from
_
fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verd
o
ola
e
ge
update cloog
f
or inc
l
ude fi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
V
e
rdoolaege
upd
a
te is
l
f
o
r re
m
oval of
i
sl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
p
da
t
e isl for
c
h
a
nge in isl_
{
in,}equ
a
li
t
y
_
a
lloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
update pet for compatibility wi
t
h
re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
erdoolaege
upd
a
t
e isl-polylib for include p
a
th orde
r
ing is
s
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
v
e
n V
e
rdoolaege
update isl for change in
s
pace o
f
isl_pw_* o
b
ject
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
V
erdool
a
ege
u
p
date i
s
l
for explicit par
a
meter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoola
e
ge
iscc: prope
r
ly h
a
ndl
e
ap
p
lications of functions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven
Verd
o
ol
a
ege
isl_union_
s
et_apply_union_pw_qpolynom
i
a
l
: explic
i
tl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erd
o
olaege
is
l
_pw_qpo
l
yn
o
m
i
al_sum
:
simplif
y
cons
t
ruc
t
ion of t
a
rget
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next