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
break up access relations into may_read/may_write/must_write
2014-06-20
Sven Verdoolaege
break up acc
e
ss relations into may_read
/
m
a
y_write/m
u
st_w
r
ite
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oola
e
g
e
add pe
t
_union_
m
ap
_
m
o
v
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
intro
d
uce pet
_
expr_access
_
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolae
g
e
d
r
op
pet_expr_
f
rom_
a
ccess_and
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
explicitl
y
m
a
rk kill access
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: re
p
r
e
sent read/wr
i
te flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: d
o
c
u
ment t
h
e
r
e
ad an
d
writ
e
fi
e
lds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolae
g
e
b
reak up ac
c
e
s
s rel
a
tions into may_read/may_wr
i
t
e
/
must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
pet_expr_tag_a
c
cess:
a
void us
e
of target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
d
o
ol
a
ege
postpone introducti
o
n
of ac
c
ess relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c
:
e
m
it_exp
r
: extract out emit_acce
s
s_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
r
op pet_e
x
pr_access_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
ol
a
ege
nest
.
c
: move
is_sub_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2
s
cop
.
c: extract_kill: up
d
ate kill exp
r
es
s
i
o
n
rathe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolae
g
e
pet_expr_is_affine: avoid using acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_filter: avoid using access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr_access_update_domain: avoi
d
using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_
a
ccess_ge
t
_must
_
access:
avoi
d
u
s
i
n
g access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_
e
x
pr_access
_
get_id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
exp
r
.
c: ac
c
ess_a
d
d_ref
_
i
d: avo
i
d
using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolae
g
e
s
c
op
.
c: access_collect_para
m
s: avoid using access r
e
latio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
scop
.
c: implies_filter: avoid using access
r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
s
co
p
.
c:
a
ccess_extract_context: av
o
id using a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
sco
p
.
c: expr_ex
t
ract_co
n
text: avoid using acc
e
s
s
rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c
:
ex
t
r
act out
shared d
r
op_ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdool
a
e
ge
pet_expr_access_upda
t
e_domain: mi
n
o
r
clean-
u
p of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoola
e
g
e
furthe
r
g
e
neralize compute_to_inner to sup
p
ort pe
t
_s
c
o
p_co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
generalize
compute_to_inner to support pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c:
c
om
p
ute_to_inner:
m
i
c
ro-optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven V
e
rdoolaege
t
r
e
e2scop
.
c: is_n
e
sted_al
l
owed: do
no
t
allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ver
d
oolaege
PetSca
n
::se
t
_up
p
er_b
o
unds: us
e
d
e
clared size
o
f
static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdool
a
e
g
e
scop
.
c: restrict_skip: u
p
date d
o
cumentation to c
h
a
n
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
dool
a
ege
t
ree
2
s
cop
.
c:
scop_add_inc: take into ac
c
ount a
f
fine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
rdoolaege
tree2s
c
o
p
.
c: move u
p
a
p
p
ly_a
f
fine_contin
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n V
e
r
d
oolaege
tree
2
sco
p
.
c: sc
o
p_
f
rom_non_affine_while: extrac
t
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaege
upd
a
te
isl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
REA
D
ME: update LL
V
M/clang
ins
t
allation instru
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
V
e
rdoola
e
ge
interface/
e
xtract_i
n
terface
.
c
c: explicitly
include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
u
p
d
a
t
e f
o
r
change in arguments of CompilerInsta
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc: add space be
t
w
e
en lite
r
al a
n
d id
e
ntif
i
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl for s
u
p
port for
recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verd
o
o
l
aege
pet_st
m
t_from_pet_tree: avoid free of
unini
t
ial
i
zed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n Verdoolaeg
e
sc
a
n
.
cc
:
fi
x
typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaeg
e
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 Verdoolaege
PetScan::ext
r
act_argument: handle pas
s
ing
of enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
Makef
i
le
.
am:
a
d
d
du
m
m
y
C++
s
ourc
e
file t
o
pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolae
g
e
han
d
le pencil independent prag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
erdoolaege
PetScan: keep track of line number of current
Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
pet
.
c
c
: extract out
Pet
A
STCons
u
mer::add_pragm
a
_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolae
g
e
add en
c
apsulate_dynamic_control op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoola
e
g
e
pet_s
c
op_f
r
om_pet_t
r
ee: cre
a
te statements dir
e
ctly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace pet_stmt_from_pet_
e
x
p
r by pet
_
stmt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
Verdoolaege
pet_stmt: use
pet_tre
e
to represent
stat
e
ment b
o
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extrac
t
out p
e
t_stmt_is_affine
_
assume and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
scop
.
c:
s
tmt_col
l
ect_a
c
cesses: use
p
et_ex
p
r
_fo
r
each
_
a
c
cess
_
exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
s
cop
.
c: stmt_co
l
lect_params: use pet_e
x
pr_foreac
h
_a
c
cess_
e
x
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
k
e
ep tra
c
k of
ind
e
nta
t
ion of extracted
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoo
l
aege
up
d
at
e
test case o
u
tp
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
ola
e
g
e
extract enum con
s
t
ants as
their inte
g
er values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
PetScan
:
:extrac
t
_int: s
e
pa
r
ate
out
e
xtr
a
ction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetSc
a
n::ex
t
r
a
ct_unsigned
:
turn i
n
to a st
a
tic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc:
change textual orde
r
of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_co
d
e
.
c:
u
se pet_exp
r
_
extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
export
p
e
t
_expr_extract_af
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_context: no longer kee
p
t
rack
o
f "
u
nknown" valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_expr_extract_affine: no longer
c
reate new parame
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
l
aege
Pe
t
S
can::extract_
s
cop: popul
a
te pet_context
w
ith par
a
met
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
s
ca
n
.
c
c: move up static
get_array_type fu
n
c
tion in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doola
e
ge
PetScan::get
_
array_size: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
PetScan::set_up
p
er_bounds: extra
c
t out
P
etScan::get_a
r
ray_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_expr_is_e
q
ual
:
c
o
mpare index expre
s
s
ions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdool
a
ege
pet_expr
_
extract_affine
:
exploit domain i
n
for
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
o
l
aege
a
d
d
pe
t
_context_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
eg
e
t
ree2scop
.
c
:
s
c
op_from
_
block: co
l
l
ect affine contin
u
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_scop_fr
o
m_p
e
t_tr
e
e: extract pet_sco
p
from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
add functions for
manipulating the domain of a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_sco
p
_restrict: also restrict v
i
r
t
ua
l
array
extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
p
e
t_context_evaluate
_
expr: first inse
r
t domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_c
o
de: remov
e
tracking of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
drop pet_scop_d
e
t
e
ct_parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
pet_context
_
evaluate_
e
xpr:
also
plug in affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
separate out pet_context_ev
a
l
u
a
te_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
d
rop
pet_cont
e
xt_mar
k
_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
lae
g
e
Pet
S
can::extract_scop:
c
lea
r
w
rites at o
u
ter le
v
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
Pet
S
c
a
n::ext
r
act_scop:
loc
a
lly
c
ons
t
ruct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::extract_scop
:
also add all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_exp
r
_filter: avoid i
n
troduction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: is_simple_bou
n
d: hand
l
e
h
igh
e
r dime
n
sion
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoo
l
aege
t
r
ee2
s
cop
.
c
: valid_for_ea
c
h_iteration:
han
d
le h
i
gher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
tree2scop
.
c
:
a
dd_
i
mplication: han
d
l
e h
i
gher dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: map_t
o
_previous: handle hi
g
her dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2s
c
o
p
.
c: af
t
er: hand
l
e highe
r
dimensional
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaeg
e
p
et_extract_nested_from_space: ad
d
e
x
t
ra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
pet_ex
t
r
a
ct_nested_from
_
sp
a
ce: embed arguments in
g
iven
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
ol
a
e
ge
add pet_expr_acce
s
s_get_
d
o
m
ain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_expr_resolve_n
e
ste
d
: allow specificat
i
on of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
t
r
ee2scop
.
c: handle_writes: separa
t
e
o
ut
h
andling
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree
2
scop
.
c: han
d
le_wri
t
es: remove
r
edu
n
dant pe
t
_context
_
mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c: ex
t
ract
_
kill:
a
llow specificatio
n
of statem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next