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
NTL_QQ: use NTL's Vec template class when available
2013-03-10
Sven
Ver
d
o
olaeg
e
NTL_QQ: use NTL's Vec templ
a
t
e
cla
s
s whe
n
available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdo
o
l
a
ege
is
l
_
pw_q
p
olynomial_sum: error out if input does not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sven
Verdoola
e
ge
i
s
cc
.
c: print_code:
do not a
s
sume isl_unio
n
_map_get_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
S
ven V
e
rdo
o
laege
vertex_cone: c
h
eck that dim
e
nsion is at least one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven V
e
rdool
a
ege
b
arv
i
no
k
_sum_over_p
o
lytope: spe
c
ial case 0
D
p
o
lytop
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven V
e
rdoolaege
summate
.
c: sum_with_equalit
i
es: ex
t
r
a
ct out sum_over_
p
o
lytope
_
0
D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdool
a
ege
update
i
sl to
v
ersion
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
ba
r
vinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
lexmin
.
cc: lexm
i
n: re
m
o
ve unused la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
latt
i
ce_point
.
cc: fractional_pa
r
t: remove unuse
d
l
a
bel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
t
e
stlib
.
cc: test_hilbert: fi
x
te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oolaeg
e
iscc
.
c: read_bool_if_available: remo
v
e
u
nused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Ver
d
oolaege
u
pdate
pe
t
to
version 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven
Verdo
o
laege
updat
e
i
s
l t
o
version
0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolaege
REA
D
ME: refer
to pet/R
E
ADME for more details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n
Verdoo
l
ae
g
e
update pet for
s
u
p
p
ort for rec
e
nt cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verdool
a
ege
upd
a
te is
l
for suppor
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
dool
a
ege
drop cloog submod
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doolaege
u
se isl
f
o
r cod
e
ge
n
e
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
up
d
ate
i
sl for co
d
e generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
i
s
cc
.
c: add missing
i
ncl
u
des
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
up
d
ate isl f
o
r re
n
a
m
e
o
f !isl_set_di
m
_has_{lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n Verdoolaege
doc: add another pap
e
r
refering to th
e
library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Ver
d
o
o
l
a
e
ge
REA
D
ME: cl
a
rify that /opt is the
e
xamp
l
e
installation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Ver
d
o
o
lae
g
e
expor
t
i
s
l_*_
p
w
_qpolynomi
a
l_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoolaege
update pet fo
r
adding mis
s
ing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Verdoolaege
configure
.
ac: check for N
T
L/Z
Z
.
h h
e
ader before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
er
d
oolaege
update pet to vers
i
on
0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
er
d
oola
e
ge
upda
t
e
isl to
version
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
er
d
oolaege
o
pti
o
ns
.
c: avoid c
a
l
ling i
s
l_alloc_type withou
t
va
l
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
evalu
e
_
isl
.
c: div2ev
a
lue: expl
i
ci
t
ly
check for and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
rdoolaege
up
d
ate is
l
f
o
r
n
ormalization of isl_term_get_div result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Ve
r
doolaege
evalue_is
l
.
c: add
_
t
erm
:
improve error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
rdoolaege
u
p
d
ate p
e
t for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
e
rdoolae
g
e
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven
Verdoolaege
is
c
c: suppor
t
compu
t
ation of arbitrary (non
-
z
e
ro) powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sv
e
n Verdo
o
laege
upda
t
e 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 Verdoolaeg
e
u
pdate isl for ch
a
n
ge in
isl_pw_aff_c
o
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Ve
r
doolaeg
e
evalue
.
c:
a
voi
d
w
a
rnin
g
on use of && inside |
|
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
ba
r
vinok_e
.
cc: enumerate_line
:
f
ix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
summate
.
c
:
ad
d
_unbounded_guard
e
d_qp
:
update
t
o chang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sv
e
n
Verdoolaege
u
p
d
a
t
e pet for
supp
o
rt
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
oolaege
su
m
mate
.
c: sum_
b
a
se:
che
c
k
f
or
a
n
d
remove equali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdool
a
eg
e
update
p
e
t
f
o
r support for rec
e
nt c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Verdo
o
laege
update is
l
f
o
r supp
o
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
b
a
rvinok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
u
pdate
pet to version 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdoolaege
u
pdate isl to versi
o
n
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
r
d
oolaege
add
isl
.
py
to distri
b
utio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n
V
erdool
a
e
ge
add interface/all
.
h and inte
r
f
a
ce/isl
.
p
y
.
top
to distributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
up
d
at
e
cloog to versio
n
0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
v
e
n Verd
o
olaege
isl_pw_
q
polynomial_from_eva
l
ue: construct zero
result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verd
o
olaege
ParamL
i
ne_Lengt
h
_mod: prop
e
rly handle
e
mpty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Ve
r
doolaege
partit
i
on2enumeration: fix memory leak wh
e
n
input i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n
Verdoo
l
a
ege
upda
t
e pet for introduct
i
o
n
of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdo
o
laege
i
scc: use isl_ctx_p
a
rse_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaege
update isl for hi
d
ing of isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
update isl for introducti
o
n of isl_arg
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
u
p
d
ate pet for support for
recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n Verdo
o
laeg
e
update isl for suppor
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoola
e
ge
README: d
r
op reference
t
o piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
oolaege
iscc: add "params" operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sve
n
Ver
d
oolaege
doc: explain synt
a
x fo
r
p
a
rameter
d
o
m
a
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ver
d
oolaege
updat
e
isl fo
r
special casing of gist w
i
th para
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
isl_obj_str_print: p
r
operl
y
p
as
s
al
o
ng
i
sl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
exp
l
icitly link in all required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Ver
d
oolaege
c
o
nfigure
.
a
c: quote AC
_
LANG_P
R
OGRAM call to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update
pet for
e
x
p
l
i
c
itly
l
i
nking in
g
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update isl to v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
updat
e
polylib
to version 5
.
22
.
5 + config
u
re fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven
Verdoolaege
update
cloog for rename of LA
N
G
U
AGE_C to CLO
O
G_LA
N
GUA
G
E
_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoolaeg
e
i
scc: add "
m
ap % d
o
ma
i
n" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
u
p
d
a
te isl
f
or
i
s
l
_union_map
_
gist_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven
V
erdoolaege
polysign
.
h: add missi
n
g dec
l
aratio
n
of glpk_
p
olyhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en V
e
rdoolaege
update p
e
t fo
r
supp
o
rt for recent
c
lan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update i
s
l fo
r
support for recent
c
lan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
h
ull
.
c
:
add mi
s
sing
incl
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Ver
d
oolaeg
e
reduce_domain
.
c
:
include ba
r
vino
k
/ba
r
vinok
.
h for b
a
rvin
o
k_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verd
o
o
l
aege
evalue_
i
sl
.
c: rel
a
t
i
on2pwqp: properly
h
a
ndle p
a
ramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoo
l
aege
barvinok
_
enumer
a
t
e
.
cc: ve
r
ify_isl:
p
roper
l
y h
a
ndle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven
Verdoolaege
add isl
.
p
y
target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolaege
export some functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolaege
conf
i
gure
.
ac: set
I
S
L_BUILDDIR also in
c
a
se of bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doola
e
ge
updat
e
isl
f
or extract_
i
nterface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n V
e
rdo
o
laege
u
p
da
t
e isl
f
o
r
change
in isl_pw_a
f
f_set_tuple_id proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
l
aege
i
n
clu
d
e pet
i
n distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
g
e
updat
e
pet
fo
r
fix in dist
r
ibution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl
for is
l
_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
dro
p
omega submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
configure
.
ac: ta
k
e into accoun
t
prefix of system omeg
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
g
e
update is
l
f
o
r fix in
factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
add some iscc te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verd
o
olaege
iscc: only print new
l
ine if
s
omething
was printed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: add "assert" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: a
d
d == operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc
:
call_
b
in_op
:
handle
b
inar
y
test operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdool
a
ege
iscc: e
x
tract out
c
a
l
l_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Ver
d
oolaege
update i
s
l for "
=
=" tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Verdoo
l
aege
u
p
d
a
te isl
f
o
r c
h
a
n
g
e in isl_basic_se
t
_read_
f
rom_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven Verdoolaege
u
pdate cloog for include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next