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.1
2012-12-10
S
ven Verdoo
l
aege
update isl
to version 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n Ver
d
o
olaege
b
a
rvinok
0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
le
x
min
.
cc: lexmin: remove un
u
se
d
la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lat
t
ice_p
o
int
.
cc: fr
a
ctio
n
al_par
t
:
remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oo
l
aege
t
e
st
l
ib
.
c
c: test
_
hilber
t
: fix
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
o
l
aege
iscc
.
c: read_boo
l
_
if_availab
l
e: r
e
mo
v
e u
n
used label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
update pet
to v
e
r
s
ion 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update
isl
t
o ver
s
ion 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
RE
A
D
ME:
r
efe
r
to p
e
t/R
E
ADME for more
d
e
tails on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
ven Verdoolaege
update pet for su
p
port for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl fo
r
s
upport for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en
Ver
d
oo
l
aeg
e
d
rop cloog submo
d
ul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Ver
d
oolaege
use isl for code g
e
neration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaeg
e
update
i
s
l for
code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Ve
r
doolaege
iscc
.
c: a
d
d
m
i
s
sin
g
includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
u
p
d
a
te isl
for
re
n
a
m
e of !
i
sl_set_dim
_
has_{lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Ve
r
d
oolaege
doc: add an
o
ther paper referi
n
g to the library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
README: clarify tha
t
/opt i
s
th
e
ex
a
mpl
e
i
n
stallation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
e
r
doolaege
export isl
_
*_pw_qp
o
ly
n
omial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
upda
t
e
p
et for adding mi
s
sing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sve
n
Verd
o
olaeg
e
c
onf
i
gure
.
a
c: ch
e
c
k
f
or NTL
/
ZZ
.
h hea
d
er b
e
f
ore checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en
V
erdoolaege
u
p
d
a
te pet to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
V
erdoolaeg
e
update isl to v
e
rsi
o
n 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoola
e
ge
options
.
c: av
o
id calling
isl_alloc_type wi
t
hout
v
alid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c
:
div2evalue:
e
xplicitly check for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
upd
a
te isl fo
r
normal
i
zation of isl_t
e
rm_get_d
i
v result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven
V
erdoolaege
evalue_is
l
.
c: add_term: improve er
r
or
h
andli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
ol
a
ege
update p
e
t for support for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
updat
e
i
s
l
for support for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
e
rdo
o
laege
iscc: support comput
a
tion of arbit
r
a
r
y (non-zero) p
o
wers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven V
e
rdoolaege
u
pdate
i
sl f
o
r isl_
u
nion_map_
f
ixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rd
o
olaege
update isl for
c
hange
in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sve
n
V
e
rdoolae
g
e
eval
u
e
.
c: a
v
oid
wa
r
ning on us
e
o
f && insid
e
||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
ven
V
e
r
doo
l
aege
ba
r
vin
o
k_e
.
cc: enumera
t
e_l
i
ne: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en Verd
o
olaege
summate
.
c: add_
u
nboun
d
ed_guarded_qp:
u
pdate to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
V
erd
o
olaege
u
pdate
p
e
t for
s
upport for
r
ecen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdo
o
laege
s
ummate
.
c: sum_
b
ase: check for and remove eq
u
a
lities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
oolaeg
e
update pet for suppo
r
t f
o
r r
e
ce
n
t clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
Verdoolaege
u
p
date isl for support for recent
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
do
o
l
aege
barvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
updat
e
p
e
t
to vers
i
on 0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
u
p
date isl to ver
s
ion
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Ve
r
doolae
g
e
add
isl
.
p
y
to
d
i
stri
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolae
g
e
ad
d
interf
a
ce/all
.
h and inter
f
ace
/
isl
.
p
y
.
top t
o
di
s
tribut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sve
n
Verdoolaege
u
p
d
ate cloog to versi
o
n
0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven
Verdoolaege
isl_pw_qpolyn
o
mial_from_eva
l
ue:
cons
t
ruct zero
r
esult
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
ParamLine_Len
g
t
h_mod: prope
r
ly
handle empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
pa
r
tit
i
on2e
n
um
e
ration: fix memory leak when input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
er
d
oolaege
u
p
date pet for introdu
c
ti
o
n o
f
pet_opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
l
aege
i
s
cc: use isl
_
c
tx_parse_opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoolaege
update
i
sl for
h
i
d
ing of isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en
Verdool
a
ege
update isl for i
n
troduction of is
l
_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolae
g
e
update pet for support for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Ver
d
o
olaege
update
isl for
suppor
t
for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
e
r
doo
l
aege
README: drop r
e
fe
r
ence to
pipli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verd
o
o
laege
iscc: add "
p
a
r
ams
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdool
a
e
g
e
doc: explain syntax for
parameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdo
o
l
a
ege
u
p
date isl for s
p
ecial casing of
gi
s
t wi
t
h p
a
r
a
m
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
i
s
l_obj
_
str_print: properly pass along isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
o
l
aege
exp
l
icitly link i
n
all r
e
quired libr
a
ries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
conf
i
gure
.
a
c: quote A
C
_LA
N
G_PROGRAM
c
a
ll
to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update pe
t
f
o
r
explicitly l
i
n
k
i
ng
in g
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaege
updat
e
isl to versio
n
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
u
p
d
ate polylib to version 5
.
22
.
5 + configur
e
f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n V
e
rdoolae
g
e
u
p
date cloog for r
e
name o
f
LANGUAGE_C t
o
CLOOG_LANGUAGE_
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
iscc: add "ma
p
% domain" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdool
a
ege
update isl for isl_union_m
a
p_gist_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven V
e
rdo
o
lae
g
e
polysign
.
h: add mi
s
sing dec
l
ar
a
tio
n
of glpk_polyhedron_af
f
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdo
o
laeg
e
up
d
a
t
e
pet for
support for re
c
en
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n Verdoolaege
u
pdate isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oola
e
ge
h
ull
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
redu
c
e_domain
.
c: include bar
v
inok/barvinok
.
h for barvi
n
o
k
_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaege
e
v
alue_isl
.
c:
relation2pwqp: proper
l
y handle parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
b
arvinok_enumerate
.
cc:
v
erify_isl: properly
h
a
n
dl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ve
r
doola
e
ge
a
dd i
s
l
.
py targe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
e
x
p
o
rt some functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
g
e
c
onf
i
gu
r
e
.
ac: set ISL_BUILDDIR also
i
n
case of bun
d
led
i
sl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doo
l
aege
update is
l
for extract_interf
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
u
p
d
a
te
isl for change in is
l
_pw_a
f
f
_set
_
t
u
ple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
include pet in distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoo
l
a
e
ge
update pet for fix in distr
i
b
u
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolae
g
e
updat
e
is
l
for
i
sl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
drop
ome
g
a
s
ubm
o
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdo
o
laege
configure
.
ac: take into ac
c
o
u
nt prefix of s
y
stem omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
update isl for fix
in factorizat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add some iscc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
iscc: only prin
t
new line if someth
i
ng
w
as printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
iscc
:
ad
d
"
a
ssert" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
iscc: add
== op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ver
d
o
o
l
aege
isc
c
: call_bin_
o
p: handle binary
t
est operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdool
a
e
g
e
i
s
cc:
e
xtract out call_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
upd
a
te isl for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaeg
e
update is
l
f
o
r
change i
n
isl
_
basic_set_read_from_f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
S
ven Verdoolaege
u
p
date clo
o
g f
o
r includ
e
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoolaege
update isl for re
m
oval of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
update isl for change in isl_{
i
n
,
}eq
u
ality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven
Verdoo
l
aege
upd
a
t
e
p
et for
compatibi
l
ity wi
t
h recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoolaeg
e
update isl
-
poly
l
ib for includ
e
path ordering issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Verdoolaege
upda
t
e is
l
for
cha
n
ge in space
of isl_pw_* ob
j
ect
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaege
update isl
f
o
r
e
xplicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
