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 Verdoolaege
README: urge b
u
g reporte
r
s to always mention the
barvi
n
ok
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdo
o
laeg
e
u
p
da
t
e pet t
o
version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sv
e
n
Ver
d
oolae
g
e
update isl to version 0
.
1
7
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-29
Sv
e
n
V
e
rdo
o
l
a
ege
P
o
l
y
hedron_
F
a
ctor: make sur
e
g
roup information
g
ets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-24
Sve
n
Ver
d
oolaege
add get_submodule
s
.
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-06
Sv
e
n Verdoola
e
ge
update
polyl
i
b for
.
gitignore
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
Sv
e
n Verdoolaege
b
ar
v
i
nok 0
.
39
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
Sv
e
n Verdoolaeg
e
up
d
a
t
e
p
et to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
Sven Verdoolaege
update isl to versi
o
n
0
.
16
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-12
Sven V
e
rd
o
ola
e
ge
u
p
date AUTH
O
RS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdoolaege
update p
e
t for pytho
n
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
S
v
en Verdo
o
l
a
ege
int
r
oduce sp
e
cial version of isl
.
py
.
top for use with pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven
Verdool
a
ege
update
p
et for isl_
c
tx_all
o
c_w
i
th_pet_op
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven V
e
rdoolaege
isl
.
py: al
w
ays extend
v
e
rsion from
core isl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven
V
e
rdoolaege
rename in
t
erface/all
.
h
to i
n
terface/all_barvi
n
ok
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-05
Sven Verdoo
l
aege
update isl f
o
r changes in how sets and
relations are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Ve
r
d
o
ol
a
ege
is
c
c
.
c
:
use pet_scop
_
get_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sve
n
Ver
d
oolaege
up
d
ate
p
e
t fo
r
p
e
t_scop_get_sc
h
edule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoo
l
aege
update pet f
o
r rename
of pe
t
_scop
_
collec
t
_* t
o
pet_
s
cop_get_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Ve
r
doola
e
ge
u
pdate is
l
for isl_schedule_gist_domain_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
S
v
e
n
Verdool
a
ege
.
g
i
t
ignore:
a
dd mo
r
e libtool temporary
f
iles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
S
ven
V
erdo
o
laege
specify subdir-objec
t
s option f
o
r f
o
rward compatibilit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Ver
d
oolaege
c
o
nfigure
.
ac: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
S
ven Verdoolaege
i
s
cc: par
s
e_fi
l
e: remo
v
e
instances from kill statement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sven Verdoolaege
iscc
:
turn on --pet-encapsulate-dynami
c
-c
o
ntrol by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
S
ven V
e
rdoolaege
iscc: add op
e
ra
t
ions on
b
o
ole
a
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
S
ven Verdoolaege
iscc: add "->-" op
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolaege
iscc
:
add "-" operation on map and set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoolaege
iscc: ad
d
"->*"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
S
ven
V
erdoolaege
d
o
c
:
update docum
e
ntation
of "last" o
p
era
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven
V
erdoolaege
update
i
s
l f
o
r change in isl_map_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sve
n
Verd
o
olaege
update pet for sup
p
ort for r
e
cent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verd
o
olaege
up
d
a
te isl for support for r
e
ce
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoola
e
g
e
handle change in
internal representation of NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
r
d
oo
l
aege
a
ssum
e
NTL has been compiled
in IS
O
m
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdo
o
laege
config
u
re
.
ac: ext
r
ac
t
out AX_CHE
C
K
_
N
TL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
e
rdo
o
laeg
e
barvinok 0
.
38
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
ven
Verdoolaege
updat
e
AUTH
O
RS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ver
d
oo
l
a
e
g
e
update pet to version 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ver
d
o
o
la
e
g
e
rep
l
ace isl_{,in}equality_alloc by
isl_constrain
t
_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
update isl to ver
s
ion 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sv
e
n Verdoolae
g
e
iscc: parse_file: ret
u
r
n
schedule in sche
d
ule
tre
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoo
l
aege
i
s
cc: drop schedule_forest
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verd
o
ol
a
ege
iscc:
s
chedule: return schedule in schedule tree
represent
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdoo
l
aege
is
c
c
: allow implicit c
o
nversion fro
m
s
chedu
l
e to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdo
o
laege
iscc
:
all
o
w explicit conversion fro
m
sc
h
ed
u
le
to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdoolaeg
e
iscc: add domain operation on
sch
e
dules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verd
o
o
laege
iscc: print schedul
e
s in
b
lock form
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
erdo
o
laege
iscc
.
c:
read_line: extract out print_
o
bj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdo
o
laege
i
scc
:
cod
e
g
en: accep
t
schedul
e
as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Verdool
a
ege
iscc
.
c
.
: s
p
lit up print
_
co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n V
e
rdoolaeg
e
iscc: support
schedule
trees in dependence
analysi
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
r
doolaege
iscc
.
c: extract
o
ut c
o
mmon acc
e
s
s
_in
f
o_set
_
schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
V
e
rdoolaege
iscc: t
y
peof:
re
c
og
n
ize schedule
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
v
e
n Verdoolaeg
e
iscc
.
c: use is
l
_uni
o
n_ac
c
ess_info_compu
t
e_flow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n
V
erdoolae
g
e
add dependence
a
nalysis tests f
o
r iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
e
rdo
o
laeg
e
iscc
:
a
dd "lb" ope
r
ati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven V
e
rdoolaege
update i
s
l for rename of isl_schedule_map_schedule_
n
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
upd
a
te isl for introdu
c
tion o
f
isl_sta
t
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_* ide
n
t
i
fiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdo
o
l
aege
tests/iscc/sum4: compare NaN against string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
iscc: add equali
t
y oper
a
t
i
on on
s
trings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven
V
erdoolaege
upd
a
te pet for direct
header inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
ol
a
ege
update isl for rep
l
ace
m
ent of CL
o
oG test cases with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven
Verdoolae
g
e
test_approx
.
c: u
s
e
f
a
bs on doubl
e
inst
e
ad of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
hilber
t
.
c: add m
i
ss
i
ng
i
nc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Ve
r
doolaege
summate
.
c: directly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
S
v
en Verdoolaeg
e
is
l
_map_polylib
.
h: include corre
c
t
header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
S
v
en
Verdoolaege
i
s
cc
.
c: vertices
:
avoid uninitialized read on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoo
l
a
e
ge
isc
c
:
av
o
id
use of pet_scop_c
o
llect_schedu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaeg
e
upd
a
te pet f
o
r rep
r
esenting schedule as
sch
e
dule tr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sve
n
V
e
r
d
o
o
laege
upd
a
te isl for suffi
c
ient sche
d
ule
t
ree
support for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoo
l
aege
is
c
c
.
c: use isl_stream_get_ctx in
s
t
ead
of reading ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n
Verdoolaege
iscc
.
c: us
e
i
sl_stream_is_empty i
n
stead
of
r
eading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdoolaege
upd
a
te i
s
l
for isl_stre
a
m_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
S
ve
n
Verd
o
olaege
update p
e
t for supp
o
r
t
for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verd
o
olaege
updat
e
isl for support
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
S
v
en Verdoolaege
summ
a
te
.
c
: avoid
u
se of isl_union_pw
_
q
p
olynomia
l
_add_pw
_
qpo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoola
e
ge
barvinok
.
cc: a
v
oid use of isl_union_pw_
q
po
l
ynomial_a
d
d_pw_qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
Verdoo
l
ae
g
e
isl_union_set_lattice_wi
d
th: ch
e
ck whether
i
nput is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaege
summat
e
.
c: join_compatible: avoid use of undo
c
umented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven
V
erdoolaege
s
u
mma
t
e
.
c: join_com
p
at
i
ble: rename "di
m
" variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Ve
r
dool
a
ege
upda
t
e pet to version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
u
p
date isl
t
o vers
i
on 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
S
v
e
n
Verdoo
l
aege
README: update contact
i
nformation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sv
e
n Verdoolae
g
e
update isl
f
or change in is
l
_map_subtra
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
updat
e
pet for supp
o
rt for recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdool
a
ege
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n
V
erdoo
l
aege
lattice_width
.
c: avoid
use of deprec
a
ted function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
S
v
en V
e
r
doolaege
barvin
o
k_enumerate_wit
h
_
o
ptions:
h
a
n
dle context constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdoo
l
aege
d
o
c:
a
dd another
paper refering to the
l
i
brary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolae
g
e
isl_Polyh
e
dro
n
_Reduced_Basis: a
v
oid
d
ouble free of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
S
ven V
e
rdoolaege
i
s
c
c: als
o
disa
l
l
ow
source
operation when --no-
i
o is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
barvinok 0
.
3
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Ve
r
doolaege
update
p
et to versi
o
n 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoola
e
ge
upd
a
te is
l
to version
0
.
13
commit
|
commitdiff
|
tree
2014-04-04
S
v
e
n
Verdo
o
laege
u
p
d
a
te pe
t
for s
o
rting of arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
isl_param_util
.
c
: drop expr2vertex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdool
a
ege
up
d
ate isl for
change in isl_vertex
inspecto
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
add
i
sl_multi_aff_to_polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next