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: document the read and write fields
2014-06-20
Sven Ve
r
dool
a
e
ge
pet_expr: docu
m
ent the rea
d
and wr
i
te fie
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolae
g
e
break
u
p access rela
t
ions into may_re
a
d/may_wr
i
te/must_
w
ri
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
p
e
t_ex
p
r_
t
ag_access: avo
i
d use of target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
postpone introd
u
ction of access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
emit
.
c: emit_expr:
extract out e
m
it_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
d
ro
p
p
e
t
_expr_access_g
e
t_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
olaege
nest
.
c: move is_sub_acc
e
s
s
t
o
expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaege
t
r
ee2scop
.
c: extract_kill: up
d
ate
kill exp
r
ess
i
on rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is_a
f
fine:
a
v
o
id using
a
ccess rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaeg
e
pe
t
_expr_filter: av
o
id
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
laege
pet_expr_access_update
_
domain
:
avoid using acce
s
s re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
V
e
rdoolaege
pet_expr_acces
s
_
g
et_must_access: avoid using acce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_acce
s
s_get_id: avoid usi
n
g acc
e
ss rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
ex
p
r
.
c: acces
s
_add_ref_id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
op
.
c: access_col
l
ect_params:
a
v
oid
u
s
ing access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
o
olaege
s
c
op
.
c: imp
l
ies_f
i
lter: avoi
d
using access
r
e
l
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
o
l
ae
g
e
scop
.
c:
a
c
ces
s
_e
x
tract_co
n
text: avoid us
i
ng access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c:
e
xpr_ext
r
a
c
t_contex
t
: avoi
d
using access r
e
lat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c
:
extract out
s
hared drop
_
ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr
_
acc
e
ss
_
update_
d
omai
n
: mi
n
or cle
a
n-up of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
fur
t
her gen
e
r
aliz
e
compute_to
_
inn
e
r to support pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdo
o
laege
g
e
nera
l
ize
compute_t
o
_inner
t
o support pet_scop_c
o
mpute_out
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laeg
e
scop
.
c: compu
t
e_to_inn
e
r: micro-optimiz
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
V
e
r
d
oolae
g
e
tre
e
2sco
p
.
c
:
i
s
_n
e
sted
_
allowed: do not all
o
w
n
esting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
Pet
S
can::set_upper
_
bounds:
use
d
eclared
s
ize of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
scop
.
c: restri
c
t_s
k
ip: update documentation to
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
ool
a
ege
tree2sc
o
p
.
c: sc
o
p_add_inc: t
a
k
e
in
t
o account
affin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
tree2
s
cop
.
c: move up apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
tree
2
scop
.
c:
scop_from_non_
a
ffi
n
e_wh
i
le: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaeg
e
p
e
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdoolaege
update isl
t
o version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
v
e
n
V
e
rdo
o
laege
READ
M
E: update
LLVM/clang installation
i
nstructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ve
n
Ve
r
doolaege
interface/ex
t
ract_inter
f
ace
.
cc: e
x
plic
i
tl
y
inclu
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven
V
erdoolaege
update for change in argu
m
e
n
t
s
of Compi
l
erInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verd
o
olaege
p
et
.
cc: add space between litera
l
and ide
n
t
i
fier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
l
ae
g
e
u
pdate
i
sl for su
p
port for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_stmt_f
r
om_pe
t
_tree: a
v
oid free of un
i
n
itialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n Verdo
o
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 Verd
o
olaege
pet_scop_from_
p
et_stmt: do not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
PetScan::extract_arg
u
ment: h
a
ndle
p
assing of ent
i
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
Makefile
.
am: add
d
um
m
y
C++
source file to
p
e
t_sco
p
_cm
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Ve
r
d
oolaege
handle pencil inde
p
ende
n
t
pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
PetScan: keep trac
k
of lin
e
numb
e
r of
c
urrent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet
.
cc: extract out Pe
t
ASTConsumer
:
:
add_pragma_han
d
lers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add e
n
capsulate_dy
n
a
mic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pet_scop_from
_
pet_tree
:
create statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
Verdool
a
ege
re
p
lace pet_stm
t
_fr
o
m_pet_expr
b
y
pet_
s
tmt_fro
m
_
p
e
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolaeg
e
pet_stm
t
: use pet_tree to r
e
presen
t
stateme
n
t body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
scop
.
c
:
extrac
t
out p
e
t_s
t
mt_is_affine_assume
a
n
d
p
et_stm
t
_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_accesses
:
u
s
e
p
e
t_e
x
pr_forea
c
h_ac
c
ess_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ve
r
doolaege
s
cop
.
c: s
t
mt
_
c
o
lle
c
t_p
a
rams: us
e
pet_ex
p
r_
f
oreach
_
acc
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
dool
a
ege
k
eep track of
i
n
d
e
n
tat
i
on of
extra
c
ted cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update t
e
s
t case output
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
extrac
t
enum con
s
tants as their integer va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n
:
:ext
r
act_i
n
t:
separate
out extraction
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
Pet
S
can::extract_unsigned: turn i
n
to a st
a
tic
f
u
nction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
scan
.
cc
:
change
textual orde
r
of extract_u
n
sig
n
ed and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
check_code
.
c
: use pet_ex
p
r_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
export
p
et_expr_
e
xtract_
a
ffin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
p
e
t_context: n
o
longer keep track of
"
unkn
o
wn" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_expr_extract_
a
ffine: no longer create new
parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetScan::
e
x
t
r
a
ct_scop: populate pet_context with
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
sc
a
n
.
c
c
:
move up sta
t
i
c
g
et_array_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rd
o
olaege
P
etSca
n
:
:
get
_
a
rray_size:
cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
rdoola
e
ge
PetScan::
s
et_upper_bounds: extr
a
c
t
o
ut PetScan::g
e
t_arr
a
y_s
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
pet_expr_is_equ
a
l:
c
ompare index
expressio
n
s up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
pet_expr_extrac
t
_affine: exploit do
m
ain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add pet_co
n
text_g
e
t
_gist_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaeg
e
t
r
ee2sc
o
p
.
c:
scop
_
from_block: col
l
ect affine co
n
tinu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
p
et
_
scop_from_pet_t
r
ee: extract pet_sco
p
from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
add
f
unction
s
f
o
r
m
anipulating the d
o
main of a
p
e
t_contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doola
e
ge
pet_scop_re
s
t
r
i
ct: a
l
s
o
restric
t
virtual
a
r
r
ay
extent
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
p
et_context_evaluate_expr:
fir
s
t
i
n
s
e
rt doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_check
_
code: remove trac
k
ing of ass
i
gnment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
d
r
op pet_scop_de
t
ect
_
par
a
meter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolae
g
e
pet_context_evaluate_expr: also plug in
affine
e
xpres
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
eparate out pet_context_evaluate_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
g
e
drop pet
_
context_mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pe
t
Sc
a
n::extract_sco
p
:
c
l
ear writes
a
t outer
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan::extract_
s
cop: locally c
o
nstruct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
PetScan::extr
a
ct_scop: also add
a
ll pet_arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
p
e
t_expr_filter: avoid intro
d
u
c
tion of
c
onstr
a
in
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tre
e
2
sc
o
p
.
c: is_simple
_
bound:
handle higher dimensi
o
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c
:
valid_for_
e
a
c
h
_iteration
:
hand
l
e higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c:
add_implicatio
n
: handl
e
higher
d
im
e
ns
i
ona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c: map_to_pr
e
vio
u
s:
h
andle hi
g
her dimension
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
tree
2
scop
.
c: afte
r
: h
a
ndle higher d
i
me
n
sional domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
pe
t
_e
x
tract_nested_from
_
space: add ex
t
ra dime
n
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoo
l
aege
pe
t
_extra
c
t_
n
e
sted_from_space: embed argument
s
in giv
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
a
d
d pet_expr_acc
e
ss_get_dom
a
i
n
_
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
p
r
_
resolve_n
e
s
ted: allo
w
s
pecification
o
f
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
ree2scop
.
c:
handle_write
s
:
se
p
arate out handli
n
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
tre
e
2scop
.
c: h
a
n
d
le_writes: remove r
e
dundant pet_
c
o
ntext_ma
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
tree2scop
.
c: extra
c
t
_
k
i
l
l: allow specificat
i
o
n
of statem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
g
e
pet_scop
_
add_boolean_array: allow specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_skip
_
info_*_extract*:
p
ass along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
scop constru
c
t
o
rs:
allo
w
specifica
t
ion of domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tre
e
2sc
o
p
.
c: s
c
o
p
_f
r
o
m
_{break,con
t
inue}:
m
i
n
o
r clean-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c
:
scop_from_{break,
c
ontinue}: al
l
ow sp
e
cifi
c
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
pet_create_test_index: a
l
l
o
w
s
p
ecification of dom
a
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next