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
scan.cc: add_type: extract out add_field_types
2015-02-04
S
v
en V
e
rd
o
olaege
sc
a
n
.
c
c: add_t
y
pe: extra
c
t out
add_field_types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven
Verdoolaege
PetScan::sc
a
n_arrays: k
e
e
p
track of
h
an
d
l
e
d
typ
e
s
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoolaege
scan
.
h
: less_name: ge
n
eral
i
z
e to
any Ty
p
eDecl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoo
l
a
e
ge
PetScan
:
:scan_ar
r
a
ys: store record typ
e
s
into new Pe
t
Types
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven V
e
rdoolaeg
e
scan
.
c
c
:
fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
ven V
e
rdoolaege
t
r
ee
.
c:
fix ty
p
o
in
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven
Ve
r
d
o
olae
g
e
adjust configure test to change in argument
n
ame of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verd
o
ol
a
ege
a
d
jus
t
to change in
return type
o
f
g
e
t
TypeI
n
fo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
adjust to change in c
l
ang'
s
JobList
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdo
o
laege
update isl f
o
r s
u
pp
o
rt for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
P
etScan::e
x
tract:
i
m
p
r
o
v
e
e
r
ror mess
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
P
e
tS
c
an: allow
label on any s
t
atement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
pet_s
c
op_cmp: do not con
s
ider scops to be equal if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdo
o
laege
t
r
ee2scop
.
c
: scop_
f
r
o
m_affine_if: c
h
e
c
k c
o
nditio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-14
Sve
n
Verdoolaege
p
et_s
c
op_from_p
e
t_tree: av
o
id clashes with
e
x
plici
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
v
en V
e
rdoolaege
add sup
p
ort for __
p
en
c
il_ki
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sve
n
Ve
r
doola
e
ge
tree2scop
.
c: ext
r
act
o
ut scop_from_tree_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verd
o
ola
e
ge
PetS
c
an
:
:extract_arg
u
m
e
n
t: only perform writ
e
detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sven Verdoolaege
encapsulate loop containing contin
u
e
/
br
e
ak w
h
en enc
a
ps
u
latin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven
V
erdoolaege
p
e
t
_stmt
_
build_
a
st_exprs: ignore expression argume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sven Verdoo
l
aege
improve handl
i
n
g of functio
n
summaries with stru
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Ve
r
doolaege
pet 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
upd
a
te
isl to version 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
P
etScan::
s
e
t_upper_bounds: fix typo br
e
aking non-1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdoolaege
upda
t
e isl
f
or chang
e
in isl_ma
p
_subt
r
act
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
S
v
en Verdoo
l
aeg
e
update fo
r
change in
TargetOption
s
refcoun
t
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
upd
a
te for r
e
moval of llvm/ADT/OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
olaeg
e
interfac
e
/extract_interface
.
cc: avo
i
d use of S
o
urc
e
Manager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoolaege
update for removal of
D
efault
I
mageN
a
me Driver cons
t
ructo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
V
erdoolaege
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
pet_expr_ne
w
_
unary: take
type size
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
S
v
en Verdool
a
ege
pet_
s
cop_coll
e
ct_domains: properl
y
h
a
ndle statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
p
e
t_stmt_
p
rint_
b
ody:
do n
o
t
p
r
i
n
t
anyth
i
n
g
for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
f
ix quasi_affine test c
a
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
p
et_tree_d
u
mp: fix t
y
po in
outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n V
e
rdoolaege
scop
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: s
c
op_a
l
loc: plug memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
expr
.
c: ex
t
r
a
c
t_affine_mu
l
: abort on
e
r
r
o
r
rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verdoolaege
PetScan::set_up
p
er_bounds
:
handle
a
rrays dec
l
ared i
n
side
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sv
e
n
Verd
o
olaege
derive access relations of call expressions fro
m
funct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
add
p
et_expr_map_
c
all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
add pet_exp
r
_
a
cce
s
s_get_a
u
gmented_doma
i
n_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
oolaege
Pet
S
can::extract_expr(CallE
x
pr *): extract functi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
p
e
t_
e
x
p
r:
keep track
o
f function su
m
maries in ca
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr
:
put pet_expr_call field
in s
u
bstructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
intr
o
d
uce pet_functio
n
_summa
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_
e
xpr_a
c
cess_set_access
:
set read/write on n
o
n
-
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
break up ac
c
ess relat
i
ons into may_
r
ead/may_write/m
u
st_
w
rit
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdoolaege
a
dd pet_union_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
introduc
e
pe
t
_e
x
pr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaeg
e
dr
o
p pe
t
_exp
r
_from_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
expli
c
itly mark
k
il
l
accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoo
l
aege
p
et_expr:
r
e
p
re
s
ent read/writ
e
f
l
ags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
r
doolaege
pet_expr: d
o
cument the read a
n
d writ
e
f
i
elds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
b
re
a
k up acce
s
s rela
t
ions in
t
o may
_
re
a
d/may_wr
i
te/must_
w
r
i
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolae
g
e
pet_expr_tag_acce
s
s:
a
void
u
s
e of targe
t
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
pos
t
p
o
ne intro
d
uct
i
o
n
o
f
access r
e
lation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c:
emit_expr: extract ou
t
emit_access_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Ver
d
oola
e
ge
drop pe
t
_e
x
p
r
_acces
s
_get
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
n
est
.
c: move is_sub_ac
c
ess t
o
expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdool
a
ege
tree2
s
cop
.
c
:
extract_kill: update kill expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdo
o
laege
p
e
t_expr_is_affin
e
:
avoid usi
n
g
a
c
cess re
l
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
pet_expr_filter: avoid usi
n
g acces
s
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_access_update_d
o
main: avoid usin
g
access relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
pet_e
x
pr
_
access_ge
t
_mus
t
_
ac
c
es
s
: avoid using ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Ver
d
o
o
lae
g
e
pet_e
x
pr_acc
e
ss_
g
e
t
_i
d
:
a
v
oid us
i
ng acc
e
ss r
e
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
expr
.
c: access_add_ref_id:
a
void usin
g
access rela
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access
_
collect_para
m
s:
av
o
id using
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
s
cop
.
c: implies_filter: a
v
oid us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c:
acces
s
_extract_context: av
o
id
us
i
ng
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
scop
.
c
: expr_extra
c
t_conte
x
t: avoid using access relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
oolaege
scop
.
c:
e
x
tract out shared drop_
a
rguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr_acce
s
s_u
p
date_domain: mino
r
clean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rd
o
o
laege
further
generalize compute_to_inner to support pet_scop_co
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
gene
r
a
lize co
m
pute_to_inn
e
r to support pe
t
_scop_co
m
pu
t
e_
o
u
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: compute_to_
i
n
n
er
:
micro-opt
i
mi
z
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoo
l
aege
tr
e
e2scop
.
c
:
is_
n
e
s
ted_allow
e
d:
do not al
l
o
w
nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
PetS
c
an::set_upper_bounds
:
use decl
a
r
e
d s
i
ze of sta
t
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
sc
o
p
.
c
:
restrict_skip:
u
p
d
a
t
e docum
e
nta
t
ion to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
t
ree
2
s
cop
.
c: scop_
a
dd_inc: take into acco
u
nt affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n Verdo
o
l
a
ege
tree2scop
.
c: mo
v
e
up
a
pply_af
f
ine_c
o
ntinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
tree2scop
.
c
:
scop_
f
rom_non_affi
n
e_while: extr
a
ct
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
olaege
up
d
ate isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolae
g
e
README: update LLVM/clang
inst
a
l
lation instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
a
eg
e
interface
/
extract
_
i
nterfac
e
.
c
c
:
expli
c
itl
y
include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verd
o
ola
e
ge
upda
t
e fo
r
change
i
n
arg
u
ments
of C
o
mp
i
lerIn
s
tance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
p
et
.
cc: add space between literal and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
d
oolaege
up
d
ate
isl for support for rece
n
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
pet_stmt_from_pet_tree
:
avoid free o
f
unin
i
ti
a
lized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven
V
e
r
d
oolaege
scan
.
cc: fix typ
o
in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolaege
pet_sc
o
p_f
r
om_pet
_
st
m
t: do not
e
x
t
r
a
ct context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven V
e
rdoolaege
PetScan::extrac
t
_argument:
h
andle p
a
ssi
n
g
of en
t
ire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Ma
k
efile
.
am:
add dummy C++
s
ou
r
ce
file to pet_sco
p
_
c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
g
e
handle p
e
ncil independent p
r
agmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
PetS
c
an: keep
t
r
a
ck
o
f line number of cu
r
r
ent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet
.
c
c: ex
t
r
act out PetAS
T
Cons
u
mer::a
d
d_pragma_
h
andlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsulate_dynamic_co
n
trol
o
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet_scop_from_pet_tree: c
r
e
ate state
m
ents directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ve
r
d
o
olaege
replace
p
e
t
_stmt_from
_
pet_e
x
pr by pet_
s
tmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
