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
pet_scop_collect_domains: properly handle statements with arguments
2014-08-06
Sven Verdool
a
ege
pet_scop_
c
ollect_domains: prop
e
rly handle state
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Ve
r
doolaege
pet_st
m
t
_
print_bod
y
: do not p
r
in
t
anything
f
o
r kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Verd
o
olaege
fix
quasi_affine t
e
st case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
pet
_
tree_dump: fix
t
ypo
in outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaeg
e
scop
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
laege
sco
p
.
c:
s
c
op_
a
lloc: pl
u
g memory leak on e
r
ror pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolae
g
e
expr
.
c:
e
xtr
a
ct_a
f
f
i
n
e
_mul
:
abor
t
o
n er
r
or ra
t
her than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoo
l
aege
Pe
t
Scan::set_upp
e
r_bounds: handle
arrays declared inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haast
r
egt
a
llow
spec
i
fic
a
tion of summary functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sv
e
n
Ve
r
doolaeg
e
derive access
r
elatio
n
s of
c
all expressions from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
add
p
et_exp
r
_
m
ap
_
call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
ae
g
e
add pe
t
_
e
x
pr_
a
cces
s
_get_augment
e
d_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
PetScan
:
:extr
a
ct_expr(CallExpr *): e
x
tract fu
n
cti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
e
ge
pet_expr: kee
p
track
of fun
c
tion sum
m
ari
e
s
in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
e
g
e
pet_expr: put pet_expr_call fi
e
ld in substru
c
ture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
intro
d
uce pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_set_acc
e
s
s: s
e
t rea
d
/wr
i
te on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up access relation
s
i
nto ma
y
_re
a
d/may_write/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_u
n
ion_map_mo
v
e
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduce pet_expr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaeg
e
drop pe
t
_expr_
f
rom_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
o
laege
explic
i
tly mark k
i
l
l
accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
ola
e
ge
p
et_
e
xpr: repres
e
nt read/wri
t
e
flags as
b
its
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolae
g
e
pet_expr: document the
r
e
a
d
and w
r
ite fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up access relations
i
nto m
a
y_
r
ead/may_writ
e
/mus
t
_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
pet_ex
p
r_tag_access: avoid use o
f
target
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpo
n
e intro
d
uction of access relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aege
e
mit
.
c: emit_exp
r
:
extract
out emit_
a
c
c
ess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
d
rop pet_expr_a
c
ce
s
s_get_acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
nest
.
c: m
o
ve is_s
u
b_
a
cce
s
s t
o
ex
p
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
t
r
e
e
2scop
.
c: extract_k
i
ll: update k
i
ll expres
s
io
n
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_exp
r
_
i
s
_aff
i
n
e: av
o
i
d using acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr_filt
e
r
:
a
void
u
sing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_acc
e
ss_update_domai
n
: a
v
oi
d
using access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
olaeg
e
pet_e
x
pr_
a
ccess_get_must_access: avoi
d
u
s
ing
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
pet_expr_access_ge
t
_id:
av
o
id using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
expr
.
c: access_add_ref_id: avoid
using
a
c
cess r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aege
sco
p
.
c: access_collect_
p
arams: av
o
id
us
i
ng
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
scop
.
c
:
implies
_
fil
t
er:
a
v
oid using access re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolaege
scop
.
c
:
acces
s
_extract_context: a
v
o
id usin
g
ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: ex
p
r_e
x
tract_con
t
ext: a
v
oid using
a
c
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c: extract o
u
t
s
h
ared drop_
a
rg
u
ment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_ex
p
r_a
c
cess_update_domai
n
: minor clean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
further gene
r
alize com
p
ute_to_inner to sup
p
ort
pet_scop_com
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoola
e
ge
generalize
c
ompute_to_in
n
er
to support pet_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c
:
comput
e
_
to_
i
n
ner: micro-opti
m
izatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verd
o
olaege
tree2scop
.
c:
is_nested_allow
e
d:
d
o
not
allow
n
esting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
ven Verdoo
l
aege
PetSc
a
n::set_
u
pper_bounds: use declared size of sta
t
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
V
e
r
do
o
laege
scop
.
c: r
e
s
t
r
ict_
s
kip: u
p
date doc
u
mentation to cha
n
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ve
n
Verd
o
o
laege
tree
2
s
c
op
.
c: scop_add_
i
nc: take into a
c
count affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaeg
e
tree2scop
.
c
: move u
p
apply_affine_contin
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doola
e
ge
tree2sco
p
.
c: scop_fro
m
_non_affine_w
h
ile:
e
xtract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verdoolaege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update isl to version
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdool
a
eg
e
README: update
L
LVM/clang i
n
stallation instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
interfac
e
/extra
c
t_inter
f
ace
.
cc: explicitly inc
l
u
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
oolaege
update for ch
a
nge in
a
rgu
m
ents of CompilerInstan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaege
pet
.
c
c
:
add space be
t
w
een literal and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
u
pdate
i
sl for support for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
ege
pe
t
_
stmt
_
from_pet_tree:
a
v
o
id
f
r
e
e
of uninit
i
ali
z
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sve
n
Verd
o
olaege
scan
.
cc
:
f
ix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_sc
o
p_from_pet_stmt: do not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Pe
t
Scan::extract
_
argument: handle passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdool
a
e
g
e
M
a
kefile
.
am: add dummy C++ source f
i
l
e to pet_scop_
c
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
handle pencil independent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
ge
P
etScan: keep
t
rack
o
f line
n
umber of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t
.
c
c
:
e
xtract out Pet
A
STConsumer::a
d
d_pragma_hand
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verd
o
ol
a
ege
add enc
a
psulate
_
d
y
namic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_scop_from_
p
e
t
_tre
e
: create sta
t
ements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
re
p
lace pet_stm
t
_from_pet_ex
p
r
by pet_stmt
_
from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pet_stmt:
u
s
e
pet
_
tree
t
o
represent st
a
t
e
m
e
nt body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoo
l
a
ege
scop
.
c:
e
xtr
a
ct o
u
t pet_stmt_is_affine_assu
m
e and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
scop
.
c: stmt_collec
t
_accesses: u
s
e pet_expr_forea
c
h_acc
e
ss
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
scop
.
c
:
s
tmt_c
o
llect_params: use
p
et_ex
p
r_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdool
a
ege
keep track of
inde
n
tation of
extr
a
cted
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update
t
est case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
extract en
u
m co
n
stants as
t
heir integer
va
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
Pe
t
Scan::extract_i
n
t:
s
e
p
arate out
extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
PetScan::extract_unsigned: turn into a static fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
scan
.
cc: chan
g
e textual
o
r
d
e
r of extract_unsigne
d
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaeg
e
pet_
c
heck
_
code
.
c: u
s
e
p
e
t
_expr_extra
c
t_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
export
pet_expr_ext
r
act_affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
pet_context:
n
o
longer keep
t
r
ack of "unknown"
v
al
u
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_extract_affine:
n
o longer create
new parameter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
Pet
S
c
a
n
::
e
xt
r
act_sc
o
p: populate pet_context with
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
s
c
an
.
c
c
: m
o
ve up static
get_array_type func
t
i
o
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
Pe
t
Sc
a
n::
g
et_array_size: c
a
c
h
e results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
la
e
ge
PetS
c
an::set_upper_boun
d
s: extract out Pe
t
Scan
:
:get_arr
a
y_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
o
laege
pet_expr_
i
s_equal: compare index expressions
u
p to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ve
r
doolaege
pet_ex
p
r_extract_affine: exploit dom
a
in i
n
f
o
rmation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
add pet_c
o
ntex
t
_
g
et_gist
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e
2
scop
.
c: sc
o
p_from_block:
c
ollect affine conti
n
ue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
p
e
t
_scop_from_pet_tree: extract pet_scop from the r
o
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add functions for manipulating t
h
e domain
o
f
a pet_con
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oola
e
ge
pet_sco
p
_rest
r
ict: also restri
c
t
v
i
rtual array e
x
t
en
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
pet_conte
x
t_evaluat
e
_expr: fi
r
st
i
nser
t
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_check_code: remove tracking
o
f assign
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
drop pet_
s
cop_detect_pa
r
ameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
p
et_
c
onte
x
t_evaluate
_
expr: als
o
plug in affine
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
r
doolaege
separate
out pet_conte
x
t_ev
a
luate
_
e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next