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
introduce pet_expr_access_type
2014-06-20
S
ven Verdoolaege
introduce
pet_
e
xpr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
drop pet_expr_from_access_an
d
_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
explicitly
ma
r
k kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
aege
pet_
e
xpr:
repres
e
nt
r
e
a
d/write flag
s
as bi
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_ex
p
r
:
docum
e
nt the read and write fiel
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
br
e
ak
u
p
access re
l
ations into may_read/may_write/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr
_
tag_ac
c
ess: avoid us
e
o
f target s
p
ac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
postpone
i
ntrod
u
ctio
n
of ac
c
e
s
s relat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emi
t
.
c:
e
m
i
t_e
x
pr:
e
xtract out emit_access
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rd
o
olaege
dr
o
p
p
e
t
_
e
xpr_access_get_
a
c
c
e
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
nest
.
c: move
i
s
_
sub_acce
s
s to
ex
p
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
tr
e
e2sc
o
p
.
c:
extract_kill
:
u
p
date kill expression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr
_
i
s
_affine: avoid us
i
ng access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_filter: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr_access
_
updat
e
_doma
i
n:
a
void using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr_a
c
c
ess_get_must_access:
a
void using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doolaege
pet_expr_acces
s
_get_id: avoi
d
using acce
s
s
rel
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rdoolae
g
e
expr
.
c: access_add_re
f
_id: avoid using
access re
l
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c
:
access_collect_params:
a
void using
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c: implies_fil
t
er: a
v
oid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_extract_context
:
avo
i
d
u
sing
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
ge
scop
.
c: expr_
e
xt
r
act_contex
t
: av
o
i
d
u
sing ac
c
e
ss r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doolaege
scop
.
c: extract out s
h
ared drop_argume
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_exp
r
_a
c
cess_update_doma
i
n: minor c
l
ean-up
o
f
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
fu
r
ther gener
a
lize compute_
t
o_inn
e
r
t
o support pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
general
i
ze compute_t
o
_inner to support
p
et_scop_co
m
p
u
te_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoo
l
aege
scop
.
c: c
o
mp
u
te_to_
i
nner
:
micro-opti
m
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoola
e
ge
tree2s
c
op
.
c:
i
s_n
e
sted_allowed: do not allow nestin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sv
e
n
Verdoolaege
P
e
tSc
a
n::set_upper_bounds:
u
se
d
eclare
d
size of
s
t
atic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
V
erdoolaege
scop
.
c: restrict_skip: upd
a
te documentation
t
o
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
la
e
ge
tree2
s
cop
.
c: scop_add_inc: take
int
o
a
ccount af
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
ree2scop
.
c: move up a
p
ply_af
f
ine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
tree2scop
.
c: scop_
f
rom_non_affine_while: extr
a
c
t
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdo
o
laege
updat
e
isl to v
e
r
s
i
on
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdoo
l
aege
R
E
ADME: upda
t
e LL
V
M/c
l
ang installat
i
on instruc
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
in
t
erface/extract_interface
.
cc:
expl
i
citl
y
include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
update for change i
n
arg
u
ments of Com
p
ilerInstan
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolae
g
e
pe
t
.
cc: add space betw
e
en liter
a
l and
i
d
entifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl for support f
o
r rece
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdoolaege
p
e
t
_
s
tmt_from_
p
et_tree:
a
void free of
unini
t
ialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
cc: f
i
x typo i
n
commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_scop_from_pet_stmt:
do no
t
extract con
t
e
xt fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolae
g
e
P
e
tSc
a
n
::extract_argument: ha
n
dle passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
doolaege
M
a
kefile
.
am:
a
dd du
m
my C++
sou
r
ce file to p
e
t
_
sc
o
p_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Ver
d
oolaege
handle penc
i
l independent p
r
a
g
mas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
PetScan: keep tr
a
ck of line number
o
f cur
r
ent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
p
e
t
.
cc:
extract
o
ut Pet
A
STConsumer::add
_
p
r
agma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
laege
add enca
p
sulate
_
dynamic_
c
ontrol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t
_
scop_from_pet_tree: create state
m
ents dir
e
ctly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
olae
g
e
replac
e
p
e
t_s
t
mt_from_pe
t
_expr
b
y pe
t
_stmt_f
r
om_pet_tr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oo
l
aege
pet_stmt: use
p
et_
t
ree t
o
represent
st
a
tement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
s
c
o
p
.
c: extract
o
ut pet_stmt_is_affine_assume a
n
d
p
e
t
_
stmt
_
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
scop
.
c:
stmt_col
l
ect
_
acces
s
e
s
:
use pet_expr_
f
oreach_a
c
c
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
doo
l
a
e
ge
s
cop
.
c: stm
t
_colle
c
t_p
a
rams: use pet_ex
p
r_foreach_access_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Ve
r
doolaege
k
e
ep trac
k
o
f i
n
d
entation of extracted co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
updat
e
te
s
t c
a
se outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ex
t
ract enum
c
onst
a
nts as their integer va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSca
n
::
e
xtract_in
t
:
sep
a
rate out ex
t
raction fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::extract_unsigned: tu
r
n into a
s
tatic fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: cha
n
g
e
textua
l
o
r
d
er of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_che
c
k
_code
.
c: use pet_expr
_
extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
e
g
e
expor
t
p
et_expr_extra
c
t
_af
f
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_context:
no longer keep track
of "
u
nk
n
own" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdo
o
laege
pe
t
_expr_extract_
a
ffine
:
no longer create new parame
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
Pe
t
S
c
an::extract_scop: populate pet
_
c
ontext w
i
t
h
paramet
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
scan
.
cc
:
move
up stat
i
c get_array_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
PetS
c
an::get_
a
rr
a
y
_
size: ca
c
h
e
result
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
PetScan
:
:
set_uppe
r
_bounds: ex
t
ract out PetScan::get_ar
r
ay
_
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
pet_ex
p
r_is_
e
qual: c
o
mpare index expressions
u
p
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
pet_expr_
e
x
tract_affine: e
x
ploit
d
omain
i
n
formation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add pet_contex
t
_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2
scop
.
c
: scop_fr
o
m_block
:
collect affine c
o
ntinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
r
d
oolaege
pet_scop_from
_
pet_tree:
e
xtract pet_sco
p
from the
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
add functions fo
r
m
a
nipulating t
h
e domai
n
of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_scop
_
restrict:
a
l
so rest
r
ict
vi
r
tual array e
x
tents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
o
olae
g
e
pet_context_ev
a
luat
e
_expr:
first inse
r
t doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_check_
c
ode
:
remove tracking of ass
i
gnmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop_detect_pa
r
am
e
te
r
_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
pet_
c
o
n
t
ext_evaluate_e
x
pr:
a
lso plu
g
in affin
e
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ol
a
ege
separate out
p
et_cont
e
xt_eva
l
ua
t
e_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
drop pet_cont
e
xt
_
m
a
r
k
_
assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoola
e
g
e
PetScan::extract_scop: cl
e
ar writes at ou
t
e
r lev
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetSc
a
n::extract_scop:
l
ocally construc
t
p
et_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
P
etSc
a
n::ext
r
act_scop: also
ad
d
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_
e
xpr_filter:
a
v
oid introduction of c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
t
ree2sco
p
.
c:
i
s_
s
imple_bound: handl
e
higher di
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tre
e
2scop
.
c: valid_for_eac
h
_
i
t
e
r
ation: handle h
i
g
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c
: add_implicati
o
n:
h
a
ndle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
tree2scop
.
c: m
a
p_to_previ
o
us: handle higher d
i
men
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
o
laege
tr
e
e2scop
.
c
:
after:
handle higher di
m
e
nsional d
o
mains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
l
a
ege
p
e
t_extract
_
neste
d
_from_spa
c
e
:
add extra dimensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
pet_extract_nested_
f
rom
_
s
pace:
e
mbed ar
g
uments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
add pet_
e
xpr_a
c
c
ess_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ver
d
oolaege
pet_
e
x
p
r
_resolve_neste
d
: a
l
low
s
p
ec
i
fic
a
tion o
f
d
omai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: handle_wr
i
tes: separate out hand
l
ing o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
ool
a
ege
t
r
e
e
2
sco
p
.
c: handle_w
r
i
t
e
s: remove redundan
t
pet_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2
s
cop
.
c:
e
xtract_kill:
a
l
low speci
f
ication of stateme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
pe
t
_
scop_a
d
d
_b
o
o
lean
_
a
rr
a
y: allow specifi
c
ation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
ge
pe
t
_
s
kip_info_*_extr
a
c
t
*: pass
a
lo
n
g pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next