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
README: urge bug reporters to always mention the barvinok version
2016-05-15
Sven V
e
rdoolaeg
e
R
E
ADME: u
r
ge b
u
g repor
t
ers to alway
s
m
e
nt
i
on the barvinok
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven V
e
r
dool
a
ege
u
p
d
ate
p
et to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdool
a
e
ge
update isl to ve
r
s
ion 0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-29
Sven Verdoolaege
Polyhedron_Fac
t
or:
m
ake sure group informat
i
on gets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-24
Sv
e
n
Ve
r
dool
a
ege
add get_submodules
.
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-06
Sven Verd
o
o
lae
g
e
update
polylib for
.
gitignore
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven
V
erdo
o
laege
bar
v
i
nok
0
.
39
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven Ve
r
do
o
l
a
ege
update pet to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
S
v
en Verdo
o
l
a
ege
up
d
ate isl to version 0
.
16
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-12
Sven Verdoolaeg
e
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdool
a
ege
update pet fo
r
p
y
tho
n
int
e
r
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sve
n
Verd
o
olaege
introduce special v
e
rsion
of isl
.
p
y
.
top for
use wit
h
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sv
e
n Ve
r
doolae
g
e
update pet for isl_ctx_all
o
c_with_pe
t
_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdoolaege
isl
.
py: always
e
xten
d
version f
r
o
m
c
o
re isl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdool
a
ege
re
n
ame interface/all
.
h to inte
r
face/al
l
_barvinok
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdoolaege
updat
e
isl for changes in how sets an
d
relations are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
S
ven Ver
d
oo
l
aeg
e
iscc
.
c: use pet
_
scop_get_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sven Ver
d
oolaeg
e
update pe
t
for pet_scop_g
e
t_
s
ched
u
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-22
Sve
n
Verdool
a
ege
update pet for
r
ename
o
f pet_sc
o
p_collect_*
t
o pet_
s
c
op_get
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sv
e
n
V
erdoolaege
update isl
f
o
r
isl
_
schedule_gist_domain_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sven
Ve
r
doolaege
.
git
i
gnore: add mor
e
li
b
t
ool
t
e
mporary files
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sven
V
erdoo
l
aege
s
pec
i
f
y
subdir-objects option for forward compatib
i
l
i
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-16
Sven
Ve
r
d
oolae
g
e
co
n
figur
e
.
ac: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-08
Sven Verdoolaeg
e
iscc: pa
r
se
_
file: remove ins
t
ances from kill s
t
atemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-08
Sven
V
erdoolaege
iscc: turn on --
p
e
t
-en
c
ap
s
ulate-dyn
a
mic-control by
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-08
Sven Verdoolaege
iscc: add o
p
e
rations on booleans
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sven Ver
d
ool
a
ege
iscc: add "->-" ope
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sve
n
Ver
d
oolaege
iscc: ad
d
"-" operat
i
o
n on map
and set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolaege
iscc:
a
dd
"
->*" oper
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verd
o
olaege
doc: update do
c
umentation of "
l
as
t
"
o
peratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-31
S
ven Verdo
o
laege
up
d
a
te
isl for cha
n
ge
in
i
sl_
m
ap_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaege
updat
e
pet for support for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
Sven
V
erdoolae
g
e
update isl for sup
p
ort for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
S
v
en Verdoolaege
handle ch
a
nge in interna
l
repre
s
ent
a
tion of NTL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
assume NTL has been compi
l
ed in ISO mode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
Sven
Ve
r
doolaege
configure
.
ac:
extract out AX_CHEC
K
_N
T
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
S
v
en Verd
o
o
laege
b
arvinok 0
.
3
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
S
v
en
V
e
rdoolaege
update
AUTH
O
RS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
e
r
doolaege
u
p
date pet to v
e
rsio
n
0
.
0
7
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
replace isl_
{
,in}equa
l
it
y
_
a
l
l
o
c by
isl_constraint_alloc_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
update isl to version 0
.
1
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ve
r
doolaege
iscc: parse_file
:
retu
r
n
sch
e
dule in schedule tree
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaeg
e
iscc: drop schedul
e
_
fo
r
est
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdoolaege
i
s
cc: schedul
e
: r
e
t
urn sc
h
e
d
ule in sched
u
le
t
r
ee
representation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: allow implici
t
c
o
nversion from sch
e
dule to union m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rdoolaege
i
s
cc: allow explicit conversio
n
fro
m
sch
e
dule to union map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoo
l
aege
i
scc: add dom
a
in operation
on
schedules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Ver
d
oolae
g
e
iscc: p
r
int sch
e
du
l
es i
n
b
l
ock
f
ormat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdo
o
l
aege
iscc
.
c: read_line: ext
r
act out prin
t
_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
olaege
iscc: codegen: accept
s
chedul
e
as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
V
e
r
doolaege
is
c
c
.
c
.
:
split
up p
r
int_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdoolaeg
e
is
c
c:
s
upport schedule trees in depende
n
ce analysis
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
laege
i
s
c
c
.
c: extract out c
o
mm
o
n acces
s
_inf
o
_s
e
t_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
laege
i
scc: typeof:
r
ecognize schedule
ob
j
e
c
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
olaege
iscc
.
c: use is
l
_uni
o
n
_
a
c
c
ess_info
_
compute_f
l
ow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n Verd
o
o
l
aege
add dependenc
e
analysis test
s
for iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
S
v
en
Verdool
a
ege
iscc: a
d
d "lb" operat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
S
ve
n
Verd
o
olaege
upd
a
te isl for rename of isl_schedule_ma
p
_
s
c
h
e
dule_node
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
S
v
e
n
Verdoolaege
upda
t
e isl
for in
t
rodu
c
t
i
on of i
s
l
_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sv
e
n V
e
rdoolaege
iscc
.
c: avoid use
o
f isl_bool_* identifie
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
oolaeg
e
t
e
sts/iscc/sum4: c
o
mp
a
re NaN against string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
iscc: add equal
i
t
y
operation on
str
i
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven
Verdoolaege
update pet for direct header inc
l
usi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Ver
d
o
o
laege
u
p
d
ate
isl for replaceme
n
t
of CLooG test cases with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaeg
e
t
e
st_app
r
ox
.
c:
use fabs on double instead of
ab
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
S
v
en Verdoola
e
g
e
hilbert
.
c: a
d
d missing includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n Verdoolaege
summate
.
c: directly includ
e
required
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven Ve
r
d
oolaege
i
s
l_map_pol
y
lib
.
h: include correct h
e
ader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-17
Sven
Verdoolae
g
e
i
s
cc
.
c
:
v
e
rti
c
es: avoid uniniti
a
lized read on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven
V
erdoolaege
iscc: avoid use
o
f
p
e
t_scop_collect_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ver
d
oolaege
update pet for represe
n
tin
g
schedule as
schedule
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
S
ven Verdoolaeg
e
updat
e
isl for su
f
ficient s
c
hedule tree support for
p
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaeg
e
iscc
.
c
: use isl_stream_get_c
t
x inst
e
ad o
f
reading ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: u
s
e isl_
s
t
rea
m
_is
_
empty ins
t
e
ad of reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Verdoolaeg
e
update isl for isl_stream_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sve
n
Ver
d
oolaege
update p
e
t
f
or s
u
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaeg
e
up
d
at
e
i
sl f
o
r support fo
r
rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
Verdoolaege
summ
a
te
.
c: a
v
oid use of isl_u
n
ion_
p
w_
q
p
oly
n
omia
l
_add_pw_qpo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven
Verdoolaege
b
a
rvinok
.
c
c
: avo
i
d
u
se o
f
is
l
_union_pw_qpolyn
o
mial_add_pw_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
isl_union_set_lattice_w
i
dth: check w
h
e
ther
i
nput
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verd
o
olaege
summate
.
c:
join_
c
om
p
ati
b
le: avoid use of undocumented
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoo
l
aege
s
u
mmate
.
c: join_c
o
mpatible: rename "dim
"
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
update pet to version 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
update
i
s
l
to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven Ver
d
oolaege
README: u
p
d
a
te conta
c
t info
r
mat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven Ver
d
o
olaege
upd
a
te isl for change
i
n i
s
l_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdo
o
la
e
ge
update pet for support for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
e
r
d
oolae
g
e
update isl for support fo
r
r
e
cen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
lattice_width
.
c: avoid use of d
e
prec
a
te
d
fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdoolaeg
e
barvinok_enumerate_with_options: handle context c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Ve
r
doolaege
do
c
:
a
d
d an
o
ther pape
r
refe
r
ing
to the
library
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
S
v
en Ver
d
oola
e
ge
is
l
_Polyhedron_Reduced_Basis: avoid double free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
S
ven Verdoo
l
aeg
e
i
scc: also di
s
a
llow source
operation when --no-
i
o is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ve
r
doo
l
aege
barvinok
0
.
3
7
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
u
pdate
p
e
t
to version 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
updat
e
isl to vers
i
on 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoolaege
update
pet for sorting of array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven
Verdo
o
lae
g
e
isl_param_uti
l
.
c: d
r
op
e
x
p
r2
v
ertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
V
e
rdoolaege
u
pdate isl for change
in isl_v
e
rtex ins
p
ecto
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoolaege
a
d
d
isl
_
mult
i
_aff_to_polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next