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
fix quasi_affine test case
2014-07-17
Sven Verdoolaege
fix quasi_
a
f
f
i
ne te
s
t case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verd
o
olae
g
e
pe
t
_t
r
ee_dump: f
i
x typo i
n
outp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
scop
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Ve
r
doo
l
aege
sco
p
.
c: scop_all
o
c: plug memory leak
o
n error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
V
er
d
o
ol
a
ege
expr
.
c:
e
xtra
c
t_
a
ffine_mul:
a
bo
r
t on err
o
r
ra
t
her than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
V
erdo
o
laege
Pe
t
Sc
a
n::set_upper_bounds: handle arrays declared in
s
ide
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven
V
erdoolaege
derive access relations o
f
call expressio
n
s from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdo
o
la
e
ge
add pet_expr_map_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
a
d
d
pet_expr_acces
s
_get_augmented_
d
omain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolae
g
e
PetScan::ex
t
ract_e
x
pr(C
a
llE
x
pr *): extract
fu
n
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_ex
p
r: k
e
ep t
r
ack of
func
t
ion s
u
mmari
e
s in cal
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolaege
pet_expr: put pet_exp
r
_
call fi
e
ld in s
u
bstr
u
cture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
i
ntrod
u
ce pet_function_sum
m
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdoola
e
ge
p
e
t
_ex
p
r_access_se
t
_access: set
r
ead/write on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaege
break up acc
e
ss relations into
m
a
y
_
read/m
a
y_write/must_wr
i
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
r
d
oolaege
add pet_
u
nio
n
_
m
ap_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaege
introduce
p
et_expr_a
c
cess_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdool
a
ege
drop pet
_
expr_from_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdool
a
e
ge
explic
i
tl
y
mar
k
kill access
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
pet_expr: represe
n
t read/w
r
ite flags
a
s b
i
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doolaege
pet_expr: document the
r
ead a
n
d write
f
ields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdool
a
ege
break u
p
ac
c
es
s
relations
into may_read/may_write/must_w
r
ite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_tag_access:
a
void use
of target spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
postpone introduction of
a
ccess relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
emit
.
c: e
m
it_expr:
e
xtract out emit_access_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
ge
d
rop pe
t
_ex
p
r_access_get_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
nest
.
c: move is_sub_access
to exp
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c:
extract_k
i
ll:
u
pdate kill e
x
pres
s
ion
rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_ex
p
r_is
_
a
ffine: avoi
d
using acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
pet
_
expr_filter: avoid using acces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
pet_expr_ac
c
ess_update_domai
n
: avoi
d
u
s
i
ng access rel
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_
e
xpr_access_g
e
t
_must_a
c
cess: avoid us
i
ng
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_get_id: avoid usi
n
g acc
e
ss rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
expr
.
c: access_add_ref_id: avoi
d
using
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
cop
.
c
:
a
ccess_c
o
llect_pa
r
ams: avoid
usi
n
g
a
cces
s
r
e
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
o
l
a
ege
scop
.
c: impl
i
es_f
i
lter: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: ac
c
ess_ext
r
a
ct_context: avoid
using a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
ool
a
ege
scop
.
c: expr_extract
_
context: a
v
oid u
s
i
n
g
a
cces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: e
x
tract out shar
e
d dro
p
_argu
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr_acce
s
s_
u
p
date_domain: minor clean-up of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
further genera
l
ize comput
e
_t
o
_inner
to
s
up
p
ort pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
generalize
compute_to_inner to support pe
t
_
scop
_
co
m
pute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
scop
.
c: compu
t
e_to_inner:
m
icro-optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaeg
e
t
ree
2
scop
.
c
: is_n
e
sted_al
l
owed: do not allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven V
e
rdoolae
g
e
PetScan::set_upper_bounds: u
s
e
declared size o
f
static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
sc
o
p
.
c: restrict_s
k
ip
:
update documen
t
ation t
o
c
h
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaeg
e
t
ree2scop
.
c:
s
cop_ad
d
_
i
n
c
:
tak
e
into account aff
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoo
l
aeg
e
tree2scop
.
c: move up app
l
y_aff
i
n
e
_con
t
inue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
tre
e
2sc
o
p
.
c: scop_from_non_affine_while:
e
xtract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update isl to ve
r
sion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n
V
erdoolaege
README:
update LLVM/
c
l
a
n
g instal
l
ation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoola
e
ge
i
n
terfa
c
e/extract
_
inte
r
face
.
cc:
e
xplici
t
ly in
c
lude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verd
o
olaege
upd
a
t
e for chang
e
in ar
g
uments of C
o
mpi
l
erInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
pet
.
cc: add
space between literal
a
nd
ident
i
f
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ver
d
oolae
g
e
update isl for
s
upport for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
ol
a
ege
pet_stmt_from_pe
t
_tre
e
: avoid free of uninitia
l
ized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven
Verdoolae
g
e
scan
.
cc: fix t
y
po in c
o
m
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
o
laege
pet_scop_from_pet_stmt
:
do not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
d
o
ol
a
ege
P
etScan:
:
extract_argument: handle passi
n
g of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefile
.
am: add dummy C++ source file to pet_sco
p
_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en
Verdool
a
ege
h
a
ndle
pencil indep
e
ndent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoola
e
g
e
PetScan: keep track of li
n
e n
u
mbe
r
o
f current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
pet
.
cc: extra
c
t o
u
t
Pet
A
STConsume
r
::add_p
r
agma_handler
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rd
o
o
laege
add
e
n
c
apsulate_dynamic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
pet_scop_f
r
om_pet_tree: cre
a
te statements
d
ire
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
replace pet_stmt_from_pet
_
e
x
pr by pet_stmt_from
_
pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Ver
d
o
olaege
pet_stmt: use p
e
t_tree to repr
e
sent statement b
o
dy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
scop
.
c: e
x
tract out pet_stmt_is_affine_as
s
ume
and
pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_accesses: use pet_expr_foreach_a
c
cess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
scop
.
c
: stmt
_
co
l
lec
t
_params: use pet_expr_foreach_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verd
o
olaege
ke
e
p track of indent
a
tion of ext
r
acted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolae
g
e
update tes
t
cas
e
outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
extract enum c
o
nstants a
s
their integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
Pet
S
can::extr
a
c
t
_int:
separate out extraction
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
PetScan::
e
xtract_unsigned: turn into a stat
i
c funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
scan
.
cc: change te
x
tual order of extract_unsigne
d
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_check_code
.
c:
use pet_ex
p
r_extract_
a
ffi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
e
xp
o
r
t pet
_
expr_ext
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_context: no long
e
r keep track of "unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
pet_expr_extra
c
t_af
f
ine:
n
o l
o
nger create n
e
w param
e
ters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
P
e
t
S
can::extract_
s
c
op:
po
p
ulate pet_context with para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
scan
.
cc: move up stati
c
get_
a
rray_type f
u
nct
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
PetScan::get_
a
r
ray_size:
c
ache
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
PetScan::set_up
p
er_bou
n
d
s:
e
x
tract out Pet
S
can::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is_eq
u
al: compare index expr
e
s
s
ions u
p
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_expr
_
e
xtract_affine: explo
i
t domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
add pet_context_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
t
r
ee2sco
p
.
c: scop
_
from_
b
lock:
colle
c
t affine cont
i
nu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
pet_
s
cop_from_p
e
t_tree: extract pet_sco
p
fr
o
m the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
add functions
for manipulati
n
g the
domain of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdo
o
l
aege
pe
t
_sc
o
p
_
restrict: al
s
o restrict
v
irtual array ext
e
nt
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_con
t
ext_e
v
aluate_ex
p
r: first insert
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_chec
k
_code: re
m
ove t
r
ack
i
ng of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_sco
p
_detect_p
a
rameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_conte
x
t_ev
a
luate_e
x
p
r
:
also plug in affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
separate out pet_context_e
v
aluate_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
drop pet
_
c
o
n
text_mark_assig
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan
:
:extract_scop: clear writes at
outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan:
:
extract_scop:
l
o
cally construct
pe
t
_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next