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 Verd
o
ol
a
ege
barv
i
nok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
lexmin
.
cc
:
lexmin:
remove unused lab
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
do
o
laege
latt
i
ce_poin
t
.
c
c
: fractional_pa
r
t:
r
emove unus
e
d label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testlib
.
cc: te
s
t_hilb
e
rt
:
f
i
x tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
iscc
.
c: read_bool_
i
f_ava
i
l
able: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
l
aeg
e
update
p
e
t t
o
version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ve
n
Verdoolaege
upda
t
e isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
README:
refe
r
to pe
t
/README fo
r
more details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
ve
n
Verdoolaege
update pet
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
update isl
f
or su
p
port for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verdoola
e
ge
drop cloog submodu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdo
o
laege
use isl
f
or code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n
Verdoolaege
upda
t
e isl for code genera
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdool
a
ege
i
sc
c
.
c: add
missing in
c
lu
d
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en Verdo
o
l
aege
upda
t
e i
s
l for ren
a
m
e
of
!
isl_set_dim_has_{l
o
wer,
u
pp
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
er
d
oolaege
doc:
a
d
d
another paper refering to the l
i
b
rary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Ver
d
ool
a
e
ge
README: clarify that /op
t
is
t
h
e ex
a
mpl
e
installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Ver
d
oo
l
aege
export i
s
l_
*
_pw_
q
polynomial_su
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
ool
a
eg
e
update pet for add
i
ng missing
i
ncl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
config
u
re
.
ac: check for NTL/ZZ
.
h
header be
f
ore checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
upda
t
e
p
et to vers
i
on 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
ool
a
eg
e
update isl to
v
ersion
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
o
ption
s
.
c: avoi
d
c
alling isl_alloc_type wi
t
h
o
ut valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalue_isl
.
c: div2eval
u
e: expl
i
citly check for a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n Ver
d
oola
e
ge
update isl for no
r
m
a
li
z
ation of isl_term_g
e
t_div result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven
V
erdoolaege
evalue_isl
.
c: add_term
:
i
m
prove
e
rror hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
erdoola
e
ge
update pet for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoo
l
aege
update isl f
o
r support for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sv
e
n Verdo
o
laege
iscc: support computation
o
f ar
b
itrary (non-zero
)
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdool
a
eg
e
up
d
ate isl for isl_union_map_fixe
d
_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
update isl fo
r
change in i
s
l_
p
w_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sve
n
Verdoolaege
evalue
.
c
:
avoid warning on use
of
&
&
inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
v
e
n
Ver
d
oolae
g
e
barvinok
_
e
.
c
c
: enumerate
_
li
n
e: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verd
o
olaege
summa
t
e
.
c: ad
d
_un
b
ounded_guarde
d
_qp
:
update to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdo
o
laege
u
p
date
p
e
t for support
f
or rec
e
nt c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n
V
e
rdoolae
g
e
summate
.
c
:
sum_b
a
se: check for and
r
e
move equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Ve
r
doolaege
update pe
t
for sup
p
ort
f
or recent cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoo
l
aege
update isl for support f
o
r recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
barvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
update pet to vers
i
on 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
r
d
oolaege
update is
l
to
v
ersion 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaege
add isl
.
py to distributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolae
g
e
add interfac
e
/all
.
h and interfa
c
e/isl
.
py
.
top
t
o
d
i
s
tribu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
S
ven Verdoolaege
u
pd
a
te cloog
to
v
er
s
ion 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
isl_pw_qpolynomi
a
l_from_evalue: construct
zero
r
esult
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdoolaege
Par
a
mL
i
ne_Length
_
mod:
p
roperly han
d
le empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ve
n
Verdo
o
l
aeg
e
par
t
it
i
on
2
e
n
um
e
ration: fix m
e
mory leak when input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doolaege
update
pet for intro
d
uction of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n Verdoolaege
i
scc: use isl_ctx_parse_o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n
Verdoolae
g
e
u
pdate isl for
hiding of isl_o
p
ti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en
Ver
d
oolaege
update isl for introduction of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en
V
erdo
o
laege
u
p
d
ate p
e
t
f
or sup
p
ort for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
upd
a
te isl fo
r
s
upport
f
o
r r
e
cent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolaege
RE
A
DME: drop reference
to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoolaeg
e
iscc: add "params"
o
pera
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ven Verdoolaege
doc: explain syntax for parameter
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en Verdoo
l
aege
update isl for
spe
c
i
a
l
casing of gi
s
t with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaeg
e
isl_obj_st
r
_
p
rin
t
: properly pass a
l
ong is
l
_prin
t
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
e
x
plic
i
tly link i
n
a
ll required librarie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
c
o
nfigure
.
ac: quote
A
C_LANG_PROG
R
AM cal
l
to avoid w
a
r
ning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Ver
d
oolaege
updat
e
pet
f
or expl
i
citly
l
inking in
g
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Ve
r
d
oo
l
aege
update is
l
t
o
versio
n
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
la
e
ge
update polylib to version 5
.
2
2
.
5
+
configur
e
f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
u
pdate cloog f
o
r
rename of LANGUAGE_C
t
o
C
LO
O
G_LA
N
GUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoo
l
aeg
e
i
scc: add "map
% domain" ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n
Verd
o
olaege
u
pdate
i
sl for isl_
u
nion_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven
Verdo
o
laege
poly
s
ign
.
h: add missing dec
l
aration
o
f glpk_polyhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
u
p
da
t
e pet for support for recent
c
la
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update isl
for
s
u
p
p
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaeg
e
hull
.
c: add missing
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
reduce_domai
n
.
c: includ
e
b
a
rv
i
nok/barvinok
.
h
f
or barvino
k
_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ve
n
Verdoolaege
evalue_isl
.
c: relation2pwq
p
: properl
y
h
andle parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
barvinok_enum
e
rat
e
.
cc: veri
f
y_isl: properly handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
ad
d
isl
.
py t
a
r
get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
export some functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Ve
r
d
o
olaege
confi
g
ure
.
ac: set
I
SL_BUILDDIR also in case of bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
ge
update i
s
l for ex
t
ract_int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
upd
a
te isl for change in i
s
l
_
pw_af
f
_s
e
t
_
tuple
_
id pr
o
t
o
t
yp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
includ
e
pet in dis
t
ribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doo
l
aege
updat
e
pe
t
for
f
ix in distr
i
b
u
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
updat
e
isl
for isl_set_
f
rom_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
drop om
e
ga
s
ub
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
co
n
figure
.
ac: take i
n
to acco
u
nt prefi
x
of s
y
s
tem omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
ool
a
ege
update isl for
fix in factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add
some
iscc t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: only p
r
i
nt new lin
e
if some
t
hi
n
g was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
aege
iscc: add "assert" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
i
s
cc: add == op
e
ratio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
iscc:
c
all_bin_
o
p: ha
n
dle bina
r
y tes
t
op
e
ration
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoola
e
ge
iscc: extract o
u
t call
_
bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdoolaege
update is
l
for "==" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
V
erdoolaege
upda
t
e is
l
for change in
i
sl_basic_set_
r
ea
d
_from_f
i
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaeg
e
update
cloog for in
c
lude
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdo
o
laege
u
pdate
i
sl fo
r
r
emoval
of isl_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
Verdoolaege
upd
a
te isl for change in isl_{in,}equality_
a
lloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
er
d
oolaege
update pe
t
for compatibil
i
t
y
with recent
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
erdoola
e
ge
upda
t
e isl-pol
y
l
i
b for inclu
d
e
path or
d
ering
i
ssue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ver
d
o
o
la
e
g
e
update is
l
for cha
n
ge in
s
pace of i
s
l_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verd
o
olaege
upda
t
e isl
f
or expl
i
cit p
a
rameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sve
n
Ver
d
oolaeg
e
iscc: properly ha
n
d
l
e applicati
o
ns of functi
o
n
s on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next