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 pet for pet_scop_get_schedule
2015-12-22
S
v
en Verdoola
e
ge
upd
a
te pet for pet_scop_get_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-22
Sven Verdoo
l
aege
update p
e
t
for r
e
nam
e
of pe
t
_scop_collect_*
to
pet_sco
p
_get_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdoolaege
update isl for isl_sched
u
le_gist
_
d
o
main_p
a
ram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sv
e
n Verdoolaege
.
gitig
n
ore: ad
d
more libtoo
l
t
e
m
p
orary files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven Verdoolaege
s
pecify subdir-objects opt
i
on
f
or
f
orward
compatib
i
lity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-16
Sven V
e
rdoolaege
conf
i
gure
.
ac: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
Sve
n
Verdoolaege
iscc: par
s
e_
f
ile:
r
e
mov
e
inst
a
nces from kill statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
S
ven Verdoolaege
i
scc: turn
o
n --pe
t
-encapsul
a
te-dynamic-co
n
trol
b
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-08
S
ven Ve
r
doolaege
iscc:
add
opera
t
io
n
s on
booleans
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
Sven
Verdoolaege
iscc: add "->-
"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
S
ven Verdoolaege
iscc: add "-"
oper
a
tio
n
on
m
a
p
and set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-07
S
ven Verdoolaege
iscc: a
d
d
"
->*" o
p
era
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-08-05
Sven Verdoolaege
doc: update documen
t
a
ti
o
n of "la
s
t" operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-31
Sven Verdoolaege
upd
a
te
isl for change in isl_m
a
p_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdo
o
laeg
e
update pet for
support
f
or recent cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
S
v
e
n
Verdo
o
laege
update isl for su
p
por
t
f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ve
r
doolaege
handl
e
ch
a
n
ge in int
e
rnal represe
n
tat
i
on
of N
T
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoo
l
aege
a
s
sum
e
NTL has been comp
i
led i
n
I
S
O mode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdool
a
ege
c
onfigure
.
ac: extract out AX_CHECK_NTL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdo
o
laege
b
arvinok 0
.
3
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sve
n
Verdoolaege
update AUT
H
OR
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
v
en
V
erdoolaege
update pet t
o
version 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
erdo
o
laege
repla
c
e isl_{,i
n
}equality_
a
lloc by isl_constraint_alloc_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
ve
n
Verd
o
o
laege
u
p
date isl to
v
ersio
n
0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven
V
erd
o
olaege
is
c
c
:
p
ars
e
_file:
ret
u
rn schedule
in
sc
h
edule tree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
iscc:
drop sch
e
dule_for
e
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ve
r
doolaege
i
scc: schedule: return schedule in
s
chedul
e
tree representation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Verdoolaege
isc
c
: allow implicit conversion from
s
chedule
t
o un
i
on map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdo
o
laege
isc
c
: allow explicit
conv
e
rsion from schedul
e
to union map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sv
e
n Verdoolae
g
e
iscc: a
d
d domain
o
peration on schedules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
S
ven Verdo
o
l
aege
iscc: pri
n
t schedul
e
s in block format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc
.
c: rea
d
_line: extr
a
ct out
pr
i
n
t
_obj
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdoolae
g
e
isc
c
:
c
o
degen: acc
e
pt sche
d
u
l
e
a
s
i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Ver
d
oolaege
iscc
.
c
.
: spl
i
t up prin
t
_cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaeg
e
iscc:
s
upport schedule tree
s
in depe
n
denc
e
analys
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rdoolaege
isc
c
.
c: extract out common access_info_set_sch
e
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
iscc
:
ty
p
eof: re
c
ogniz
e
schedu
l
e
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoo
l
aege
iscc
.
c: use isl_u
n
ion_access_info_compute_fl
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-13
Sven
Verdoolaege
add d
e
pendence analys
i
s tests for iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
S
ven Verdoola
e
g
e
iscc: add "lb" operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
Sven Verdoolaege
update isl for
r
e
n
a
me o
f
isl_schedule_map_schedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-26
S
v
en
V
e
r
dool
a
ege
update isl fo
r
introduction of i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
iscc
.
c: avoid u
s
e of isl_bo
o
l_
*
i
d
entifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
tests/isc
c
/
s
u
m4:
compare NaN ag
a
inst string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoolaege
i
s
c
c:
add
e
qua
l
i
t
y operat
i
on on strings
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
Sven Verdoo
l
aege
updat
e
pe
t
for direct h
e
a
d
er inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
v
en V
e
rdoolaege
u
p
d
a
te isl for replacement
of CLooG test
cases with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Verdoolaeg
e
test_approx
.
c
: use fabs o
n
double
i
n
s
tead of abs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sv
e
n Verd
o
olaege
hilbert
.
c: add missin
g
includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-02
Sven Ver
d
oolaege
summate
.
c: di
r
ectl
y
inc
l
ude required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolaege
isl_map_poly
l
ib
.
h: i
n
clude correct hea
d
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-17
S
v
en Verdoo
l
aege
iscc
.
c:
vertices: avoid unin
i
tialized read on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
isc
c
:
a
void use of p
e
t_sc
o
p_collect_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
S
ven Verdoolaege
upd
a
t
e
pet for representing schedule as schedule tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
u
p
date isl for
suff
i
cient
schedule t
r
ee support for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
iscc
.
c: use
i
s
l
_str
e
am_get_ct
x
i
n
stead of readi
n
g ctx
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Verdoolaege
iscc
.
c: use isl_stream_i
s
_
e
m
pty inste
a
d of r
e
a
d
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdo
o
la
e
ge
update
isl f
o
r
isl_stream_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update pet for support fo
r
rece
n
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolae
g
e
up
d
at
e
isl for support for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoola
e
ge
s
ummate
.
c: avoid use of is
l
_union_p
w
_
q
polyno
m
ial_add_pw_qpol
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
Sv
e
n Verdool
a
ege
barvinok
.
cc: av
o
id us
e
of isl_union_pw_qpol
y
n
o
m
ial_add
_
p
w
_
qp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-18
S
v
en Ver
d
oolaeg
e
isl_u
n
ion_
s
et
_
lattice_width: chec
k
whether
i
nput is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
ven Verdool
a
eg
e
su
m
m
a
te
.
c: jo
i
n
_
compatible: avoid
u
s
e of undocumen
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
S
ven Verdoolaege
su
m
mate
.
c: join_compatib
l
e
:
r
e
n
a
m
e
"
dim" variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdo
o
laege
updat
e
pet to version
0
.
0
6
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Ve
r
doolaege
update
is
l
to v
e
r
s
ion 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-14
Sve
n
V
e
rdoolaeg
e
README:
updat
e
contac
t
information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-09
Sven Verdoo
l
a
e
ge
up
d
ate isl for change in isl
_
m
ap_s
u
btrac
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n Verd
o
o
laege
upda
t
e
pet f
o
r support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
update
i
sl for sup
p
ort
f
or recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven V
e
rdoolaege
l
at
t
ice_width
.
c
: avoid use of deprecat
e
d
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdoolaege
barvinok_enumerate_wi
t
h_options: handle context constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdo
o
l
aege
doc: add another paper refering t
o
the librar
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-04
Sven V
e
rd
o
olaege
isl_Poly
h
edr
o
n_Reduced_Basis:
avoid double fr
e
e
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
is
c
c: al
s
o
disa
l
low so
u
rc
e
operation
w
hen -
-
no
-
io is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoolaege
barvinok 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
update
pet t
o
version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
update isl
to version 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Verdoola
e
ge
update
p
et for sorting of arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdo
o
laege
isl_pa
r
am
_
util
.
c:
d
rop expr2ver
t
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Ver
d
oolaeg
e
update isl for
change i
n
isl_vertex ins
p
ectors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
rdoolaege
add isl_multi_
a
ff_to_pol
y
lib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
doolaege
iscc:
add m
i
ni
m
al support for isl_obj_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven
Verdoolaege
updat
e
isl
for isl_obj_pw
_
m
u
lt
i
_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Sv
e
n Verdoo
l
aege
gen_fun::add_union: context of
resu
l
t
s
h
o
u
ld be the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en Verdoolaege
reduce_evalue: reduce polyn
o
m
i
al express
i
ons in denominat
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ve
r
doolaege
update pet for support for
r
e
c
ent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoola
e
ge
u
pd
a
te isl
f
or sup
p
ort for
r
e
c
e
nt clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sv
e
n
V
e
r
doola
e
ge
u
p
date pet
f
or change
i
n pet
_
scop_co
l
lect_{re
a
ds,wri
t
es}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
S
ven V
e
rdool
a
ege
update
i
sl
for isl_id_to_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-05
Sven V
e
rdoolaege
con
f
igure
.
ac
:
use AX_DETECT_GIT_HEAD instead of in
l
ined
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-16
Sven V
e
rdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-05
Sve
n
V
e
r
doolae
g
e
AX
_
SUBMOD
U
LE: allow
.
g
i
t file
i
n submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven
Verdoolaege
up
d
ate p
e
t
for
s
upport for
r
ec
e
nt
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verd
o
olae
g
e
veri
f
y_point_data_init: use is
l
_set_car
d
to count elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
ven Verdoo
l
aege
t
e
st_approx: retur
n
EXIT_FAILU
R
E on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
S
v
en Verdool
a
ege
test_
a
pprox: use isl inte
r
f
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ve
r
d
oolaege
cle
a
n up
t
e
s
ts/ehrh
a
rt/* inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
