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
tree2scop.c: scop_add_inc: take into account affine break conditions
2014-04-24
S
v
e
n
Verdoolae
g
e
tree2scop
.
c: scop_add_inc: tak
e
int
o
acco
u
n
t
affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: move up apply_affi
n
e_cont
i
n
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolae
g
e
tree2scop
.
c:
s
c
o
p_from_non
_
affi
n
e_w
h
ile: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoolaege
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
Sven Ve
r
doolae
g
e
u
p
date is
l
to versi
o
n 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdo
o
la
e
ge
README: update LLVM/c
l
an
g
installat
i
on instr
u
cti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdool
a
ege
interface
/
ex
t
ract
_
interface
.
cc: e
x
p
l
icitly in
c
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdool
a
ege
upd
a
te
f
or change in arguments of Compile
r
I
n
stan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaeg
e
pet
.
cc
:
add
s
pace betw
e
en l
i
teral
a
n
d
i
d
entifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update
i
sl for support for re
c
e
n
t
c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
V
erdoolaege
pet_stm
t
_
f
rom_pet_tree: avoid
f
ree of uninitialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n Verdoolaege
scan
.
cc: fi
x
typo in co
m
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laege
pet_s
c
op_
f
r
o
m_pet_stmt: do not extr
a
ct context f
r
om
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oola
e
g
e
Pe
t
Scan::extract_argument
:
handle passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdool
a
e
ge
M
a
ke
f
ile
.
am:
add dummy C++ source f
i
le
t
o
pet_
s
co
p
_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
h
andle pencil
i
ndependen
t
prag
m
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoola
e
ge
P
et
S
ca
n
: keep track
o
f
line number of c
u
rre
n
t Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
c
c
: extract out Pe
t
ASTConsumer::
a
dd_p
r
agma_ha
n
dlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
a
d
d e
n
ca
p
s
u
late_dynamic_co
n
trol op
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pet
_
scop_from_pet
_
t
ree:
c
reate s
t
atement
s
direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
ge
r
e
plac
e
pet_st
m
t
_fro
m
_pe
t
_
ex
p
r by pet_stmt_from_pet_tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoo
l
aege
p
et_st
m
t
:
use
p
et_t
r
ee to
represent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extract out pet_st
m
t_i
s
_affin
e
_a
s
s
u
me and p
e
t
_
s
t
mt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
scop
.
c: stm
t
_collect_
a
ccesses: use pet_expr_forea
c
h_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ver
d
o
olaege
s
c
op
.
c: stmt_collect_params:
u
se pet_
e
xpr_foreac
h
_
access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
keep t
r
ack of ind
e
ntati
o
n of e
x
tracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doola
e
ge
update test
c
ase
outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
extract en
u
m const
a
nts as their
i
n
t
eger values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
ool
a
ege
PetScan::ext
r
ac
t
_i
n
t: se
p
arate out extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
P
e
tSc
a
n::extract_unsigned:
t
urn in
t
o
a
stat
i
c function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scan
.
cc: chang
e
textual order
o
f extract_uns
i
gned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
pet_chec
k
_co
d
e
.
c: use p
e
t_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdo
o
laege
export
p
et_expr_
e
xtrac
t
_a
f
fi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
o
la
e
ge
p
e
t_
c
on
t
ext: no
l
o
ng
e
r k
e
e
p
t
r
a
ck of "un
k
n
own
"
valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet_e
x
pr_extra
c
t
_affine:
n
o longer cre
a
te
n
ew par
a
meter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetS
c
an::extract_
s
cop: populate pet_context with p
a
ra
m
et
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aege
sc
a
n
.
cc:
m
ov
e
u
p static get
_
array_t
y
p
e
function
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
P
etScan::get
_
array_
s
ize: cache resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
o
laege
PetSca
n
::set_upp
e
r_bo
u
nds:
e
xtract out Pe
t
Scan::ge
t
_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_expr_is
_
equal: compare
i
ndex
expre
s
s
ions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
pet_expr_ex
t
ract_affine:
e
xploit domain inf
o
rmation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_context_get
_
gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c
: scop_from_
b
lock: collect a
f
fine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
pet
_
scop
_
fro
m
_p
e
t_tree: extract pet_sc
o
p from
t
he root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
ad
d
func
t
ions
f
or
m
anipula
t
ing
t
he
domain
o
f
a
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_restrict:
a
lso restrict virtual array
ex
t
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
e
t
_
co
n
text_eva
l
uate_expr: firs
t
i
nsert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_check_co
d
e:
r
emo
v
e tracking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
r
op
p
et_scop_detect_p
a
ramete
r
_a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_context_evaluate_ex
p
r:
also plu
g
i
n
affine
e
xpressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ve
r
dool
a
ege
separate out pet_con
t
ext_evalu
a
te_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_
c
onte
x
t_mark
_
a
ssigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
PetScan::extract_scop:
c
l
e
ar writes at o
u
ter level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
P
e
tS
c
an
:
:extract_scop: locally construct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetScan::extract_s
c
o
p
:
a
l
so
a
d
d
all p
e
t_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
e
g
e
pet_expr_filte
r
: a
v
oid
i
ntroduc
t
ion of
c
onstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2
s
c
op
.
c: i
s
_s
i
mple_bound: hand
l
e
h
igher
d
i
m
ensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
tree2sco
p
.
c: vali
d
_for_each_ite
r
ation: handle
h
igh
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tr
e
e2scop
.
c: add_imp
l
ication:
handle higher dime
n
sional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
tree2scop
.
c: map_to_previous: handle
h
i
g
her dimensi
o
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
tree2sc
o
p
.
c: after: handle highe
r
d
imensional domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_extract_ne
s
ted_f
r
om_space: a
d
d extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pe
t
_extract_nested_from_spac
e
: embed argu
m
e
n
ts in g
i
ven
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
ae
g
e
add pet_expr
_
access_get_do
m
ain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_reso
l
ve_nes
t
e
d: a
l
low sp
e
cificat
i
on of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: h
a
ndle
_
w
rites:
s
eparate
o
ut h
a
ndling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2
s
co
p
.
c
:
handle_wri
t
e
s
:
remove redu
n
dan
t
pet_c
o
nt
e
xt_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: extract_kill
:
allow
spe
c
i
fication of statem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_scop_add_boolean
_
array: allow
specification of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
doolaege
pet_ski
p
_
info_*_extrac
t
*: p
a
s
s
along
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
pet_scop
c
onst
r
uctors: allow
s
pecificat
i
on
of domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
tre
e
2sco
p
.
c: s
c
op_from_{break,continue
}
:
minor
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
tree2scop
.
c: scop_from_{break,continue
}
: allow specification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
r
ea
t
e_test_in
d
e
x
:
allow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt
_
from_pet_exp
r
: a
l
low sp
e
c
i
f
ica
t
ion of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_expr: min
o
r
clean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_stm
t
_
f
rom_pet_expr: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_context: keep track of domain set rather
t
han domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pet
_
nested_remov
e
_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
tree2scop
.
c:
s
cop_from_non
_
affine_if: drop
p
reallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c
: sc
o
p_from_no
n
_affine_if: delay
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
tree2s
c
o
p
.
c
: scop
_
from_affine_for: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
tree2scop
.
c: scop_f
r
om
_
n
o
n_affin
e
_while
:
drop prealloca
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
t
r
ee2scop
.
c: scop_f
r
om_n
o
n_affine_while: de
l
ay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tre
e
2
scop
.
c
:
scop_f
r
om
_
i
nfinite
_
loop: delay c
o
nstruct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdool
a
ege
tree2scop
.
c: inf
i
nite_
d
omain: delay intersectio
n
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: ex
t
ract ou
t
shared
ap
p
ly
_
affine_b
r
eak
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: scop_f
r
om
_
affi
n
e_for: remove prea
l
locatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
c
op
.
c: scop_from_a
f
fine
_
for: de
l
ay const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tr
e
e2scop
.
c: scop_from_af
f
ine_for: int
r
oduc
e
is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
ree2scop
.
c: scop_from_
a
ffin
e
_for: delay interse
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
add pet_sco
p
_inter
s
ect_domain_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
add
p
et_prefix_pro
j
ect
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
scop
.
c: ex
t
ent_is_virtual_a
r
r
a
y: che
c
k for
members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_ar
r
ay_em
b
ed: separate out e
x
tent_is_
v
i
r
tual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
drop pet_scop_wr
i
t
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
tree2scop
.
c: is_n
e
s
ted_allo
w
e
d
: take
tr
e
e in
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
p
e
t_skip_info_*_extract
*
:
p
ass struc
t
pet_state inst
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
mo
v
e
e
x
t
r
a
ction
of pet_scop fr
o
m p
e
t_
t
ree
to separa
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
constru
c
t
pe
t
_scop fro
m
intermedi
a
te
pet_tree
d
a
ta
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
