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
testlib.cc: test_hilbert: fix tests
2012-12-03
Sv
e
n Ve
r
doolaege
t
e
stlib
.
cc: test
_
hilbert: fix test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
iscc
.
c: re
a
d_b
o
ol_
i
f_available: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdo
o
laege
update pet
t
o
v
e
r
sion 0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doolaege
up
d
ate isl
to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdoolaege
R
E
ADME: ref
e
r to
p
e
t/README for more
d
e
tails
o
n
h
ow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
erdo
o
laege
u
pdate pet for support
for recent cl
a
ng
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaeg
e
u
pdate isl for support for re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdool
a
ege
drop cloog subm
o
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoolaege
use is
l
for code generation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaeg
e
update isl for code ge
n
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoola
e
g
e
i
s
cc
.
c: a
d
d mis
s
i
ng
i
nc
l
udes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
S
ve
n
Verdoolaege
u
pdate
is
l
for rename of !
i
sl_set_dim_has_{lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
S
ven Verdoolaege
doc:
add another paper
r
efering to th
e
library
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven V
e
rdoolaege
R
EADME: c
l
ari
f
y that /opt is the ex
a
mple installa
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Verdool
a
e
ge
ex
p
ort
i
s
l
_
*_pw
_
qpolyn
o
mial_sum
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-05
Sven
Ve
r
dool
a
ege
u
p
da
t
e pet for add
i
n
g
missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-08
Sven Ve
r
doola
e
ge
conf
i
gure
.
ac: check for NTL/ZZ
.
h heade
r
before
c
h
e
c
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n
Ver
d
oola
e
ge
update
p
et to version 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aeg
e
u
p
date isl to version
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
options
.
c
:
avo
i
d call
i
ng isl_a
l
loc_type withou
t
valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
erdoolaeg
e
e
v
alue_is
l
.
c: div2eval
u
e: explicitly
c
h
e
ck for a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven
Verdoolaege
update i
s
l
f
or normalization o
f
isl_term_get_d
i
v result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-30
Sven Verdoolaege
e
va
l
ue_isl
.
c: add_term: im
p
rove
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
erdoolaege
update pet for
suppor
t
f
or re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaege
update isl for support f
o
r rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdo
o
laege
iscc
:
s
u
pport
c
omput
a
tion
of arbitrary
(
non
-
zero) power
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
upda
t
e
i
sl fo
r
isl_un
i
on_map
_
fixed_powe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
u
pdate isl
f
or
change in isl_p
w
_
aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-12
Sve
n
Verdo
o
la
e
ge
evalue
.
c:
avoid
war
n
ing on use of &&
i
n
s
ide ||
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven
Verdoolaeg
e
b
a
rvino
k
_
e
.
cc: enume
r
ate_line:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
S
ven Verdoolaege
summate
.
c: add_unbounded
_
g
u
arded_qp: u
p
date
to chan
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-11
Sven Verdoolaege
up
d
ate pet
f
or support f
o
r
recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
s
u
mmat
e
.
c: sum
_
b
ase:
c
hec
k
fo
r
and remove equa
l
iti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
u
p
d
a
te pet for
sup
p
ort for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoo
l
aege
update isl for support
f
or r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
barvi
n
ok 0
.
35
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rd
o
ola
e
ge
update pet
to v
e
rsion
0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
d
oola
e
ge
update is
l
to
version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaeg
e
a
dd isl
.
p
y
to d
i
str
i
butio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdool
a
ege
add interfa
c
e/all
.
h
and inter
f
ac
e
/isl
.
p
y
.
top to distribu
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-12
Sven Ve
r
dool
a
eg
e
upd
a
t
e cloog
to versi
o
n 0
.
17
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdo
o
l
aeg
e
isl_pw_qpolynomial_from_evalue: construct
z
e
r
o result
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
Verdoo
l
aege
Par
a
mLine_Length_m
o
d: properly ha
n
dle empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
partiti
o
n2enumer
a
tion: fix me
m
or
y
leak when input is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven Verdoolaege
upd
a
t
e
pet
f
or introduction
of pet_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
iscc: use
i
sl_ctx_parse_o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolae
g
e
update isl for h
i
ding o
f
i
sl_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Ver
d
oolae
g
e
upd
a
te isl for i
n
t
rod
u
cti
o
n o
f
is
l
_arg
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doolae
g
e
update pet f
o
r s
u
p
p
ort for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
u
pda
t
e isl for su
p
port fo
r
recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven V
e
r
d
oola
e
ge
README: drop reference to pip
l
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Ve
r
doolaeg
e
i
s
cc: add
"
params" ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoola
e
ge
doc
:
explain syntax for parameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-07
Sven Verdoolaege
updat
e
i
s
l for spe
c
ia
l
casing of gist
with paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erd
o
olaege
is
l
_
o
bj_str
_
print: pr
o
perly pas
s
al
o
n
g
i
sl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoola
e
g
e
explicitly link in a
l
l
required lib
r
ar
i
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
er
d
o
olaege
configure
.
ac:
q
uote A
C
_LANG_PROGRAM ca
l
l t
o
a
v
oid warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
upda
t
e pet for explicitly linki
n
g
in gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en
Ver
d
oo
l
ae
g
e
upda
t
e isl to v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
V
e
rdoolaege
upda
t
e po
l
ylib to version 5
.
2
2
.
5 + co
n
figure fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verd
o
olaege
u
p
date cloog for ren
a
m
e
of LANGUA
G
E_C
to C
L
OO
G
_LANGUAGE_C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Ve
r
dool
a
ege
iscc:
a
dd "map % do
m
ain" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n
V
e
rd
o
olae
g
e
update i
s
l
for
isl_union_m
a
p_gist_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-15
Sven Verd
o
olaege
polysign
.
h: ad
d
missing declaration of
g
l
pk
_
polyhedron_affin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
u
p
date pet for
support fo
r
recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoola
e
ge
upd
a
te isl for s
u
pport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
er
d
oolaege
h
u
l
l
.
c: add mis
s
ing inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
r
doo
l
aege
reduce_domain
.
c
:
include barvinok/barv
i
nok
.
h for barvino
k
_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
evalue_is
l
.
c: relation2pwqp: prope
r
ly handle
p
a
ramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
er
d
oolaege
b
ar
v
inok_
e
numer
a
te
.
cc:
v
e
r
ify_isl: properly han
d
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add i
s
l
.
py ta
r
get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
e
g
e
export som
e
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdo
o
laege
con
f
igure
.
ac: set ISL_BUILDDIR also in case
of bundled isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
V
e
rdo
o
laege
update isl for extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update
isl for change in
i
sl_pw_aff_set_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verd
o
o
l
aege
include pet in di
s
tri
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
update pet
for fix in
d
i
s
tribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
u
pdate
isl for isl_se
t
_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ve
r
do
o
laege
dr
o
p omega submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
configure
.
ac:
t
ak
e
in
t
o a
c
c
ount prefix of system o
m
ega
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
er
d
o
olaege
update isl
for fix in factorization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sve
n
Verdoolaege
add some iscc tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
Verd
o
olaege
iscc: only print new line if someth
i
ng was print
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven
V
erdoolaege
iscc: add
"
assert" opera
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
S
ven Verd
o
olaege
is
c
c: add ==
ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-19
Sven Verdoolaege
iscc: c
a
l
l
_bin_op: handle binary test operati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolaege
iscc: ex
t
ract
out call_bin_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
upda
t
e
i
s
l
for "=="
tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sve
n
Verdo
o
laege
u
p
d
at
e
isl for chang
e
i
n isl_
b
as
i
c_set_read
_
from_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-16
Sven
Verdoolaege
u
pdate
c
loog
fo
r
include fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
r
d
oola
e
ge
u
p
dat
e
i
sl for rem
o
val of i
s
l_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
upd
a
te
isl
f
or change in isl_{in,}equ
a
lity_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoo
l
aege
u
pdate pet fo
r
compa
t
ibility wi
t
h recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
e
n Verdoolaege
update
i
s
l
-polylib f
o
r i
n
clude
p
ath ordering i
s
sue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verd
o
ola
e
g
e
update isl for c
h
ange
i
n space of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
S
ven Verdoola
e
ge
update i
s
l for
e
xplicit parame
t
e
r
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdoolaeg
e
iscc: prope
r
l
y handle appl
i
cations
o
f functions on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-05
Sven Verdo
o
laege
isl_union_se
t
_apply_
u
nion_pw_q
p
olynomial: exp
l
i
c
itly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
i
sl_pw_qpolynomi
a
l_sum
:
simplify constru
c
t
i
on
o
f
target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
isl_set_card: explic
i
t
ly proje
c
t re
s
ult
o
nto param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next