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
scop.c: fix typo in comment
2014-07-17
Sv
e
n Verdoolaege
scop
.
c
:
f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rd
o
olaeg
e
scop
.
c: sc
o
p_alloc: p
l
u
g
memory
l
eak
on erro
r
p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
o
olaege
expr
.
c: extract_affine_mul: abort o
n
er
r
or r
a
ther
t
h
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Verdoolaege
PetScan::set_upp
e
r_bo
u
nds: hand
l
e arrays
d
ecla
r
ed inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access
relations of call ex
p
r
e
ssions
from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add
p
et_expr_map_ca
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
d
oolaege
ad
d
pet_expr_a
c
cess_get_augmented_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
PetScan::extrac
t
_expr
(
CallExpr *): ex
t
r
act functio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr: keep track of fu
n
ction s
u
mmari
e
s
in
c
all
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
do
o
laege
pet_e
x
pr: put pet_expr_call
f
i
eld in sub
s
t
ru
c
ture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
i
n
t
r
o
d
u
c
e pet_function_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet
_
expr
_
access_se
t
_access: set r
e
ad/writ
e
on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
b
r
e
a
k
u
p
a
c
cess relations into may_read/may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
oolaege
add pet_uni
o
n_map_move_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
in
t
rodu
c
e pet_ex
p
r_access_ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
drop pet_expr_from_acc
e
s
s_and_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
explici
t
ly mark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet
_
expr: represent read/wr
i
t
e
flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
d
oolaege
p
e
t_expr:
document the read and wri
t
e f
i
elds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verd
o
olaege
break up ac
c
ess rela
t
ions into may
_
read/may
_
wr
i
te/m
u
st_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
p
e
t_ex
p
r_tag_access: avoid use of
target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
postpone introductio
n
o
f
a
ccess r
e
lations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c:
e
mit_expr: extract out emit
_
a
ccess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
drop p
e
t_e
x
p
r
_ac
c
ess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
nest
.
c: mo
v
e i
s
_sub_
a
cce
s
s to exp
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
tree2scop
.
c: ex
t
ract_kil
l
: updat
e
kil
l
expr
e
ssion r
a
ther
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdool
a
ege
pet_expr_is_affin
e
: avoid using
acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr
_
filter: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pe
t
_expr_ac
c
ess_update_domain:
a
void using
a
c
cess
r
e
lat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doolaeg
e
pet
_
expr_a
c
cess_get_must_ac
c
ess: avoid usi
n
g
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doo
l
a
e
ge
pet_expr_access
_
get_id: avoid using access
r
e
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdool
a
ege
exp
r
.
c: access
_
a
d
d_ref_id: a
v
oid usi
n
g access relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c
:
access_c
o
l
l
ect_param
s
: avoid using ac
c
e
s
s re
l
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoo
l
aege
scop
.
c: impl
i
es_filter
:
a
void u
s
ing access
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
e
rdoolaege
scop
.
c: access_extract_contex
t
:
a
v
oid using a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
scop
.
c: exp
r
_extract_c
o
n
t
e
x
t: avoid usi
n
g access
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
d
oolaege
scop
.
c: extract out shared drop_
a
rgume
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_expr_access
_
u
p
d
ate_domain: mino
r
clean
-
up of
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
furt
h
er gen
e
ralize compute_t
o
_inner to
s
up
p
ort pet_scop_co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
generalize com
p
ute_to_inner to s
u
pport pet_scop
_
c
ompute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c
: comput
e
_to_inner: micro-optimi
z
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
t
r
ee2scop
.
c: is_nested_allowed: d
o
not allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoola
e
ge
PetScan
:
:set_upper_bounds: u
s
e decla
r
ed
size of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdo
o
laege
s
c
op
.
c: rest
r
i
ct_
s
kip: update documentatio
n
to cha
n
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n Ver
d
o
o
la
e
ge
tree2
s
c
o
p
.
c: scop_add_inc: tak
e
into accou
n
t affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
tree2scop
.
c:
m
ove up apply_affine
_
continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
tree2
s
cop
.
c: s
c
op
_
fro
m
_non_affi
n
e_while: e
x
tract
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoola
e
ge
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
update isl t
o
version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
READM
E
:
u
pdate LLVM/c
l
an
g
inst
a
llation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
oolaege
i
n
t
er
f
a
c
e/extract_interface
.
cc: expl
i
c
i
tly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolae
g
e
update f
o
r c
h
ange in arguments
of Co
m
pilerIn
s
tance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc:
a
dd space be
t
ween l
i
teral and ident
i
fier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olae
g
e
update isl for supp
o
rt for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolae
g
e
pet_stmt
_
from
_
p
e
t
_
tree:
avoid f
r
ee
o
f
uni
n
i
t
ialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ver
d
oolae
g
e
scan
.
c
c: fix typ
o
in
c
omm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
pe
t
_scop_from_pet_stmt
:
do not
e
x
tract
context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
P
e
tSc
a
n::e
x
t
ract_ar
g
ument: handle passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolaege
Makef
i
le
.
a
m
:
a
dd dummy C++ source file t
o
pet_s
c
o
p_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoo
l
aege
handl
e
pencil
independent pragm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
olae
g
e
PetS
c
an:
keep track
of
line number of current
S
tmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
pe
t
.
cc: extract out
PetASTCons
u
mer::add_pra
g
ma
_
handle
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaeg
e
a
d
d e
n
c
a
ps
u
late
_
dynamic_control o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
_
scop_f
r
om_pet_tree:
c
reat
e
statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
replace
pet_
s
tmt_fro
m
_pet_ex
p
r
b
y
pet_stmt_from_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdo
o
laege
pet_stmt: use pet_tree to rep
r
esent stat
e
ment body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
s
c
o
p
.
c: ex
t
ract
out
pe
t
_stmt_
i
s_affine_ass
u
me and
pet
_
stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
sco
p
.
c: stmt_c
o
llect_accesses: use pet_expr_f
o
r
e
ach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
: stmt_co
l
l
e
ct_params: use pet_ex
p
r_foreach_access_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
a
e
g
e
keep t
r
ack
o
f ind
e
nta
t
i
o
n of extracted c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdool
a
ege
update
t
es
t
case o
u
t
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
ext
r
a
c
t
enum c
o
nst
a
n
t
s a
s
their in
t
eger valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
Pet
S
c
an::extra
c
t_int: separa
t
e out ex
t
raction
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
P
e
tScan::extrac
t
_unsigned: turn
into a static fun
c
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
scan
.
cc
:
change textual
o
rder of extract_unsigned an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
pet_check_code
.
c
: use pet_ex
p
r_e
x
tract_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
ex
p
ort pet_expr_extrac
t
_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
pet_context:
no longer keep t
r
ack of "unknown" valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
pet_expr_extra
c
t_
a
ffine
:
no longer create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
o
laege
Pet
S
c
a
n:
:
ext
r
act_scop:
p
opul
a
te pet_context w
i
th paramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
sca
n
.
cc: move up static get_array_t
y
pe fun
c
t
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::g
e
t_array_s
i
ze: cache resu
l
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
PetScan:
:
set_upper
_
bounds: extr
a
c
t
o
u
t
PetScan:
:
get_array_
s
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
p
et_expr_is_equa
l
:
compa
r
e ind
e
x expressi
o
ns up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
pet
_
expr_ext
r
act_affine: explo
i
t
d
o
m
ain informati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
add pe
t
_
context_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree
2
scop
.
c: scop_from_b
l
ock: co
l
lect aff
i
ne continu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
p
e
t_scop_from_pet_tree: extract pet_sco
p
from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
ad
d
fu
n
ctions for manip
u
l
a
t
ing t
h
e
domain
of a
p
et_co
n
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_scop_re
s
trict: also restrict v
i
rtual array e
x
tents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_context_evalua
t
e_exp
r
: fi
r
st insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_
c
heck_cod
e
: remove tracking of
assi
g
nments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolae
g
e
drop
pe
t
_
s
cop_detect_parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_
e
valuat
e
_expr
:
also plu
g
in aff
i
ne expr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
o
laege
s
ep
a
rate ou
t
pe
t
_context_eva
l
uate
_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
r
op pet
_
conte
x
t_m
a
rk_a
s
si
g
ned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::extract_scop:
c
l
e
a
r wri
t
es at outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laeg
e
PetScan::extract_
s
cop:
locally construct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
Pe
t
Scan:
:
e
x
tract_scop: also add al
l
pet
_
arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
pet_expr_filte
r
:
avo
i
d
i
n
t
ro
d
ucti
o
n
of
c
on
s
tra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next