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
test.c: remove redundant include
2013-05-03
Sven
V
erd
o
olaege
test
.
c
:
remove
r
edundant include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
update isl t
o
version
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-08
S
v
e
n
V
erdoolaege
eva
l
u
e_isl
.
c: av
o
id us
e
o
f
i
sl_vec i
n
ternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
ven
Verdo
o
la
e
g
e
upda
t
e pet for supp
o
rt for recent c
l
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
v
e
n
Verdoolaege
update isl
f
or suppo
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Ver
d
oolaege
NTL_QQ: use NTL's Vec te
m
plate cl
a
s
s
wh
e
n available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verdoolaege
isl_pw
_
qpolynomial_su
m
: erro
r
out if i
n
put d
o
es not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sv
e
n Verdool
a
ege
iscc
.
c: print_code: do not
assume
i
sl_union_
m
ap_get_space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
vertex_cone: check that dim
e
nsion is at
l
east one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
barvino
k
_
sum_over_p
o
ly
t
ope: s
p
ecial
c
a
se 0D polytopes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolae
g
e
s
ummate
.
c: sum_with_equalities: extract out
s
um_ove
r
_polytop
e
_0D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoolaege
update isl to version
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoolae
g
e
barvinok 0
.
36
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verdoolaege
l
exm
i
n
.
c
c: lexmin:
remov
e
unu
s
ed label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
latti
c
e_point
.
cc: fractional_part: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
t
e
stl
i
b
.
cc: tes
t
_hilbert
:
f
ix
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoola
e
ge
i
s
cc
.
c: read_boo
l
_
i
f_available: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
e
n Verd
o
olaege
upda
t
e
p
et
t
o
vers
i
on 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
u
pdate
is
l
to
version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoo
l
ae
g
e
README: refer t
o
pe
t
/README for more details on how
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
Verdoolaege
u
pdate pet for sup
p
ort for recen
t
c
lang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdool
a
ege
update is
l
for
s
up
p
o
r
t
for recent
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
olaege
drop
c
loog su
b
m
odule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use isl for code g
e
neration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
update isl for cod
e
g
e
neration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdo
o
laege
i
scc
.
c
:
a
dd missing includes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdo
o
la
e
ge
upda
t
e isl for r
e
name of !isl_s
e
t_dim
_
has_
{
lowe
r
,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdoolae
g
e
doc: add
a
no
t
her paper ref
e
ring to th
e
library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoo
l
aege
README: clarify that /opt is the example installat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
v
en Verdoolae
g
e
export isl_*_pw_qpolynomial_s
u
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdo
o
laege
update pet
for adding
m
issing incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
S
v
en Verdo
o
laege
configure
.
ac: check for NTL/
Z
Z
.
h hea
d
er before che
c
kin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sve
n
Verdo
o
laege
update pet to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
up
d
ate isl to version
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
options
.
c
:
avoid c
a
lling isl_all
o
c_type with
o
ut valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
evalue_is
l
.
c: div2evalue: e
x
p
l
ic
i
tly check
f
or a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verd
o
olaege
u
pdate isl fo
r
normalization of isl_term_
g
et_div result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven
V
erdoolaege
e
value_is
l
.
c: ad
d
_ter
m
:
improve e
r
r
or
hand
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
laege
update
p
et for su
p
p
o
rt f
o
r recen
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoo
l
aege
update isl for support for rec
e
nt cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
iscc: support computat
i
on of arbitrary (n
o
n-zero)
p
o
w
e
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
up
d
ate isl for isl_u
n
ion_map_
f
ixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
upda
t
e i
s
l fo
r
change in i
s
l_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sven Verdoolaege
evalue
.
c: av
o
id w
a
rning
o
n
u
se
of && inside ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sve
n
Verdoolaege
bar
v
inok_e
.
cc: enu
m
erate_line: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Ve
r
d
o
olaege
summate
.
c: a
d
d_unbounded_guarded_qp: update to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven
V
erdool
a
ege
update
pet for
suppo
r
t for rec
e
nt cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Verdoolaege
summate
.
c: sum_base: check fo
r
and
r
em
o
ve equali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Verdoolae
g
e
updat
e
pet for supp
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Verdoolaege
update
i
sl for s
u
pport
f
or recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
e
ge
b
arvino
k
0
.
3
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update pet
t
o version 0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
u
p
date is
l
to version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
add
is
l
.
py
t
o distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
r
d
ool
a
ege
a
d
d interface/
a
l
l
.
h
and interface/isl
.
py
.
to
p
to distr
i
butio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Verdoolaege
u
p
d
a
te cloog to v
e
r
s
ion 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Verdoolaege
isl_pw_qp
o
l
ynomial
_
f
r
o
m
_evalue: con
s
t
ruct zero result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verdoolaege
ParamLine_Length_mod: pr
o
p
e
rly han
d
le empty i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n
V
erdoolaege
part
i
tion2enume
r
a
tion
:
fix memory leak when
i
nput is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoola
e
ge
update
pet for
introd
u
cti
o
n of pet_
o
ption
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
iscc: use isl_ctx_parse_o
p
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
update isl for h
i
d
ing of isl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sve
n
V
e
r
d
o
olaeg
e
upd
a
te is
l
for intro
d
uction of
i
sl_
a
rgs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verd
o
olaege
upda
t
e pet f
o
r supp
o
rt
f
or
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl f
o
r support for
r
e
c
ent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
ve
n
Verd
o
ola
e
ge
R
EA
D
M
E
:
drop reference to piplib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaeg
e
is
c
c:
a
d
d
"
params" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven
V
erdoolaege
doc: explain syntax
f
o
r param
e
ter
d
omains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
S
v
en
V
e
rdoola
e
ge
update isl f
o
r special casi
n
g of gist with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
isl_obj_str_print:
properl
y
pass
a
l
ong isl_printe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doo
l
ae
g
e
e
x
pl
i
citly
l
ink in al
l
required libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
confi
g
u
r
e
.
ac: quote AC_LANG_PROGRAM call to avoid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoo
l
aege
update pet for explic
i
tly linkin
g
in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
update isl to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdoolaege
update polylib to versio
n
5
.
22
.
5 + confi
g
ure
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoo
l
aege
u
pd
a
te
c
lo
o
g fo
r
r
ename
of LANGU
A
G
E
_C to
CLOOG_L
A
NGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n
V
erdoolaege
iscc: add "map % domain" oper
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
up
d
ate isl for isl_u
n
ion_
m
ap_gist_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
S
ven
V
erdoolaeg
e
polysign
.
h: ad
d
missing decl
a
rat
i
on of gl
p
k_polyh
e
dron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven V
e
rdoolaege
u
pdate p
e
t
for support f
o
r recent
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
doolaege
u
pdate isl fo
r
support
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
e
n Verdoolaege
hull
.
c
:
add missing
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdoolaege
re
d
uce_domain
.
c: incl
u
d
e
barv
i
nok/b
a
rvin
o
k
.
h for
barv
i
n
ok_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
evalue_isl
.
c: relation2pwqp: properly ha
n
dl
e
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n Verdoolae
g
e
barvinok_enu
m
erate
.
cc
:
ver
i
f
y_
i
sl
:
properly handle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
add i
s
l
.
py target
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
d
ool
a
ege
export some fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
configure
.
ac: se
t
ISL_BUILDDIR
a
lso
in case
of bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven
Ver
d
o
olaeg
e
update
i
s
l for extract_int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
updat
e
isl for
c
h
ange i
n
is
l
_p
w
_aff
_
set_
t
uple
_
id prot
o
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
include
p
e
t
in dist
r
ibution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
u
p
date pet for
f
ix in
distribut
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoolaege
update
i
sl for
isl_set_from_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
drop o
m
ega
s
ubmodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verd
o
olaege
config
u
re
.
ac: ta
k
e
i
nto
a
cco
u
n
t prefix of s
y
stem
omega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
update isl f
o
r fi
x
in fact
o
rizat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaeg
e
add s
o
me is
c
c tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven V
e
rdoolaege
iscc
:
on
l
y p
r
int n
e
w line if
som
e
t
hing was pr
i
nted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Ve
r
doolaege
iscc: add "assert" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
e
r
d
oolaeg
e
i
s
cc:
add == ope
r
atio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
