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_sum_over_polytope: special case 0D polytopes
2013-02-02
Sven Verdool
a
e
ge
barvi
n
ok_sum_o
v
e
r_poly
t
ope: speci
a
l
c
a
s
e 0D
poly
t
opes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaeg
e
summate
.
c:
s
um_with_equaliti
e
s
: extract out
sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven V
e
rdoola
e
g
e
updat
e
isl to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaeg
e
barvinok
0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdool
a
eg
e
le
x
min
.
cc: lexmin: remove unus
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lattice_poi
n
t
.
cc:
f
racti
o
nal_part: remove unu
s
ed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
o
l
aege
testlib
.
cc:
t
e
s
t_hil
b
er
t
: fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven V
e
rdoolaege
i
s
cc
.
c
: re
a
d_bool_if_available: r
e
move unus
e
d label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
up
d
at
e
pet to version 0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
u
pdate isl to ver
s
ion 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
dool
a
ege
README: r
e
fe
r
to pet/READM
E
for more details
o
n ho
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
olaege
up
d
ate
pet
for
su
p
po
r
t
fo
r
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
up
d
ate isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
drop cloog
s
ubm
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use isl for code gene
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
ol
a
ege
update
isl f
o
r code g
e
nera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
v
en Verdoolaege
is
c
c
.
c: add m
i
ssing include
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven
Verdoolaege
u
pdate isl for
rena
m
e
of !i
s
l_set_di
m
_
h
as_{l
o
wer,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
doc: add
a
nother pa
p
er
r
efe
r
ing
t
o th
e
libr
a
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoolaege
REA
D
ME: clarify th
a
t /opt is the ex
a
mple i
n
stallati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
export isl_*_
p
w
_
qpolynomi
a
l_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verd
o
olaege
u
p
da
t
e pe
t
for addin
g
missing i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
c
onfigure
.
ac: check for NTL/ZZ
.
h
h
eader bef
o
r
e checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdool
a
ege
upda
t
e p
e
t to vers
i
o
n
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ver
d
oolaege
update
i
s
l
to
v
ersion 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
options
.
c: avoid c
a
llin
g
isl_alloc_type withou
t
vali
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verd
o
olae
g
e
evalue_
i
s
l
.
c: div2e
v
alue: ex
p
licitly check
for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven
V
erd
o
o
laege
up
d
ate i
s
l for nor
m
a
lization
o
f
i
sl_term_get_div
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
S
v
en Verdoo
l
aege
e
value_isl
.
c: add_ter
m
:
i
m
p
r
o
v
e
er
r
or
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
u
p
dat
e
pet
for support
f
or re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdool
a
ege
update isl for
s
upport for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en
V
e
rdoolaege
iscc
:
support computation of arbitrary (non-zero) p
o
wers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven
V
erdoolaege
u
pdate isl for
i
sl
_
u
n
ion_
m
ap_f
i
xed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdo
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 V
e
rdoolae
g
e
evalu
e
.
c
:
avo
i
d warning on use o
f
&& insi
d
e
|
|
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
bar
v
inok_
e
.
c
c
: enumerat
e
_
l
ine: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolae
g
e
summate
.
c: add_u
n
boun
d
ed
_
guarded_q
p
: update to
c
hange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Ver
d
o
o
laege
update pet for
s
uppo
r
t
for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
su
m
mate
.
c: sum_base:
check for
an
d
r
e
m
ove eq
u
ali
t
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n
V
erdoolaeg
e
update pe
t
for support for r
e
ce
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Ver
d
oolaege
update isl
for
s
upport fo
r
r
e
cent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
upd
a
te pet to
version
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Ve
r
doolaege
update
isl to
v
e
r
s
ion 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
V
erdoolaege
add isl
.
py
to
distrib
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdoolaege
add inte
r
face/all
.
h
and
interf
a
ce/isl
.
p
y
.
top to d
i
stributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
updat
e
cl
o
og to versi
o
n
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verd
o
o
l
aege
isl_p
w
_qpolynomial_from_
e
value
:
c
onstr
u
ct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdo
o
laege
ParamLine_Length
_
mod: pro
p
erly handle empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en
Ve
r
do
o
lae
g
e
p
artition2enumerati
o
n:
f
ix m
e
mory leak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdool
a
ege
upd
a
te pet for intr
o
duction of pe
t
_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
i
s
cc: use isl_ctx_parse_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
l
aege
update
i
s
l f
o
r
hiding
of isl_optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
update is
l
f
o
r
i
n
t
roductio
n
of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
ola
e
ge
update pe
t
for support for
recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
update isl for
s
upp
o
rt
f
o
r
r
ece
n
t clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdo
o
l
a
ege
README: drop refer
e
nce to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolaege
iscc: add "p
a
rams" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
aege
doc: explain
syntax
for parame
t
er do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolaege
up
d
a
te isl for special casing of gist
w
ith parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_
o
b
j_s
t
r_print:
p
rope
r
ly pa
s
s along isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Verdoolaeg
e
explic
i
tly link in all req
u
ired libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
r
d
o
olaege
c
o
nfi
g
ure
.
ac: qu
o
te
AC_LA
N
G
_
PROGRAM call to
avoid
warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Ve
r
doolaeg
e
u
p
date pet for ex
p
licitly l
i
nk
i
n
g
in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoolaeg
e
update isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdo
o
laege
upda
t
e pol
y
lib to version
5
.
22
.
5
+ configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaeg
e
update cloog for rename of LANGUAGE
_
C to
C
LOOG_LANGUAGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verd
o
olaege
iscc: add "m
a
p % domain
"
oper
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
u
p
d
ate isl for isl_u
n
ion_map_g
i
st_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sven
V
erdoolae
g
e
poly
s
ign
.
h: add missing d
e
c
l
a
rat
i
on of glpk_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en Verd
o
o
laege
update
pet for
support
f
or recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
update isl for
s
upport
fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
hull
.
c: add missing
in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
reduce_domain
.
c: includ
e
barvinok/barvinok
.
h
f
or barvinok_c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoo
l
aege
evalue_isl
.
c
: relati
o
n2pwqp: prop
e
rly handle param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
barvinok_e
n
umer
a
t
e
.
cc: verify_
i
sl: p
r
operl
y
h
a
nd
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ver
d
o
o
laege
add isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolae
g
e
e
xport
s
ome function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erd
o
olaege
co
n
figure
.
ac: set IS
L
_
BUIL
D
DIR a
l
s
o in case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verdoolae
g
e
update
is
l
for extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tob
i
as Gr
o
sser
iscc
:
use cloog_
u
nion_domain_from_
i
sl_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ve
n
Verdoolaege
update isl for change in is
l
_pw_aff_set_tuple_id
pro
t
otype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
include p
e
t
in
distrib
u
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
r
doola
e
ge
upda
t
e pet for fix
i
n
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
update isl
f
or i
s
l
_
set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en V
e
rdoolae
g
e
drop om
e
ga submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
a
ege
c
o
n
f
i
g
ure
.
ac: tak
e
in
t
o a
c
count prefix of
sys
t
em omeg
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
update isl for fix in f
a
ctoriz
a
tion
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
Sve
n
V
e
rdoolaege
i
s
c
c: only print new lin
e
if so
m
ething was printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoo
l
aege
iscc: add "assert" oper
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolae
g
e
iscc: add == op
e
rati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
doolae
g
e
i
scc: call_b
i
n_o
p
: ha
n
dle binary
t
est o
p
eration
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
i
scc:
extract out call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
up
d
ate is
l
for "==" tokens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Ver
d
oolaege
u
pdate isl for
c
hang
e
i
n isl_basic_set_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sv
e
n Verdoolaege
update cloog for include fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
update isl for r
e
mov
a
l of i
s
l_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
upda
t
e isl
f
or change in isl_{in
,
}equality_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaege
upda
t
e pet for
c
ompatib
i
li
t
y with
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next