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
S
v
en Verdoolaege
b
a
rvinok_
s
um_over_
p
ol
y
tope:
s
p
ecial
case 0D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolae
g
e
summate
.
c: sum_
w
ith_equalities: extr
a
ct out sum
_
over_p
o
lyt
o
pe_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaege
upda
t
e isl
to version
0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
aege
barvinok
0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verd
o
o
lae
g
e
lexmin
.
cc: lexmin: remove
u
nused
l
ab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
lattice_point
.
cc:
fract
i
on
a
l_part: remove unused labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
testlib
.
cc: t
e
st_hilbert
:
fi
x
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verd
o
olae
g
e
iscc
.
c
: rea
d
_bool_if_ava
i
la
b
le: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
update pe
t
to version 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdo
o
laege
update i
s
l to
ve
r
sion 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
README:
r
efer to pe
t
/READM
E
for more details on ho
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
o
l
ae
g
e
update
p
et f
o
r support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ver
d
oola
e
ge
u
pda
t
e isl
for
suppo
r
t for r
e
c
e
nt c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdo
o
laege
drop
c
loog subm
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaeg
e
use isl for code g
e
nera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoola
e
g
e
update isl for
code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
ven Verdoo
l
aeg
e
is
c
c
.
c: add missing i
n
cludes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n V
e
rdoolaege
update isl
fo
r
renam
e
of !isl_set_dim_has_{lowe
r
,
u
pper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdo
o
laege
doc: add a
n
other paper ref
e
ring to the library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
READM
E
: clarify that /o
p
t
is the example installa
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdoolaege
export isl_*_pw_qpolynomial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
update pet f
o
r
a
dding missing in
c
lude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
c
o
nfigure
.
ac: check for NTL/ZZ
.
h
header before ch
e
cki
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoo
l
aege
update pet to version 0
.
0
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoo
l
aege
up
d
a
t
e
isl to versio
n
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
options
.
c: avoid
c
alling isl
_
a
l
loc_
t
ype
w
i
t
hout val
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
evalue_isl
.
c: div2ev
a
l
u
e: explici
t
ly check f
o
r and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verd
o
ol
a
e
g
e
u
p
dat
e
i
s
l for normali
z
a
t
io
n
of isl_term_get_div
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
S
v
e
n Verdoolaege
evalu
e
_isl
.
c: add
_
te
r
m
: improve erro
r
handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
e
n Verdoolaege
u
pdate pet fo
r
sup
p
o
rt for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
olaege
update i
s
l for s
u
pp
o
rt f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Ve
r
dool
a
ege
iscc
:
support comput
a
t
i
on of arbitr
a
ry (non
-
z
e
ro) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
e
n V
e
rdoolaege
upd
a
te isl
f
o
r
i
s
l
_
union_map_fixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
upda
t
e isl for ch
a
nge in isl_pw_
a
f
f
_
cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdool
a
ege
evalue
.
c
: avoid wa
r
ning o
n
us
e
of &&
inside ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Verdoolaege
barvinok
_
e
.
cc: en
u
merate_line: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
Verdoolaege
su
m
ma
t
e
.
c: add_unbounded_gu
a
rded_q
p
: upd
a
t
e to
cha
n
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
v
en Verdoolaege
u
pdat
e
pet for support
f
or recent
c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Verdoolaege
su
m
mate
.
c: sum_base: che
c
k for and re
m
o
ve equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
update
p
et for su
p
p
o
r
t for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdool
a
ege
upda
t
e isl for support for rece
n
t cl
a
ngs
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 Ver
d
o
o
l
a
e
ge
update pet
t
o version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdoolaeg
e
update i
s
l to vers
i
on
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Ve
r
d
oolaege
add
i
sl
.
py
t
o
d
istri
b
ution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
add interface
/
all
.
h
and i
n
te
r
face/isl
.
p
y
.
to
p
to
d
i
s
tributi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdo
o
laege
update cloog to version
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verd
o
olaege
isl_pw_qpol
y
nomial_f
r
om_evalue
:
construct zero result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
rdool
a
ege
Par
a
mLine_Length_mo
d
:
p
roperly handle emp
t
y
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doolaege
parti
t
io
n
2en
u
me
r
ation: f
i
x memory leak whe
n
input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoo
l
aege
update
p
et for int
r
oductio
n
of p
e
t
_
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
iscc:
use isl_ct
x
_
parse
_
optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
Verdo
o
laege
update isl for
h
i
ding of isl_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update isl for introduct
i
o
n
of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for support
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdo
o
laege
README
:
dr
o
p reference to pipl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoo
l
aeg
e
iscc: ad
d
"params" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
v
e
n Verdoolaege
d
o
c: e
x
plain
s
yn
t
ax for parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdoolaege
u
pdate i
s
l
for
s
pecial casing of gi
s
t
w
it
h
paramet
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
isl_obj_str_
p
rin
t
:
p
rop
e
rly
pass along
isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
ge
explicitly lin
k
in all required
l
i
b
r
aries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven V
e
rdoolaeg
e
configure
.
ac: quote AC_LA
N
G_PR
O
GR
A
M call t
o
avoid warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
up
d
ate pet
f
or e
x
plicitly linking in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
updat
e
isl
to
v
er
s
io
n
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update poly
l
ib to versi
o
n 5
.
22
.
5 + configure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update cloog for rename o
f
LANGUAGE_C to CLOOG_LANG
U
AGE_C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verd
o
olaege
iscc: ad
d
"map % domain" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
update isl for isl
_
u
ni
o
n
_
m
a
p_g
i
st
_
doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
Sve
n
Verdoolaege
p
o
lysign
.
h
:
add
m
i
s
si
n
g
dec
l
aration of glpk_polyhe
d
ron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
update pet for
supp
o
rt for recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
e
r
doo
l
aege
update isl for supp
o
rt
fo
r
recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
hull
.
c: add
m
i
ss
i
ng
i
nc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdo
o
laege
redu
c
e_d
o
m
a
in
.
c: include barvinok/barvinok
.
h
for barvinok_
c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoola
e
ge
evalue_isl
.
c: r
e
lat
i
o
n2pwqp: properly handle parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
b
arvinok_e
n
umerate
.
cc:
v
er
i
fy_isl: pr
o
pe
r
ly handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
o
olaege
add isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
e
xpo
r
t some
f
unct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
config
u
re
.
ac: se
t
ISL_BUILDDI
R
a
lso
i
n
case
o
f bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
o
o
laege
update isl for e
x
tra
c
t_
i
nterf
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
updat
e
isl for change
i
n
isl_pw_aff_
s
e
t
_
tuple_id
p
rototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
include p
e
t in distribut
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdoolae
g
e
updat
e
pet for fi
x
in
d
istribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
u
p
date
i
sl for isl
_
set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
drop omega su
b
module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ver
d
oolaege
confi
g
ure
.
ac: take into account prefix of
s
ystem omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
o
l
a
ege
update i
s
l for fix in factoriza
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Ve
r
d
o
olaeg
e
add
some iscc tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
i
s
cc: o
n
ly print
new line if somet
h
ing was
p
rint
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoo
l
ae
g
e
iscc: add
"
assert"
o
pera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rd
o
o
laege
iscc: ad
d
=
=
oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdoo
l
ae
g
e
iscc: call_bin_op
:
ha
n
d
l
e binary tes
t
o
perations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolaeg
e
iscc: extract ou
t
call_bin_op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven V
e
r
doolaege
update
isl for "
=
=" t
o
kens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
S
v
en Verdoolaege
update
i
sl fo
r
c
hange in isl_ba
s
ic_
s
e
t
_
read_from_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdo
o
l
aege
update cloog for include
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdo
o
laege
upd
a
te isl for
r
emoval of isl_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Ver
d
o
o
l
aege
update
i
sl for change in isl_{in,}equ
a
lity
_
al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
V
er
d
oolaege
update pet fo
r
compatibility
with rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaeg
e
update isl-polylib
for include path ordering issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next