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
explicitly mark kill accesses
2014-06-20
Sven
V
e
r
doola
e
ge
explicitl
y
m
ark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
o
laege
pet_
e
x
pr: repres
e
nt read/wri
t
e flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoola
e
ge
pet_expr: d
o
cument the
read an
d
write fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
break up access relatio
n
s into may_r
e
ad/may_
w
rite/must_
w
r
i
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doola
e
ge
pe
t
_
ex
p
r_tag_access: avoid use of target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
postpone introduction of access rela
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
m
it
.
c
: e
m
i
t
_
ex
p
r: ex
t
ract out emit_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
d
r
op
pet_expr_acce
s
s_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdoola
e
ge
nest
.
c:
m
o
ve is_
s
ub_access
to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
t
ree2scop
.
c: ex
t
ract_
k
ill: update kill
e
xpression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr_i
s
_aff
i
ne: avoi
d
using acces
s
relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr
_
filt
e
r
:
avoid usin
g
access relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
pet_exp
r
_acce
s
s_update_dom
a
in: avoi
d
using
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pe
t
_
e
xpr_access_get_must_access: av
o
id
using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oola
e
ge
pet_expr_ac
c
es
s
_get
_
id: avoid using access re
l
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdool
a
ege
exp
r
.
c
:
access_add_ref_id: avoid u
s
i
n
g access rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
olaege
sco
p
.
c: access_collect
_
params
:
avoid using
access relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
sc
o
p
.
c:
impl
i
es_f
i
lter: avoid using a
c
cess re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
l
aege
scop
.
c: access_extract_c
o
ntext: avoid using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
scop
.
c: expr_
e
xtract
_
con
t
ext
:
avoid usi
n
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
r
doolaege
sco
p
.
c: extr
a
c
t
out shared
drop_argumen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olae
g
e
pe
t
_expr_ac
c
e
s
s_upd
a
te_domain: mino
r
c
lean
-
up
of e
x
pression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
ege
furt
h
er generalize
co
m
pute
_
to_inn
e
r to
suppo
r
t pe
t
_s
c
op_
c
omp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
general
i
ze compute_to_in
n
er to
s
uppor
t
pe
t
_s
c
op_compu
t
e
_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: comp
u
t
e_to
_
inner: micro-opt
i
mizatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
ven
V
erdoolaege
tree2sc
o
p
.
c: is
_
nested_allowed: do not allow
n
es
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
PetScan::set_upper_bounds: use declared size of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdo
o
l
a
ege
sco
p
.
c:
restrict_skip: update documentation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n Ver
d
oolaege
tree2sco
p
.
c: scop_add_inc: take into accou
n
t affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Ve
r
d
o
olaeg
e
tree2scop
.
c: mo
v
e
u
p
apply_
a
ffine_
c
ontinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
er
d
ool
a
ege
tre
e
2
s
cop
.
c: scop_f
r
om_non_affine_wh
i
l
e: extrac
t
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verdoolaege
upd
a
te isl to versi
o
n 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Ver
d
oo
l
ae
g
e
R
EADM
E
: up
d
ate
LLVM/clang
i
nstallatio
n
ins
t
ructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
lae
g
e
i
nterface/ex
t
ract_interfac
e
.
cc: explicitly
i
nc
l
ud
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaeg
e
update for
c
h
a
nge i
n
a
rgumen
t
s o
f
CompilerIns
t
ance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
d
oolaege
pet
.
c
c: add space between literal and ide
n
tifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
o
l
a
e
ge
update i
s
l
f
or
s
uppo
r
t
f
or recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
pet_s
t
mt_from_
p
et_tree: a
v
oid free of uninitiali
z
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
S
ven
Ve
r
doolaege
scan
.
cc
:
f
i
x typo in c
o
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet_
s
c
o
p_fr
o
m_pet_stm
t
: do not extract
c
ontext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
Pe
t
S
ca
n
::extract_argu
m
ent:
hand
l
e
p
assi
n
g
of enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdo
o
la
e
ge
M
ake
f
ile
.
am
:
add dummy
C++
sou
r
ce
fi
l
e to
p
et_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Ve
r
d
o
o
l
a
eg
e
ha
n
dle
p
e
n
cil independent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
P
e
tScan:
keep track o
f
l
i
ne nu
m
ber of c
u
rrent St
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc: extract out PetAS
T
Consu
m
er::add_pragma_h
a
n
dlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsulate_dynamic_
c
ontrol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_scop_
f
rom_pet_tree: create s
t
atements
d
ir
e
ctly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oola
e
ge
r
e
place pet_stm
t
_fr
o
m_pet_expr by
p
e
t
_
s
t
mt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
p
e
t_stmt: use pet_tree
t
o
represent
s
tatement bo
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoola
e
ge
scop
.
c: extra
c
t ou
t
pet_stmt_is_affi
n
e_
a
ss
u
m
e and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
sc
o
p
.
c: stmt_collect_
a
ccesses: use
pe
t
_expr_foreach_access
_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
aege
s
c
op
.
c: stmt
_
collect_params: u
s
e pe
t
_
e
xpr
_
foreach_access_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
g
e
keep trac
k
of indent
a
t
ion of extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
upd
a
te test ca
s
e
output
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract enum c
o
nstant
s
a
s
their i
n
teger va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
PetScan::extract
_
int:
s
e
parate o
u
t
e
xtraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
ae
g
e
P
etScan
:
:extract_u
n
sig
n
ed: turn into a
s
tat
i
c functi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: chan
g
e textua
l
order of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
ch
e
ck_co
d
e
.
c: use pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
export pet_expr_ex
t
rac
t
_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_context
:
no
longer keep
tr
a
ck of "unknown" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
pet_ex
p
r_extract_aff
i
n
e
: no long
e
r cr
e
a
t
e n
e
w para
m
eters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
P
e
tScan::extract_scop: populate pet_
c
ontex
t
wi
t
h pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oola
e
ge
sc
a
n
.
cc: move up static get_array_type
f
u
nction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetSc
a
n
:
:
get_arr
a
y_size: cache
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
P
e
tS
c
an::set_upper_
b
oun
d
s: ext
r
act out PetScan::ge
t
_arr
a
y_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
pet_
e
xpr_
i
s_equal: compar
e
index expressions
u
p to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laeg
e
pet_e
x
pr_ex
t
ract_af
f
ine: exploit dom
a
i
n
info
r
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
add pet_context_get_gist_do
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2
s
c
op
.
c:
scop_
f
rom_bl
o
ck: collect
a
ffine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Ver
d
oo
l
aege
p
et_
s
cop_from
_
pet_tree: extr
a
ct pe
t
_sc
o
p
from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
add functions for
m
anipula
t
ing the domain of a
p
et_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_scop_rest
r
i
c
t:
a
lso res
t
ri
c
t virtual array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
e
t_context_evaluate_expr: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
heck_code
:
remove tracki
n
g of ass
i
g
n
m
e
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
drop p
e
t_
s
c
o
p_de
t
e
ct_parameter_
a
c
c
e
s
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_contex
t
_evalua
t
e
_expr: also plug in
affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
s
e
parate o
u
t
p
e
t
_co
n
text_evaluate_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
drop pet_context_mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::e
x
trac
t
_
scop: c
l
ea
r
wr
i
tes at
outer lev
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
PetSc
a
n::ext
r
act_scop: locally c
o
n
s
truct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
a
ege
P
etScan
:
:
e
xtract_scop: also add all pet_arr
a
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
p
et_expr_
f
ilte
r
:
a
void introduction
o
f con
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree
2
scop
.
c: is_
s
imple_bound: handle hi
g
h
e
r
dimensi
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2s
c
op
.
c: valid_for_each_
i
teration: ha
n
d
l
e highe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2
s
cop
.
c: add_implica
t
ion: handle hi
g
he
r
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: map_to_previous:
handle higher d
i
mensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: after: ha
n
dle higher dimen
s
io
n
a
l
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
extract_nested
_
f
rom_space: add extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_ext
r
ac
t
_nested_from_space: embed a
r
guments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdool
a
ege
add pet_expr_acce
s
s_ge
t
_domain_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_r
e
solve_
n
ested: allow specificat
i
o
n
of
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
tree2scop
.
c: handle_writes: separate
o
ut h
a
ndling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c
:
handle_write
s
: remove redunda
n
t pet_context
_
mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
g
e
tree2scop
.
c: extract_k
i
l
l: allow speci
f
ic
a
tion
o
f statemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_add_boole
a
n_
a
rray: allow specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_skip_info_*_
e
xtract*: p
a
ss a
l
ong pe
t
_
c
on
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n V
e
r
d
oola
e
ge
pet
_
scop constru
c
to
r
s: al
l
ow spec
i
fication of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolae
g
e
tree2scop
.
c: scop_from
_
{break,contin
u
e}: m
i
nor clea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next