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
update isl for change in isl_map_gist
2015-07-31
Sven Verdoolaege
update isl for
c
hange in isl
_
map_g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolae
g
e
up
d
a
te
pet fo
r
s
u
pport for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoola
e
ge
u
p
dat
e
is
l
for su
p
port for recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdo
o
lae
g
e
handle change in internal representation
o
f NT
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
Sven
Ve
r
doolaege
a
s
sume NTL ha
s
been compile
d
i
n
I
S
O mode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolae
g
e
configure
.
ac: extract o
u
t AX_C
H
ECK_NTL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verd
o
olae
g
e
ba
r
v
in
o
k 0
.
38
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
up
d
ate AU
T
H
O
RS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Ver
d
o
o
laege
update pet to ve
r
sion 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoola
e
ge
replace isl_{
,
in}equa
l
ity_alloc by isl_constrain
t
_alloc_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven
Verdoolae
g
e
up
d
ate isl t
o
v
e
rsion
0
.
15
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
S
v
e
n Verdoolaege
iscc: parse_file: return schedule in s
c
hedule tree
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
iscc: drop sc
h
edule_forest
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc:
s
chedul
e
:
r
eturn s
c
hedule in schedule tree representation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
V
e
rd
o
olaege
iscc: all
o
w i
m
p
l
ic
i
t co
n
versi
o
n from schedule to union map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoo
l
a
e
ge
is
c
c
: allow explici
t
conv
e
rsion
from
s
chedule to uni
o
n
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoola
e
ge
iscc: add do
m
ain operation o
n
schedules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven
V
e
rdoolaege
iscc: print sc
h
edu
l
es in bl
o
ck
f
ormat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc
.
c: re
a
d_lin
e
: e
x
tract
o
ut pr
i
nt_obj
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Ve
r
doolaege
iscc: cod
e
gen: accept schedule as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdool
a
ege
i
scc
.
c
.
: sp
l
it up pr
i
nt_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc: support schedule trees
i
n
de
p
endence
analysi
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdool
a
ege
i
scc
.
c: extract o
u
t c
o
mmon access_info_set_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Verd
o
olaege
iscc: typeof: recog
n
ize schedule o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Ve
r
d
oolaege
i
s
c
c
.
c:
u
se isl_union_a
c
cess_info
_
compute_flow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaeg
e
add dependence analysis te
s
ts for
i
s
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
S
v
en Verdoolaege
iscc
:
add "lb" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verd
o
olaege
up
d
a
t
e
i
s
l for rename of i
s
l_sched
u
l
e
_map_
s
chedule
_
node
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
Sven
V
erdoolaege
update isl fo
r
introduction
of isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en Verdoolaege
iscc
.
c
:
avo
i
d us
e
of isl_bo
o
l_* identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verd
o
o
laege
tests/iscc/sum4:
c
omp
a
r
e Na
N
against s
t
ring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoo
l
aege
iscc: add
equality operat
i
on on strings
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolae
g
e
upd
a
te
pet for direct he
a
der in
c
lusions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-13
S
v
e
n
Verdoolaege
update
i
sl for r
e
placement of CLooG test cases w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdo
o
lae
g
e
t
e
s
t
_
approx
.
c: us
e
fabs on doubl
e
inste
a
d o
f
a
bs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaege
h
ilbe
r
t
.
c: add miss
i
n
g includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdo
o
lae
g
e
summate
.
c: di
r
ectly include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sv
e
n Verdool
a
ege
isl_map_polylib
.
h:
i
nclude correct
he
a
der
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-17
Sven Ver
d
oolaege
iscc
.
c: ve
r
tices: avoid uni
n
i
t
ializ
e
d
re
a
d on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
iscc: avoi
d
use of pet_
s
cop_co
l
lec
t
_
s
chedul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verd
o
o
l
aege
update pe
t
for r
e
pr
e
sentin
g
schedule
a
s schedu
l
e tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
update is
l
fo
r
sufficient
s
ch
e
dule tree support for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Oleksa
n
d
r Zinenko
con
f
igure
.
ac:
a
llow bu
i
lddir
for NTL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-24
Oleks
a
n
d
r Zinenko
configure
.
a
c
: allo
w
builddir
for GMP
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven V
e
rdo
o
lae
g
e
iscc
.
c: use
i
sl_stream_get_ctx instead of rea
d
ing ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdool
a
ege
iscc
.
c: u
s
e
i
sl_stre
a
m_is_
e
mpty inst
e
ad of re
a
d
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Ver
d
o
o
laege
update isl for isl_stream
_
get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
S
ven Verdoolaege
u
p
date pe
t
for support f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update isl for support for re
c
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
summate
.
c: avoid use of i
s
l_union_pw_qpolynomial_add
_
pw_qpo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven
Verdoolaege
barvinok
.
cc
:
avoid u
s
e
of isl_union_pw_qpolynomial_add_pw_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
ven Ve
r
doolaeg
e
isl_
u
n
ion_set
_
lattice_width:
check whet
h
er
input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Ver
d
oolaege
summ
a
t
e
.
c: join_
c
o
m
patible:
a
void use
of undocumented
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoola
e
ge
summate
.
c: join_compatible: rename "dim" variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
u
p
d
ate pet to version 0
.
0
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
update isl to version 0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
S
v
en Verdool
a
eg
e
REA
D
ME: update contact
inf
o
rmation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdoolaege
update
is
l
for change
i
n
isl_
m
a
p_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n
Verd
o
olaege
up
d
ate pet for support for re
c
e
n
t clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
S
v
e
n
Verdoolaege
updat
e
i
sl fo
r
su
p
port f
o
r
recent
c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
oolaege
lattice_width
.
c: avoid use of
d
epreca
t
ed funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sv
e
n
V
e
r
d
oolaege
barvinok_enumer
a
te_
w
ith_optio
n
s:
handle context constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdoolae
g
e
doc:
a
d
d
another paper refering to the
l
ibrary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sv
e
n
Verdool
a
e
g
e
isl_Polyhedron_R
e
d
u
ced_Bas
i
s: avoid double
free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Thoma
s
K
a
h
le
Up
d
ate
t
he g
l
pk c
a
ll
s
to the
n
ew glp_ AP
I
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolae
g
e
is
c
c: also
disallow source
o
peration when --no-
i
o is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
barvinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoola
e
ge
updat
e
pet to ve
r
sion 0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoo
l
aege
update isl to
v
ersion 0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobia
s
Grosse
r
Add missing include of isl/aff
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
Sv
e
n
V
erdoolaege
u
p
date pet for sorting of arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
isl_par
a
m_
u
til
.
c: drop expr2vertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
u
p
date isl for
c
hange in isl_
v
ert
e
x in
s
p
ectors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
add isl_multi_aff_to_polyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verd
o
o
laege
iscc:
a
dd minim
a
l sup
p
o
r
t fo
r
isl_obj_pw
_
multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven
V
erdoolaege
update isl for isl_
o
bj_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdo
o
lae
g
e
gen
_
fun::add_u
n
ion: con
t
ext of result should be the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sv
e
n Verdoolaege
reduce_evalue:
r
ed
u
ce polyn
o
mial expressio
n
s in denominator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolae
g
e
update pet for
sup
p
ort for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaege
update isl fo
r
suppo
r
t f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
Verdo
o
laege
update p
e
t for chan
g
e in pet_scop
_
colle
c
t_{reads,
w
rites}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verd
o
olaege
update i
s
l fo
r
isl_id_to_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Ver
d
ool
a
e
ge
configure
.
ac
:
u
se A
X
_DETECT_GIT_HEAD
i
n
stead of inl
i
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sve
n
Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verdoola
e
ge
AX_SUBM
O
D
U
LE: allow
.
git fi
l
e
in s
u
bmodul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
S
v
e
n Verdoolaege
update pet for
s
u
pport
for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sve
n
V
e
rdool
a
e
g
e
u
p
da
t
e isl for supp
o
rt for re
c
e
nt cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n Verdool
a
ege
verif
y
_poi
n
t_data_
i
nit: use isl_
s
et_card to coun
t
e
l
ements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ver
d
oo
l
aege
test_approx: r
e
t
ur
n
EXIT_FA
I
LURE on er
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven V
e
r
d
o
olaege
te
s
t_approx
:
use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
clean up tes
t
s/ehrhart/
*
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Ver
d
oolaege
evalue_isl
.
c: relation2pwqp: ha
n
dle non
-
para
m
etri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update isl for isl_*_
e
val
returni
n
g an is
l
_val instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update isl for isl_strea
m
_read_obj returning is
l
_obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdo
o
laege
update pet to ve
r
s
i
o
n 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
S
ven Verdoolae
g
e
configure
.
ac: replace
-
-with-libgmp
optio
n
by --with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven
Verdoo
l
aege
updat
e
i
s
l to version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
e
rdoola
e
ge
iscc
.
c:
avoid use of
i
sl_to
k
en internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
ege
eva
l
ue_isl
.
c: div2evalue: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue
_
isl
.
c: isl_pw_qpolynomial_from_eval: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next