repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
only distribute bundled submodules
2011-09-26
Sven Ve
r
doolaege
only d
i
stribute
b
undled s
u
bmodule
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaeg
e
keep track
of assignments to param
e
ters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
Verdoolaege
export PetScan::extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Ve
r
doolaege
be more c
a
reful about using
p
ara
m
eter s
p
a
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdo
o
lae
g
e
u
p
d
ate isl f
o
r
isl_set_from_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sve
n
Verdoolaege
handle
extract
i
on o
f
s
c
ops inside a loo
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Ve
r
doola
e
ge
pet_
s
tmt_embed: h
a
ndle NULL s
t
mt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ve
n
Verdoola
e
ge
pet_expr
_
is_equal: not
e
qual if access relation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en V
e
rdo
o
l
a
ege
parse
.
c: extra
c
t
_
argumen
t
s:
plug memory lea
k
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
e
r
doolae
g
e
updat
e
isl
for
c
hange
in
i
s
l
_set_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
do
o
la
e
g
e
update isl for
c
hange in isl_{in,}equal
i
t
y_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
e
n
Ver
d
oolaege
ad
d
copyr
i
g
h
t
sta
t
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
d
o
o
laege
pet_s
c
op_extract_from_C_source: use a Compil
e
rInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
clear assig
n
ed_va
l
ue for scalars
tha
t
are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
Pet
S
can::se
t
_u
p
per
_
b
o
unds: graceful
l
y handl
e
errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
e
rdoola
e
ge
update isl for change in spa
c
e o
f
isl_pw_* obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
upd
a
te isl for
explicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoo
l
aege
use isl_space_p
a
rams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
update isl
for i
s
l_space_params_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoola
e
g
e
r
ena
m
e isl
_
di
m
to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
upd
a
te isl
fo
r
r
enam
e
of isl_dim to is
l
_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdool
a
eg
e
a
ccept
infinite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
a
dd "eq" opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
accept compo
u
nd statements wit
h
zero st
a
temen
t
s when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_collect_accesses: use isl_map_has_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
c
heck i
f
tuple
h
as id be
f
ore calling isl_{s
e
t
,map}_get
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
update isl
fo
r
isl_m
a
p_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
allo
w
d
e
claratio
n
of iterat
o
r in
for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoo
l
aege
upd
a
te isl
for
r
enam
e
o
f isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
H
i
de wa
r
nings in system head
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Ve
r
doolaege
h
andle "l
i
ve-out" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extract out update_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
v
e
n V
e
rdoolaege
p
e
t
.
c
c
: ex
t
ract out get_valu
e
_
d
ecl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
V
e
rdoolae
g
e
avoi
d
w
r
a
ppin
g
on so
m
e si
m
ple cases of loops
w
ith unsign
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
g
e
wrap results
of
u
ns
i
gned computa
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdo
o
laege
take
into account that un
s
igned
i
t
e
r
a
tors may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en
V
erdoolaege
allow l
o
op increments
of the form i = i +
c
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Ver
d
oolaege
allo
w
loop increments diff
e
re
n
t from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop increm
e
nts of the form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolae
g
e
fix ch
e
ck for
"simpl
e
" loop terminati
o
n co
n
d
i
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdool
a
ege
update
i
sl for isl_pw_a
f
f_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aege
prope
r
ly
h
andle
g
eneric condi
t
i
o
ns in f
o
r loop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
README: emphasize that we nee
d
clang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
e
rdoolaege
u
p
date for r
e
name of getIn
s
tan
t
iation
L
ineNu
m
ber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aege
sc
a
n
.
cc:
f
ix
typo in co
m
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Verdoolaege
upd
a
te i
s
l for fix in
i
sl_map_i
n
te
r
sect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doo
l
a
ege
acce
p
t affin
e
e
xpressio
n
s
w
here we
e
xpect a condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
olaege
update isl for isl_pw_af
f
_non_zero_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven van Haastregt
configure:
check
if llvm-config actua
l
ly exist
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven V
e
rdoo
l
aeg
e
ini
t
ial v
e
rs
i
o
n of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree