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: represent read/write flags as bits
2014-06-20
Sven
Verdoola
e
ge
pet_expr
:
represent read/
w
r
ite flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaeg
e
pet_expr: d
o
cum
e
n
t
the r
e
ad and write f
i
elds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
break
u
p access relations into may_read/may_
w
rit
e
/must
_
w
r
ite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
pet
_
expr_tag_access: avoi
d
use of target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
postpone introduction of access rel
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c:
e
mit_expr: extra
c
t out
e
mit_acce
s
s_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
dr
o
p pet_expr_access_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c:
m
ove is_sub_a
c
c
e
ss to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
tre
e
2sc
o
p
.
c
:
extrac
t
_kill: update kill expression
r
ather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr_is
_
affine: avoid
u
s
ing access
r
ela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
p
et_expr
_
filter: avoid u
s
ing
ac
c
ess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaeg
e
p
e
t_expr_
a
c
ces
s
_update_do
m
a
i
n: avoid using access r
e
lat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdool
a
ege
pet_ex
p
r_acce
s
s_
g
et_m
u
st_acce
s
s: a
v
o
i
d usi
n
g
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr_acce
s
s_
g
et_id: avoid using access rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
expr
.
c: acces
s
_add_
r
ef_i
d
:
a
void using access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: access_co
l
lec
t
_p
a
rams: avoid using acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c
: implies_filter: a
v
o
i
d using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Ve
r
d
ool
a
ege
scop
.
c: ac
c
es
s
_extra
c
t_con
t
e
x
t
:
a
v
oi
d
using
a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: expr_e
x
tra
c
t_c
o
ntext: a
v
o
id using access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
s
c
op
.
c: extrac
t
out sha
r
ed
drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_ex
p
r_ac
c
ess_upd
a
te_d
o
main
:
minor clean-up of
e
x
pr
e
ss
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
fu
r
ther gene
r
aliz
e
comput
e
_to_inner
to support pet_
s
cop_com
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
eg
e
genera
l
ize compu
t
e
_to_inner to suppo
r
t pet_scop_com
p
ute_
o
ute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoola
e
ge
s
cop
.
c
:
c
o
m
p
ute_to_inne
r
:
micro-optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n
Ver
d
ool
a
ege
tree2s
c
op
.
c: is_nested_allowed: do not
a
llo
w
n
es
t
in
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
d
o
olaege
Pe
t
Scan
:
:set
_
upper_bounds
:
use d
e
c
l
ared size of s
t
atic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
scop
.
c:
r
estrict_skip: update doc
u
m
entation to chang
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c: sc
o
p_add_inc: take i
n
to account affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
l
aege
tree2scop
.
c
:
move up apply_af
f
ine_
c
o
nti
n
ue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven V
e
rdo
o
laege
tree2s
c
op
.
c
:
scop_from
_
non_a
f
fine_while
:
e
x
tra
c
t out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laeg
e
pet
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdo
o
laege
up
d
ate
i
sl to versi
o
n
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoo
l
aege
README: update LLVM/clang instal
l
ation instru
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
inte
r
f
ac
e
/extract_inte
r
face
.
cc: exp
l
icit
l
y i
n
clude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaeg
e
update for ch
a
nge in arg
u
ments of
C
ompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdool
a
ege
pet
.
cc:
add
s
p
ace between
lit
e
ral and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
update isl
for s
u
pport for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoola
e
ge
p
et_stmt
_
from_pe
t
_tree: avoi
d
free of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdool
a
ege
scan
.
cc: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet
_
scop_fro
m
_
p
et_stmt: do
n
ot
extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en
V
erdoolaege
PetScan::extract
_
a
r
gument: handle pa
s
sing of en
t
i
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
er
d
o
o
laege
Mak
e
file
.
am
:
a
dd dumm
y
C++ sourc
e
f
ile
to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle
penci
l
i
ndependent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
P
e
tScan
:
ke
e
p track of line number of
c
urrent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
erdool
a
ege
pet
.
c
c: extr
a
ct out PetASTConsumer::ad
d
_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
add encapsulate_dyn
a
mic_co
n
trol o
p
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet_sco
p
_
fro
m
_pet
_
tr
e
e: create statements
d
i
r
e
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laeg
e
replace pet_s
t
mt_from_pet
_
exp
r
by pet_st
m
t_from
_
p
e
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
pet_stmt: use pet_tree
t
o repr
e
sent statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
c
o
p
.
c: ext
r
a
c
t out p
e
t_stmt_is_affine_assume a
n
d
pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_collect_acc
e
sses: use pe
t
_expr
_
foreach
_
acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolae
g
e
scop
.
c:
s
tmt_collect_par
a
m
s: use pet_expr_fore
a
ch_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
k
e
ep track o
f
indentatio
n
of ext
r
acted
cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
Verdoolaege
update test
c
as
e
o
u
tputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract enum constants as their integer
v
al
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
PetS
c
a
n::extract_i
n
t: separate
out
e
x
tractio
n
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
P
etScan::extr
a
ct_unsigned:
t
u
rn into a
s
tatic
f
unction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
scan
.
c
c: ch
a
nge textual or
d
er of ext
r
act_unsi
g
n
ed
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_ch
e
ck_code
.
c: use pet_exp
r
_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
olaege
e
x
port pet_ex
p
r_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pet_co
n
text: no longer keep track of "unknow
n
"
val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolae
g
e
p
et_expr_extract_a
f
fi
n
e:
no longer create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::ext
r
act_s
c
op: populate
pet_context with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
a
ege
scan
.
cc:
m
ove up static get_arr
a
y_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
o
la
e
ge
PetSc
a
n::g
e
t_array_size: cache resu
l
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaeg
e
PetScan::set_up
p
er_bounds:
e
xtract out PetScan::get_a
r
r
a
y
_
s
i
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
pet_expr_is_equa
l
: compare inde
x
expressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_ex
p
r
_
extract_affi
n
e: exploit domain informati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
ad
d
pet_context_get_g
i
st_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tre
e
2sco
p
.
c: scop_from_block: col
l
ect a
f
f
ine continu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_
s
c
op_fr
o
m_pet
_
tr
e
e
:
ex
t
ract pet_scop from the
r
oo
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
add fu
n
ct
i
ons for manipulating the d
o
ma
i
n of
a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oola
e
ge
pe
t
_scop_restrict: also restri
c
t virtu
a
l
a
r
r
ay extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoo
l
aege
pet_conte
x
t_evaluat
e
_expr: first insert d
o
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
pet
_
check_code:
r
emove trackin
g
of assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
drop pet_s
c
o
p
_dete
c
t_pa
r
ameter_acces
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
a
ege
pet_context_evalua
t
e
_expr: also
p
lug in
aff
i
ne expressi
o
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
se
p
arate out pet_context_evaluat
e
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
dool
a
ege
drop pet_c
o
ntext_mark_a
s
signed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
Pe
t
Scan:
:
extract_scop: clea
r
wri
t
es at outer
lev
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan:
:
extr
a
ct_scop: locally construct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extrac
t
_scop: also ad
d
all
pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t
_expr_
f
ilter: avoid i
n
troduction of con
s
tra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
e
e
2scop
.
c: is_s
i
mple_bou
n
d
:
handle higher dime
n
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c: valid_for
_
each_itera
t
i
o
n
:
handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c: add_
i
mpli
c
a
t
ion: handle
h
igher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
tree2s
c
op
.
c
:
m
ap_to
_
p
r
evious: handle
hi
g
her dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2
s
cop
.
c: after
:
ha
n
dle higher dimensional domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet_extra
c
t_n
e
s
t
ed_from_space: add extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
p
et_extrac
t
_ne
s
ted_from_spac
e
: e
m
bed ar
g
ume
n
ts in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
add pet_expr_acces
s
_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
l
a
ege
p
e
t
_expr_
r
esolve_
n
ested: allow sp
e
cification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
o
laege
t
r
ee
2
sc
o
p
.
c: handle_write
s
: separ
a
te
ou
t
ha
n
dling
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: ha
n
dle_writes
:
remo
v
e r
e
dundan
t
pet_
c
ontext_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
ae
g
e
tree2s
c
op
.
c: extract_ki
l
l: a
l
low specific
a
tion of s
t
atemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_scop_a
d
d_b
o
olean_array
:
allow sp
e
ci
f
ication of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
pet_skip
_
info_*_
e
x
t
ract*: pass along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
cop
c
onstr
u
ctors:
a
llo
w
specification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
ae
g
e
tree2scop
.
c: s
c
op_fro
m
_{break,con
t
inue
}
: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
t
r
ee2scop
.
c: scop_f
r
om_{break,co
n
tinue}: allow specif
i
c
atio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next