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 in interface
2014-06-20
Sven Verdo
o
laege
break u
p
access relations into may_read/may_writ
e
/
m
ust_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
pet_expr_ta
g
_acc
e
ss: avoid use of
t
a
rg
e
t space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
postpone intr
o
duction of a
c
cess
r
e
lations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emi
t
.
c: em
i
t
_
expr: extract out emit_ac
c
ess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdool
a
ege
drop p
e
t_ex
p
r
_acc
e
ss_get_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolae
g
e
n
e
s
t
.
c: move
is_sub_access t
o
expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
tree2scop
.
c: ext
r
act_kil
l
: upda
t
e kil
l
express
i
on rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
p
e
t_e
x
pr_is_
a
ffine: av
o
id using
access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
p
et_expr_filter:
avoid using access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdo
o
l
a
ege
pet_expr
_
access_updat
e
_
d
oma
i
n:
avoid usin
g
access relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr
_
access_get_must_acce
s
s
: avoid using acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_ac
c
ess_
g
et_id: avoid using acc
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
expr
.
c: access
_
add_ref_id:
a
void using a
c
cess r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c: access_col
l
ec
t
_pa
r
ams: avoid using ac
c
e
ss
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c
:
implies
_
filter: avoid
using acce
s
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdoolaege
s
c
op
.
c: a
c
ces
s
_extract_con
t
e
xt:
avoi
d
u
s
ing ac
c
es
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaege
scop
.
c: expr_ex
t
ract
_
context: avoid using access rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: extract out shared drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr_
a
ccess_update_domain: mi
n
or clean-up of e
x
p
res
s
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
further gen
e
ral
i
ze
c
ompute_t
o
_inne
r
to support pet_sc
o
p_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
g
e
neralize compute_to_
i
nn
e
r to support pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
s
c
o
p
.
c: comput
e
_t
o
_in
n
er:
mi
c
ro-optimizat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven V
e
rdoolaege
t
r
ee2
s
cop
.
c
:
i
s_nested_allowed: do not allow nest
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sv
e
n
Verdoo
l
aege
P
e
tScan
:
:set_upper_b
o
unds: use declar
e
d size of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
scop
.
c
:
r
est
r
ict_skip: up
d
ate
d
oc
u
m
e
n
tation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c
:
scop_add_inc: take i
n
t
o
a
c
count affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
tre
e
2
s
cop
.
c: mov
e
up a
p
ply_affine_
c
ontinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
tree2scop
.
c: scop_from_non_af
f
ine_while: e
x
trac
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
Sven Verdoolaege
upda
t
e isl to
v
er
s
ion
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Verdoolaege
R
E
ADME: update
LLV
M
/cla
n
g inst
a
l
la
t
ion ins
t
ructi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en V
e
r
d
o
olaeg
e
interface/extract_int
e
r
face
.
cc:
explicitly incl
u
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
update fo
r
change in ar
g
um
e
n
ts of CompilerInst
a
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaege
pet
.
cc: add
space between
l
i
t
e
ral and identif
i
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Ver
d
oolaege
update isl fo
r
supp
o
r
t for rece
n
t c
l
ang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ver
d
oola
e
g
e
pet_stmt_from_pet_tree: avoi
d
f
ree of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n
Verdoolaege
scan
.
cc
:
fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en
V
erdool
a
ege
p
et_scop_from_pet
_
stmt: do not ex
t
ract c
o
n
t
ext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
PetScan::
e
xtract_a
r
gument: hand
l
e
passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaege
Makefi
l
e
.
am: a
d
d
dummy C++
source
f
ile to pet_sc
o
p_c
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle pencil
i
ndepende
n
t prag
m
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
er
d
oolaege
P
e
t
S
can: ke
e
p track of line numbe
r
of current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc: extract out Pe
t
ASTConsumer
:
:add_pra
g
ma_handl
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
aeg
e
add encapsula
t
e_dynamic_control op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdo
o
laege
p
et
_
scop_from_pet_tree: create statements direct
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
repla
c
e pet_s
t
mt_fro
m
_
p
et_expr by pe
t
_stmt_from_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet_stmt:
use pet_tree to
re
p
resent stat
e
m
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
erdoolaege
scop
.
c: ext
r
a
c
t out
pet_stmt_is
_
affine
_
as
s
ume and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
scop
.
c: stmt_collect_accesses: use pet_expr_forea
c
h
_
access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
l
a
ege
sco
p
.
c: stmt_col
l
ect_
p
ara
m
s: u
s
e pet_expr_foreach_access
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolae
g
e
k
eep
track of indentation of extracted co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
update test case o
u
tputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
extract enum constan
t
s as their i
n
teger
v
alue
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaeg
e
PetScan::e
x
tr
a
ct_int: separate out
e
xtractio
n
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoolaege
P
e
t
Scan::extract_unsigned: tu
r
n into a st
a
t
i
c f
u
nction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
oola
e
g
e
scan
.
c
c: change textual order of extract_unsign
e
d and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rd
o
o
l
a
ege
pet_check_code
.
c: use pet_expr_e
x
tract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
dool
a
eg
e
export pet_expr_extr
a
ct_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
g
e
p
et_context: no longer
k
eep track of "unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_ext
r
act_affine: no longe
r
crea
t
e new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
PetScan:
:
extr
a
ct_sco
p
:
populate pet_c
o
n
t
ext w
i
th p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
scan
.
cc: mo
v
e up static get_array_type
func
t
ion in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetScan::get_array_size:
c
ach
e
r
es
u
lts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pe
t
Scan::s
e
t_
u
pper_bound
s
: extract out P
e
tScan::get_a
r
ray_si
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_is_equal: compare in
d
ex expre
s
sions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
pet_expr_ex
t
r
a
ct_af
f
ine: explo
i
t domai
n
infor
m
at
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
a
d
d pe
t
_cont
e
xt_get_gi
s
t_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tre
e
2scop
.
c: scop_from_
b
lock: collect affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
pe
t
_
scop_f
r
om_pet_tree: extract pe
t
_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add fu
n
ctions for manipula
t
in
g
the domain o
f
a pet
_
con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
e
g
e
pet_scop_restrict: also
restrict virtual
a
r
r
ay extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_contex
t
_evaluate_expr:
f
irst i
n
sert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet
_
ch
e
ck_
c
ode: remov
e
trackin
g
of
assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
p
et_sc
o
p_det
e
ct_param
e
ter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_context_evaluate_
e
xp
r
: also plug in affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
sepa
r
at
e
out p
e
t_
c
ontext_evaluate_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
dro
p
p
e
t_context_mark_
a
ssign
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaeg
e
PetScan::extr
a
ct_scop: clear writes at outer l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan:
:
extract_sco
p
: lo
c
ally construct
p
e
t_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop: also add
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_ex
p
r_filter: avoid
i
n
troducti
o
n of
con
s
t
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
tree
2
s
c
op
.
c: i
s
_
s
imple_bound
:
handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c:
valid_for_e
a
ch
_
iter
a
tion: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
t
ree2scop
.
c: add_im
p
li
c
ation: h
a
nd
l
e higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: ma
p
_to_previous: han
d
le
h
ighe
r
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
t
r
ee2scop
.
c: after: handle high
e
r
di
m
ensi
o
n
al
d
om
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
pet_extract_nested_
f
rom
_
space: a
d
d e
x
tra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_extract_nested_from
_
sp
a
c
e
:
e
m
be
d
a
r
guments
i
n given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
ege
add pet_
e
xpr_access
_
get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_expr_resolve_nested: a
l
low spe
c
ificatio
n
of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
t
r
ee2s
c
op
.
c: hand
l
e
_
w
rites:
s
eparate out handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
tree2
s
c
o
p
.
c: hand
l
e_writes: rem
o
v
e re
d
unda
n
t p
e
t_
c
onte
x
t_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c: extr
a
ct_kill: allow spec
i
ficat
i
on of stat
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet
_
scop_add_boo
l
ean_array: allow
specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_s
k
i
p_
i
nfo
_
*_extract*: pass along
pet
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_scop constru
c
tors: allow speci
f
icat
i
o
n
o
f d
o
ma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c:
scop_from_{break,cont
i
n
u
e}:
mino
r
c
l
ea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
g
e
t
r
ee2scop
.
c:
scop_from
_
{bre
a
k
,contin
u
e}: allow s
p
eci
f
ic
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pe
t
_create_te
s
t_
i
ndex
:
allow
s
p
e
c
ific
a
tion of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pet_
s
t
m
t_from_pet_expr: allow speci
f
ication of s
t
atement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next