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
S
ven Verdo
o
laege
break up access rela
t
ions into may_read/may_write/mu
s
t_w
r
ite
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
a
d
d pe
t
_union_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
g
e
introduce pe
t
_expr_a
c
ces
s
_t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
drop
p
e
t
_expr_from_a
c
c
e
ss_and_inde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oolaege
explicit
l
y
m
ark kill acc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr: represent r
e
ad/write flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oolaege
p
e
t
_expr
:
document the
r
ead an
d
wr
i
te fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
break up access
relation
s
int
o
may
_
read/may_write/must_
w
r
i
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_exp
r
_t
a
g_
a
ccess
:
avo
i
d use of ta
r
get space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone i
n
t
roduct
i
on of
access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c: emit_
e
xpr: extr
a
ct out em
i
t_access_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
d
r
o
p pet
_
ex
p
r_access_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
e
rdoolaege
nest
.
c: move is
_
sub_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
tree
2
scop
.
c
:
e
xtract_kill: update kill expression
r
ather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
p
et_e
x
pr_is_
a
ffine: avoid us
i
n
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_fil
t
er: a
v
oid using
a
cces
s
rela
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_update_domain: avoid using access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
pet_expr
_
acc
e
ss_get_
m
ust
_
access: av
o
id using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaeg
e
p
et_ex
p
r
_
a
c
c
e
s
s_get_i
d
:
avoi
d
using access rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c: ac
c
ess
_
ad
d
_ref_i
d
: av
o
id
using access
r
e
l
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
scop
.
c: ac
c
es
s
_col
l
ec
t
_param
s
: avoid using ac
c
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
ol
a
ege
scop
.
c: imp
l
ies_filter
:
avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
er
d
o
o
la
e
ge
s
c
op
.
c: access_ext
r
act_c
o
ntext: avoid
using acc
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdool
a
ege
scop
.
c: expr_extract_c
o
n
t
ext: avoi
d
u
s
ing ac
c
ess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oolaege
scop
.
c: e
x
t
ract out sha
r
ed
drop_ar
g
u
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
pet_expr_
a
ccess_update
_
doma
i
n
: minor cle
a
n-up
o
f expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
furt
h
er ge
n
eralize compute_t
o
_inner
t
o
support
p
et_scop_co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdo
o
laege
g
ene
r
a
lize compu
t
e_to_inner to support pet_scop_comput
e
_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoola
e
ge
sco
p
.
c: comp
u
t
e
_to_in
n
er: micro-op
t
imization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven V
e
rdo
o
lae
g
e
tree2scop
.
c: is_nes
t
ed_allowed: do not all
o
w nesti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolae
g
e
Pe
t
Scan:
:
set_upper_
b
ound
s
: us
e
declared size
of
static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdo
o
laege
scop
.
c: restrict_ski
p
: u
p
d
a
te documentation to c
h
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
r
d
oolaege
tree2
s
cop
.
c: scop_add_inc: take into acc
o
unt affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaege
t
r
ee2scop
.
c: move up
ap
p
ly_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaeg
e
tree2s
c
op
.
c:
s
c
op
_
from_non_affine
_
while: extract
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdo
o
l
aege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaege
upd
a
te
isl to vers
i
on
0
.
1
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoo
l
a
e
ge
R
EADME: update LLVM/clang install
a
ti
o
n instruc
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ve
n
Verdoola
e
ge
inter
f
ace/extract_interface
.
c
c
:
ex
p
l
i
cit
l
y
i
nclud
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
up
d
a
t
e
f
o
r change in arguments of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc: ad
d
space bet
w
een literal and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
ege
updat
e
isl for support
f
or recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdool
a
ege
pet_stmt_from
_
p
et_tree: avoid f
r
ee of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoola
e
g
e
sca
n
.
cc: fi
x
typ
o
in co
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
pet_sc
o
p_from_pet_
s
tmt: do not
extract context f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetS
c
a
n::extrac
t
_arg
u
ment: han
d
l
e
pas
s
ing of ent
i
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaege
M
a
kefil
e
.
am: add dum
m
y
C
+
+
sour
c
e file to pet_scop_
c
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
ha
n
dle pencil in
d
ependent pragma
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
PetScan
:
keep track of line number of cu
r
rent St
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aeg
e
pet
.
cc:
e
xtra
c
t out P
e
tASTCo
n
sumer
:
:ad
d
_
p
r
agma_ha
n
dlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
oolae
g
e
add
en
c
apsulate_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
_tr
e
e: create state
m
en
t
s directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
r
eplace
p
et_
s
tm
t
_fro
m
_p
e
t_expr by pet_s
t
mt_from_pet_tr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erd
o
o
laege
pet_stmt: use pet_tree
t
o
represe
n
t
state
m
ent body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verd
o
ol
a
ege
scop
.
c
:
extr
a
ct out pet_s
t
mt_is_affin
e
_as
s
ume and pe
t
_stm
t
_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
s
cop
.
c:
s
tmt
_
c
ollect_a
c
cesses: use
p
et_expr_fore
a
ch_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
scop
.
c: stmt
_
collect_params:
u
se
p
e
t_exp
r
_fore
a
ch_ac
c
e
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdoolae
g
e
ke
e
p tr
a
ck o
f
indentat
i
on of extrac
t
ed cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
dool
a
e
g
e
upd
a
te t
e
st case outp
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract enum
cons
t
ants a
s
the
i
r integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
PetScan::extract_int: separate out ex
t
ra
c
tion from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetScan::
e
xtract_unsigned: turn into a sta
t
ic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ola
e
ge
scan
.
cc
:
change textual order of e
x
tr
a
c
t_unsi
g
n
ed a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_check_code
.
c: u
s
e pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
expo
r
t
pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
olaege
pet_
c
ontext: n
o
l
onger keep track of "unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extract_affin
e
: no l
o
n
g
er create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
P
etScan::extr
a
ct_scop: populate pet_
c
ont
e
xt wit
h
pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scan
.
cc: move
u
p static get_ar
r
ay_type
function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::get_
a
rray_size: ca
c
he results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
PetSca
n
::se
t
_upper_b
o
u
n
ds: extract
o
ut P
e
tScan:
:
g
e
t_array_siz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
pe
t
_ex
p
r_is_equal: compare index expre
s
sions
u
p to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
pet_expr_e
x
tract
_
affine: exploit
d
omai
n
info
r
mation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add p
e
t_context_g
e
t_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree
2
scop
.
c: scop_from_
b
lo
c
k: c
o
l
l
ect affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_s
c
op_f
r
om_pet_t
r
ee:
e
x
t
ract p
e
t_scop fro
m
the
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
a
dd
f
unct
i
ons for m
a
nipulating the
do
m
ain of
a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
ola
e
g
e
p
e
t
_
s
cop_restrict: also restrict virt
u
al array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_context_evaluat
e
_expr: first insert
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
pet_check
_
c
o
d
e
: remov
e
tracki
n
g of
a
ssignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oola
e
ge
drop pe
t
_s
c
op_detect_parame
t
e
r_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olae
g
e
pet_conte
x
t_eva
l
u
a
te_expr: also plug in affine expres
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
separate
o
ut pet
_
con
t
e
x
t
_
eva
l
ua
t
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
l
aege
dr
o
p pet_co
n
text_mark_a
s
si
g
n
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
PetS
c
a
n::ext
r
act_
s
cop: clear writes
at
o
uter lev
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
Pe
t
Scan::extract_sco
p
:
locally con
s
truct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
g
e
PetScan::extract_sc
o
p: also
a
dd
all pet_arr
a
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
pet_expr
_
f
i
lter
:
avoid introductio
n
of cons
t
rai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
g
e
tr
e
e2scop
.
c: i
s
_simple_bound:
h
andle higher dimension
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: valid_for_each_iteration: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c: add_implication: handle hig
h
er dimens
i
o
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oola
e
ge
tr
e
e2
s
cop
.
c: map_to_previous: handle higher d
i
mensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
tree2scop
.
c: after:
h
andle hig
h
er
dimensional domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_ex
t
ract_nes
t
ed_fr
o
m_spac
e
:
a
dd e
x
tra dimensi
o
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
pet_extract_nested_from
_
s
pa
c
e: embed arguments
i
n gi
v
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_expr_ac
c
ess_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_exp
r
_r
e
solve_nested: allow spec
i
fication of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
tree2sc
o
p
.
c: hand
l
e
_
write
s
: separa
t
e out handli
n
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
tree2
s
cop
.
c: handle
_
writes: remove r
e
d
undant pe
t
_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
t
r
ee2scop
.
c: extract_kill: allow specification
of st
a
te
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next