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
pet_expr_tag_access: avoid use of target space
2014-06-20
Sv
e
n
Ve
r
dool
a
ege
pet_e
x
p
r
_t
a
g
_
acc
e
ss:
av
o
id use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
postpone introduction of a
c
c
ess relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
emit
.
c
:
emit_expr: extract out
e
mit_acces
s
_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
o
o
l
aege
drop pet_expr_access_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
nes
t
.
c:
mo
v
e is_sub_access to
exp
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
doolaege
tree2sc
o
p
.
c:
extract_kill: up
d
ate
k
i
ll expressio
n
rat
h
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoola
e
g
e
pet_expr_is_a
f
fine: av
o
i
d
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr_f
i
lter: av
o
id us
i
ng acce
s
s re
l
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aeg
e
pet_expr_access_u
p
d
ate_
d
omain: avoid using acces
s
re
l
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
p
e
t_
e
xp
r
_access_ge
t
_must_acc
e
ss: avoid
using a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet
_
expr_ac
c
es
s
_g
e
t_id: avoid using
acces
s
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
expr
.
c: acc
e
ss_add_ref_id: avoid
u
sing ac
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: acces
s
_collect_params:
a
void using acce
s
s re
l
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
scop
.
c: implies_f
i
lter:
avoid u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
s
c
op
.
c:
acc
e
ss
_
extract_cont
e
xt:
a
void using
a
cc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
s
c
o
p
.
c: expr_extract_
c
ontext: avoid using acce
s
s relat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
s
c
o
p
.
c
:
ex
t
ract
o
u
t shar
e
d drop_argumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_ex
p
r_access_update_domain: minor c
l
ean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
f
u
rt
h
er gen
e
ralize
c
o
m
pute_to
_
inn
e
r to su
p
p
o
rt pet_sc
o
p
_
com
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
ge
g
eneralize compute_to_inner
t
o support pet_s
c
op_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
o
l
a
ege
scop
.
c: co
m
pute_to_inner: micro-optimiz
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaege
t
r
ee2scop
.
c: is_nested_allowed: d
o
not
a
llow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
v
en
Ver
d
oo
l
a
e
ge
P
e
tScan:
:
set_upp
e
r
_bounds: use d
e
clar
e
d size
o
f stat
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
scop
.
c: restric
t
_ski
p
:
u
p
date
d
oc
u
menta
t
ion to
change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c
:
scop
_
add_i
n
c: take into
a
ccount af
f
ine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
Verdoolaege
tree2scop
.
c: mov
e
up ap
p
l
y
_affine_co
n
tinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolae
g
e
tree2scop
.
c: sc
o
p
_
fro
m
_non
_
af
f
in
e
_whi
l
e: e
x
tract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoo
l
aege
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoolaege
u
pdate isl to
v
ersi
o
n 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update
L
LVM/clan
g
installat
i
on instr
u
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
o
olaege
int
e
rface/e
x
tract_interface
.
cc: expli
c
itly
i
n
clude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
upda
t
e
for change in
a
rguments of CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoo
l
aege
pet
.
cc:
add
s
p
ace between literal
a
n
d
identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdool
a
ege
update
i
sl for su
p
p
ort for recen
t
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
d
o
olaege
pet_stmt_
f
rom_p
e
t_tree: avoid free of un
i
niti
a
l
ized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n Ve
r
doolaege
scan
.
c
c
: fix ty
p
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_
s
cop_from_pet
_
stmt:
do not e
x
trac
t
context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoola
e
ge
PetScan::extract_argument: handle passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ve
n
V
e
rdoolaege
Makefile
.
am: a
d
d
dum
m
y C++ source file to pet_sc
o
p_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Ve
r
doolaege
h
a
ndle penc
i
l
indep
e
ndent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaeg
e
PetScan:
k
eep
t
rack of li
n
e number
of current Stm
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet
.
c
c
:
ext
r
a
c
t out PetASTCo
n
sumer::add_pragm
a
_
handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ver
d
oolaege
add e
n
capsulate_dynamic_cont
r
ol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
Verdoola
e
ge
pet_scop_from_pet_
t
ree: create stateme
n
t
s d
i
r
e
c
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
replace pe
t
_s
t
mt_from_pet_expr by pet_st
m
t_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
p
et_s
t
mt: use pet_tree to represent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
ola
e
ge
scop
.
c: extract out pet_stmt_
i
s_affine_as
s
u
me
a
n
d pet_s
t
mt
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
sc
o
p
.
c: stmt_collect_accesses: use
p
et_expr_forea
c
h_
a
ccess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
laege
scop
.
c: stmt_colle
c
t_params
:
us
e
pet_expr_foreach_access
_
ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
keep track of
i
n
d
entation
of
e
xtracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
upda
t
e
test ca
s
e
outp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
extrac
t
en
u
m constan
t
s as
t
heir integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
P
e
tScan:
:
e
x
t
r
act
_
int: sepa
r
ate
o
ut
extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract
_
unsigned: turn into a static f
u
nction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
dool
a
ege
s
ca
n
.
cc: cha
n
ge textual order of extract_unsigned an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
g
e
pet_check_code
.
c
:
use
p
et_ex
p
r_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
ex
p
ort pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
pet_context: no
longer keep track
of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
l
aege
pet_e
x
pr_extract_affine: no l
o
nger create new
p
arameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::extract_
s
c
o
p: popul
a
t
e
pet_
c
o
ntext with
pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdo
o
laege
s
c
an
.
c
c
: move up
s
tatic get_
a
rray_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verd
o
ola
e
ge
PetScan::get
_
array_s
i
z
e: cache resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoolae
g
e
PetScan::
s
et_upper_bou
n
ds: extract out Pet
S
c
a
n:
:
get
_
array_
s
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_is_equal: compare index exp
r
essions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
pet_e
x
pr
_
extract_affine: explo
i
t
d
omain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
add pet_co
n
t
ex
t
_
g
et_
g
ist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoo
l
aege
tree2scop
.
c
: scop_from_block
:
collect
a
ffine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
pet_scop_from_pet_tree: extract pet_
s
cop from th
e
r
o
ot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add func
t
ions for manipulatin
g
the
domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_s
c
op_restr
i
ct: also restrict vir
t
u
al array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_context
_
evaluate
_
exp
r
: first i
n
se
r
t domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_check
_
co
d
e: re
m
ove tr
a
cking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
ae
g
e
drop pet_scop_de
t
ec
t
_parameter_a
c
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
pet_context_e
v
aluate_expr
:
a
l
s
o
p
lug in affine e
x
pression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separate out p
e
t
_
c
ontext_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dro
p
pet_conte
x
t_ma
r
k_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
a
e
g
e
PetScan::extract_scop:
c
lear writes at ou
t
er level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaeg
e
P
e
t
Sc
a
n::extra
c
t
_
scop: locally construct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan
:
:extract_scop: al
s
o
a
d
d all pet_
a
r
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
ol
a
ege
pet_expr_filte
r
:
avoid intr
o
duct
i
o
n o
f
c
o
nstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
i
s_simple_bound: ha
n
dle higher d
i
mensio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c: vali
d
_for_each_iteration: handle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2s
c
op
.
c: a
d
d_implicatio
n
: handle
h
i
gher
d
im
e
nsi
o
na
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoo
l
aege
tre
e
2scop
.
c: map_t
o
_previous: ha
n
d
le high
e
r
d
imensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2sco
p
.
c: after:
handle hi
g
h
er
d
imensional d
o
mai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doola
e
ge
pet_extract_
n
ested_from_space:
add ext
r
a d
i
mensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
p
et_ext
r
act_nes
t
e
d_f
r
om_space: embed argum
e
nts i
n
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pet_exp
r
_
a
ccess_get_domain_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
pet_expr_resolve_
n
es
t
ed: allow
specification of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdo
o
laege
tree2s
c
op
.
c
:
handle
_
w
r
ites: sepa
r
ate ou
t
ha
n
dling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
tree2scop
.
c: handle_
w
ri
t
es:
r
emove red
u
ndant pet_contex
t
_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
t
ree2sc
o
p
.
c
:
extract_kill: allow sp
e
c
ific
a
tion of state
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
rdo
o
laege
pet_s
c
o
p
_add_boolean_arr
a
y: allow specifi
c
ation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
r
doolaege
pet
_
skip_info_*_extract*: pass along pet
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
eg
e
pet_scop con
s
tr
u
c
tors: a
l
low
s
pecification of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tr
e
e2scop
.
c: scop_fr
o
m_{break,c
o
ntinu
e
}: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_{bre
a
k,continue}: allow
spec
i
fication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
pet_creat
e
_t
e
st
_
index:
a
l
low specification of
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
r
d
oolaege
pet
_
stmt_from_pet
_
expr: allow s
p
ecific
a
t
ion of state
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_s
t
mt_from_pet_exp
r
: minor clean
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next