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
v
e
n Verdoolaege
i
n
troduce pet_exp
r
_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
drop
p
e
t_expr
_
from_access_an
d
_i
n
d
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
explici
t
ly mark k
i
ll accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr
:
repres
e
nt re
a
d
/
write fl
a
gs
as bi
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_e
x
pr: docum
e
nt
t
he read and write fie
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
break up acces
s
relation
s
i
n
to may
_
read/
m
ay_writ
e
/
m
ust_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_tag_a
c
cess: avoid use of target
s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
post
p
one introdu
c
tion o
f
access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
emit
.
c: emit_expr: extr
a
c
t
o
u
t
e
mit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_ex
p
r_
a
ccess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
g
e
nest
.
c: move is_sub_access to
exp
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
tree2
s
cop
.
c
:
ex
t
r
act_kill
:
u
p
date kill
e
xpres
s
ion ra
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr_
i
s_affin
e
: avoi
d
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr_filter:
avoid usin
g
a
c
c
es
s
rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
ae
g
e
p
et
_
expr_
a
cces
s
_up
d
ate_doma
i
n: avo
i
d using ac
c
ess rela
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoo
l
aege
pet_expr_a
c
cess_get_must_ac
c
ess: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_access_get_id: avoid using a
c
cess relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolae
g
e
expr
.
c
: access_add_
r
ef_id: avoid using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
scop
.
c: access_collect_params
:
avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
scop
.
c
:
i
m
plies_filt
e
r: avoid using a
c
c
es
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
s
cop
.
c: access_extr
a
ct_con
t
ex
t
:
avoi
d
using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
sco
p
.
c: ex
p
r_ext
r
act_context: avoid using access re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doo
l
ae
g
e
scop
.
c: extract out
s
hared drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
ool
a
eg
e
pet_e
x
pr
_
access_
u
pdate_doma
i
n: minor
c
lean-up of expr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
f
urt
h
er ge
n
e
r
a
lize compute_
t
o
_inner to support p
e
t_scop
_
co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
generalize compute_to_inner to su
p
port pet_scop_
c
ompute_o
u
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c:
c
ompute_
t
o
_
inner: micro-optimiz
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
Verdoolaege
t
r
e
e2s
c
op
.
c: is_nes
t
e
d
_
allowed: do not allow ne
s
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sv
e
n
Ver
d
ool
a
ege
P
etScan::set_upper_b
o
unds
:
use declared size of stati
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
scop
.
c: restrict_
s
k
ip: update document
a
tion to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
t
re
e
2scop
.
c: scop_add_
i
nc:
t
ak
e
into account af
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
ree2scop
.
c: mov
e
up
a
pp
l
y_af
f
ine_co
n
tinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaeg
e
tree2scop
.
c: scop_f
r
o
m
_
n
o
n
_affine_whil
e
: extrac
t
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
ol
a
ege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
oolaege
upda
t
e isl to version
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verdoolaege
README: upd
a
te LLVM
/
clang insta
l
lati
o
n
instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
in
t
erface/extract_interface
.
cc:
e
xplicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdool
a
e
ge
update for c
h
ange
i
n argument
s
of Compile
r
Instanc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
oo
l
aege
pet
.
c
c: ad
d
s
pace between literal and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update
isl for suppo
r
t for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_stmt_from
_
pet_tre
e
:
a
void free of uni
n
itialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sve
n
Verdoo
l
a
ege
scan
.
cc: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaeg
e
pet_scop
_
from_pet_stmt: do not
extrac
t
c
ontex
t
f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolae
g
e
PetScan::extract_argu
m
ent: h
a
ndle passin
g
of e
n
tire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Verdoolaege
Makefi
l
e
.
am: add
dumm
y
C
++ source fil
e
to pet_scop_
c
mp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
e
rdoolaege
handle pencil inde
p
endent pragm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan
:
ke
e
p
t
rack
of l
i
ne number of current
S
tm
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
p
e
t
.
c
c
:
e
x
tract out Pet
A
S
T
Co
n
sumer::add_pr
a
gma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
add encapsula
t
e_dynamic_control optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_sc
o
p_from_pe
t
_tree: cr
e
a
t
e state
m
ents direc
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
r
eplace pet_stmt_from_pet_expr by
pet_stm
t
_fr
o
m_pet_t
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aeg
e
pet_stmt: use pet_t
r
ee to represent statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolae
g
e
sc
o
p
.
c:
e
xtract out pet_
s
tmt_is_affine_assume
and p
e
t
_s
t
mt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdo
o
laege
sco
p
.
c:
stmt_
c
ol
l
ect_accesses: use pet_expr_fore
a
ch_ac
c
ess_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
scop
.
c: stmt_collect_p
a
rams:
use p
e
t_expr_foreach_access
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
Verd
o
olaege
k
e
ep track of indent
a
tion of ex
t
r
a
cted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
up
d
ate test case
o
utputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract en
u
m const
a
nts as their i
n
teger va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaeg
e
Pet
S
can
:
:extra
c
t_i
n
t:
s
eparate out
e
x
t
raction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
Pe
t
Scan::ex
t
ract
_
uns
i
gned: turn
into a static
f
uncti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
sca
n
.
cc: change textual order of e
x
t
r
act_u
n
s
i
gned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_code
.
c: use pet_expr_extract
_
aff
i
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
e
x
p
o
r
t
pet_
e
xpr_extrac
t
_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_context: no longer kee
p
track of
"unknown" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_e
x
pr_
e
xtract_affine
:
no longer create
n
ew parame
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan::ex
t
ract_scop:
popu
l
ate
pet_context
w
i
th parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scan
.
cc: move
u
p sta
t
i
c
get_ar
r
ay_type funct
i
on
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan::get_array_size: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::set_upper_bounds: extract
out Pe
t
Scan::
g
et_ar
r
ay
_
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
g
e
pet_expr_i
s
_equ
a
l
: comp
a
re
index expr
e
s
s
io
n
s up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
p
e
t_ex
p
r_ext
r
act
_
a
ffine:
e
xploit d
o
main information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
a
dd pet_cont
e
xt_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laeg
e
t
ree
2
s
cop
.
c
:
scop_
f
r
o
m
_block: collect aff
i
ne co
n
tinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_scop_
f
rom_
p
et_tree: ext
r
act p
e
t_
s
cop fro
m
the
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
f
unctions for ma
n
ipulating
the do
m
ain of a pet_
c
onte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_scop_
r
e
s
trict: also restrict virtual
a
rra
y
extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
pet_
c
ontext_
e
val
u
ate
_
expr: first
i
nsert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_check_code: remov
e
tracking
o
f assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
do
o
laeg
e
drop pet_s
c
o
p
_detect_parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_conte
x
t_evaluate
_
expr: also p
l
u
g in affine expr
e
s
s
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
separate out pet_context_evaluate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdool
a
ege
drop pet_cont
e
xt_mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
ge
PetScan::
e
xtrac
t
_scop: clea
r
wr
i
t
e
s at o
u
t
er level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::extract_scop: loca
l
ly
construct pet_co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan::
e
xt
r
act_
s
cop: als
o
add
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolae
g
e
pet
_
expr_filter: avoid introduc
t
ion of
co
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
tree2s
c
o
p
.
c
: is_simple_bound: handle h
i
gher dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tr
e
e2sc
o
p
.
c: valid_for_each
_
iter
a
tion: handle high
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
tree2s
c
op
.
c: add
_
implication: handle higher d
i
men
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: map_to_previous: handle higher
dim
e
nsiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
tree2scop
.
c: a
f
ter: handle highe
r
dimension
a
l domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
pet_extract_nested_from_
s
pace: add
ex
t
ra dime
n
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_
e
xt
r
act
_
nested_
f
rom_space: embed arguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
add pet_exp
r
_acce
s
s_get_domain_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
p
e
t_expr_reso
l
ve_nested: allow spec
i
fication of
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
t
ree2scop
.
c
: ha
n
dle_
w
rites: s
e
parate o
u
t
h
and
l
ing of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c:
h
andle_writes: remove redu
n
dan
t
p
et_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoolaege
tree2scop
.
c: extract_kill:
allow s
p
ecification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_
s
c
o
p_add_boo
l
ean
_
a
r
ray: allow specificati
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pet_skip_info_*_extract*: pass al
o
ng pet_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next