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
evalue_isl.c: avoid use of isl_seq
2013-05-03
Sve
n
Ve
r
doolaeg
e
evalue
_
isl
.
c: avoid
use of isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
ven Ver
d
ool
a
ege
test
.
c
:
remo
v
e
r
edundant
i
nclud
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
update is
l
to v
e
r
s
i
o
n
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Verdoo
l
aege
evalue_isl
.
c: av
o
i
d
u
se o
f
isl_vec internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n Verdo
o
laege
upd
a
te pet for
s
u
pport for rec
e
nt c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en Verdoolaege
update isl for supp
o
rt for recen
t
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
S
v
en Verdoolaege
NTL_QQ:
u
se NTL's Vec tem
p
late class when a
v
ailable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven
V
erdoolaege
is
l
_pw_qpol
y
nomial_sum: error out if input d
o
es not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verd
o
olaege
iscc
.
c:
p
rin
t
_code:
d
o no
t
assume isl_union_map_get_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n
Verdoola
e
g
e
vertex_cone: check that
d
imension is at
l
eas
t
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Ve
r
doolaeg
e
barvinok_sum_ove
r
_pol
y
to
p
e: special case 0D polytop
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
summate
.
c: sum_
w
ith
_
equal
i
ties: extra
c
t
out sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdool
a
e
g
e
up
d
ate isl
t
o version 0
.
1
1
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
ba
r
vi
n
ok
0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doo
l
aege
l
e
x
min
.
cc: l
e
xmin: re
m
o
v
e
unused l
a
b
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
V
erdoolaege
lattice_p
o
int
.
cc
:
fractio
n
a
l
_part: remove unu
s
ed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
te
s
tlib
.
c
c
: test_hilbe
r
t: fix tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
iscc
.
c:
r
e
ad_bool_
i
f
_available: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolae
g
e
update pet
t
o version 0
.
0
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdo
o
laege
u
pdate
i
sl to
v
ersion 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oo
l
aege
README:
r
efer to pet/README
f
or mo
r
e
d
etails on h
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ver
d
oolaege
update pet fo
r
suppo
r
t for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdoola
e
ge
updat
e
isl
f
o
r
support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolae
g
e
dro
p
cloog submo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolae
g
e
u
s
e isl for code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en
V
erdoolaege
update isl
f
or code generation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
ve
n
V
erdoolaege
i
s
cc
.
c
:
ad
d
m
i
ss
i
ng i
n
cludes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Ver
d
oolaeg
e
update isl
f
o
r rename of !
i
sl
_
set
_
d
im_has_{
l
ower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
olaege
doc: add another
p
a
p
er refering to the
l
ibrary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sve
n
Verdoolaege
READ
M
E: clarify tha
t
/opt is th
e
e
xa
m
ple i
n
s
t
alla
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verd
o
o
l
aeg
e
export isl_*_
p
w_
q
p
o
lyno
m
ial_
s
um
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verdoolaege
update pet for adding
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaeg
e
c
onfigure
.
ac:
c
h
eck
f
or NTL/ZZ
.
h h
e
ader before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
u
p
d
a
t
e pet t
o
vers
i
on 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
u
pd
a
te isl to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
options
.
c: avoid call
i
ng
i
sl_allo
c
_ty
p
e withou
t
valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
evalue_isl
.
c
:
div2ev
a
lu
e
: expl
i
citl
y
check for and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
rdoo
l
ae
g
e
update isl for
normalization of isl_term
_
g
et_div result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoo
l
aege
e
v
a
l
u
e_is
l
.
c: add_term
:
im
p
rove error
ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
rdoolaege
update pet for sup
p
ort
f
or rece
n
t clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
ven Verdoolaege
update isl for support for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolae
g
e
iscc: support c
o
mputation of arbit
r
ary (non-z
e
ro) powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Verdoolaege
upd
a
te isl
f
or isl_union_m
a
p_
f
ixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verd
o
olaeg
e
updat
e
isl for change in i
s
l_pw_af
f
_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdo
o
laege
evalue
.
c: avoid
warni
n
g on
use
o
f
&&
i
nsi
d
e ||
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Verdoolae
g
e
barvinok_e
.
cc: enumerate_line:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
S
ve
n
Verdoolaege
summate
.
c: add_un
b
ound
e
d
_
guarded_qp:
update to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n Verdoolaege
update
p
et
fo
r
su
p
por
t
for re
c
en
t
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verd
o
ol
a
eg
e
summate
.
c:
s
um_base: check
f
o
r and
remove equaliti
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
update pet
f
or suppor
t
f
or recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaeg
e
update
isl for su
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
barvinok 0
.
35
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update pet to version 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
upda
t
e
i
sl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
add i
s
l
.
py to di
s
tribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Ve
r
doolaege
a
d
d i
n
t
e
r
face/al
l
.
h and in
t
erfac
e
/isl
.
p
y
.
t
o
p to
distribut
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
u
p
date
cl
o
og to version
0
.
17
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Ve
r
do
o
laege
isl_pw_qpol
y
no
m
i
al_from_eval
u
e: c
o
ns
t
ruct z
e
ro result
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
ParamLine_Length_mod:
proper
l
y handl
e
em
p
ty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoolaeg
e
p
a
rtition
2
enume
r
ation: fix memory leak when input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
rd
o
olaege
upd
a
te pet
f
or
i
ntroduction
o
f pet_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc: use isl_ctx_parse_optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
olaege
updat
e
isl for
h
idi
n
g of isl
_
option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verd
o
olaege
update
i
s
l for introduction of
isl_
a
rgs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Ve
r
doo
l
aege
update pet
f
or
support f
o
r recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
updat
e
isl f
o
r sup
p
ort for recent
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
S
ve
n
Ver
d
oolaege
README: dr
o
p refer
e
nce to piplib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Verdo
o
laege
iscc: add "params" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven
Verdoolaege
d
oc: expl
a
i
n
syntax
f
or paramet
e
r
d
o
m
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
doolaege
updat
e
isl for
s
pecial casing of g
i
st with
p
ar
a
me
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdo
o
laege
isl_obj_str_print: properly pass a
l
ong i
s
l_pri
n
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdoolaege
explicitl
y
link in
all required li
b
ra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
confi
g
ure
.
a
c
:
quote AC_LAN
G
_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 linking in gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Ve
r
doolae
g
e
up
d
ate isl to version
0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
upd
a
t
e polylib to version 5
.
22
.
5
+
co
n
figure fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
update
cloog for r
e
n
a
m
e
of
L
ANG
U
A
G
E_C to CLOOG_LANGUAGE_
C
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaege
isc
c
: add "map % do
m
ain" oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
update isl for isl_union_map_g
i
st_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-15
S
ven
V
e
rdoolaege
pol
y
sign
.
h:
add missing decla
r
at
i
on of glp
k
_polyhedron_affin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n Verdoola
e
g
e
up
d
at
e
pet for support for recent cl
a
ng
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update is
l
for s
u
pp
o
rt
f
or
re
c
en
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoolaege
hull
.
c: a
d
d missin
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n V
e
rdool
a
ege
reduce_domain
.
c: include
b
arv
i
nok/bar
v
inok
.
h for
b
a
r
v
inok_co
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven V
e
r
doolaege
evalue_isl
.
c:
relation
2
pwqp: properly
h
an
d
le p
a
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verd
o
ol
a
ege
b
arvinok_enumera
t
e
.
c
c:
v
e
rify_i
s
l: p
r
op
e
rl
y
h
andle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolae
g
e
add isl
.
py target
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoo
l
ae
g
e
exp
o
rt some functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
ol
a
ege
c
onfigu
r
e
.
ac: se
t
ISL_
B
UI
L
DDI
R
al
s
o in
case of bundled isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
upda
t
e isl
f
or
e
xtract_inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-30
Tobias Grosser
iscc: u
s
e cloog_union_domain_from_isl_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Ve
r
doola
e
ge
update isl for change in isl_pw_aff
_
set_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
i
nclud
e
pet in
distribut
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Ve
r
doolae
g
e
update
pet for fi
x
in distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl for
i
sl_set
_
fro
m
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
e
r
d
oolaege
drop omega submod
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aeg
e
configure
.
ac: take in
t
o account prefix of system omega
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaeg
e
update
is
l
f
or fix
i
n factorization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
S
v
en Verdoolaege
a
dd so
m
e iscc
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdool
a
eg
e
iscc: only pr
i
nt ne
w
line if somet
h
ing
w
a
s printed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next