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.cc: add space between literal and identifier
2014-04-11
Sve
n
Verdoolaege
pet
.
cc: add s
p
ace between literal
and ident
i
fier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
upda
t
e isl
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoo
l
aege
p
e
t_st
m
t
_
from
_
pet_tre
e
: avoid free of uninitializ
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sve
n
Verdo
o
laege
scan
.
cc: fix typ
o
in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ve
r
do
o
l
a
ege
pet_sco
p
_f
r
om_pet_stmt: do not ext
r
act context f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetS
c
an::e
x
tract_a
r
gume
n
t: ha
n
d
le pas
s
i
ng of e
n
tir
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
ae
g
e
Makefile
.
am:
a
dd dummy C+
+
source file to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdo
o
l
a
e
ge
handle
pe
n
cil i
n
dependent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
Pe
t
Scan:
keep tr
a
ck of
l
ine number of
current
S
tmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc: extract out PetASTConsu
m
e
r::
a
dd_p
r
agma_handle
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
add encapsulate_dynamic_con
t
rol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
o
o
l
a
ege
pet_sc
o
p_fro
m
_pet_tree: create statements direct
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolae
g
e
replace pet
_
stmt_fro
m
_
p
et_e
x
pr by pet_stmt_from_pe
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verd
o
ol
a
ege
pe
t
_stmt:
u
s
e pe
t
_
tree
to represent statement b
o
dy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
cop
.
c
:
ex
t
r
a
ct out p
e
t_stmt_is_affine_assume and pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdo
o
laege
sc
o
p
.
c: stmt
_
collect_ac
c
esses
:
use pet_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
scop
.
c
:
s
tmt_c
o
llect_params: use p
e
t_expr_foreach_access_e
x
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep tra
c
k
of indentation of extracted
c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update te
s
t case ou
t
put
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
a
e
ge
extra
c
t e
n
u
m
consta
n
ts
as their integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetSca
n
::e
x
t
r
act_int: separ
a
te out extr
a
c
t
i
o
n fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaeg
e
PetScan::extract_un
s
ign
e
d:
t
urn
int
o
a
s
tati
c
function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
s
ca
n
.
cc:
c
h
an
g
e textual order of extract_unsigned an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_check_code
.
c: u
s
e p
e
t
_exp
r
_extract
_
affi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdool
a
ege
expor
t
pet_expr_extract_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
pet_
c
on
t
ext: no
longer keep tra
c
k of "unknown"
v
al
u
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pe
t
_exp
r
_ext
r
a
ct_af
f
ine: no longer create n
e
w para
m
eters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::e
x
tract_
s
cop
:
pop
u
late
p
et_cont
e
x
t w
i
th parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
scan
.
cc:
move up static get_a
r
ray_
t
yp
e
f
unction
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
P
et
S
can::g
e
t
_
array_size: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::set_upper_bounds: ex
t
ract out PetScan::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_expr_is_equal: com
p
are index
e
xpressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_expr_e
x
tract_affin
e
: exploit domain
i
n
fo
r
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add
p
e
t_context_
g
et_
g
is
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
tree2sc
o
p
.
c: scop
_
from_block: coll
e
ct a
f
fi
n
e
continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
pet_scop_from_pet_tree: extra
c
t pet_scop fr
o
m
the
r
oot
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
add functions
for manipulating th
e
do
m
ain of a pet_co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_scop_restrict
:
also restrict vi
r
tual arr
a
y extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
pet_con
t
ext_evaluate_e
x
pr: firs
t
insert d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolae
g
e
pe
t
_ch
e
c
k_code:
remove t
r
a
cking
of a
s
signmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
drop pet_scop_d
e
tect_
p
arameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olae
g
e
pet
_
context_ev
a
luate_e
x
pr: a
l
so plug in affine expres
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
separate out pe
t
_conte
x
t_evalua
t
e_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
er
d
o
o
laege
d
r
o
p p
e
t_context_mar
k
_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop:
cle
a
r
writes at outer
l
evel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
P
e
tScan
:
:extra
c
t_scop: l
o
c
ally
c
onstruc
t
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
Pet
S
can
:
:extrac
t
_scop:
a
l
s
o
a
dd all pet
_
arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet
_
expr_filter: avoid introduction of con
s
tra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
r
e
e2
s
cop
.
c:
i
s_si
m
pl
e
_bound: hand
l
e higher dimen
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
tree2s
c
op
.
c
: valid_for
_
e
ach_
i
teration: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
tr
e
e2sco
p
.
c:
a
dd
_
im
p
lication
:
handle
h
ig
h
er dime
n
sional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c: map_to_previous:
h
andle
h
igher
d
i
m
ensi
o
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c:
after: handle highe
r
dimensi
o
nal
d
om
a
i
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
pet_extract_n
e
sted
_
from_sp
a
ce: a
d
d e
x
tra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
dool
a
ege
p
e
t_extract_nest
e
d_from_space: emb
e
d argume
n
ts in
g
iven
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
add pet_e
x
pr
_
access_get_doma
i
n_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_
e
xpr_resolve_nest
e
d
:
allow spec
i
fication of doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
t
re
e
2scop
.
c: handle_
w
rites: separate out ha
n
dling
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree
2
scop
.
c: handl
e
_
writes:
remo
v
e redund
a
nt
p
et
_
c
o
n
text_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoolaege
tree2scop
.
c:
extract_ki
l
l:
a
llow specification of stat
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
e
t
_
scop_
a
dd_boolea
n
_array: allow specifica
t
ion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_ski
p
_info_*_extra
c
t
*: pass along pet_co
n
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop constructors: allo
w
specifica
t
ion of domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
t
r
ee2s
c
op
.
c: sco
p
_from_{break,continue}:
min
o
r cle
a
n-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rd
o
olaege
tree2scop
.
c: scop
_
f
rom_{br
e
ak,continue}:
a
llow speci
f
icatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_create_te
s
t_index: allow spec
i
fication of
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_stmt_from_pet_expr: allow
s
pecification of stat
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_fro
m
_pet_expr: minor c
l
ean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_
s
tmt_from_pet_expr
:
r
e
n
ame "dim"
v
ariable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
p
e
t_context:
k
eep track o
f
domain
s
et rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
d
o
olaege
add pet_nested_remove_from_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdo
o
laege
t
r
ee2scop
.
c: scop
_
fro
m
_no
n
_
a
ffine_if: drop prea
l
location
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
o
olaeg
e
tree2scop
.
c:
sc
o
p_fr
o
m_non_aff
i
ne_if: delay co
n
s
t
ructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
tree2scop
.
c: s
c
o
p
_from_affine_for: del
a
y
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: sc
o
p_from
_
non_affine_while: dr
o
p
p
reallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2s
c
op
.
c: scop_f
r
om_n
o
n_affine_while: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
tr
e
e
2scop
.
c: scop_from_infinite_lo
o
p:
d
ela
y
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
t
ree
2
scop
.
c: infi
n
ite_do
m
ain: dela
y
intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: ex
t
ract out
s
hared
a
ppl
y
_affine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tre
e
2scop
.
c: scop_from_af
f
ine_for: remove prealloc
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c: scop_from
_
a
f
fine_for: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laeg
e
tree
2
scop
.
c: scop_from_affine_for
:
introdu
c
e is_no
n
_
a
ffine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c:
scop_
f
rom_affine_for: delay
intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
add
p
et_scop_i
n
tersect_d
o
main_
p
refix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oo
l
a
e
g
e
add p
e
t
_
prefix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
s
cop
.
c: extent_is_virtual_array: che
c
k for
membe
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_array_embed: sep
a
r
a
te out
e
xtent_is_virtual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
lae
g
e
d
rop pet_s
c
op_write
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
tre
e
2scop
.
c: is_
n
ested_allow
e
d:
t
ake
t
ree i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_skip_info_*_extract*: pass struct p
e
t_stat
e
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
m
ove
extrac
t
ion of
p
e
t_scop from
p
et_tree to sep
a
rat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
c
o
nstruct pet_sc
o
p from i
n
termediat
e
p
e
t_tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
a
dd pet_context_cle
a
r_wri
t
e
s_i
n
_{e
x
p
r,
t
ree
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdoolaege
introduc
e
pet_tree objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ola
e
ge
m
o
ve PetScan::e
x
tr
a
ct_while before its
f
irst use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
move PetScan::is_n
e
sted_allowed bef
o
r
e
its first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
m
ove PetScan::ex
t
ra
c
t
_non_affine_condi
t
io
n
before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verd
o
olaege
P
e
tScan: dr
o
p al
l
ow
_
nested
att
r
ibute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaeg
e
i
n
troduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
move pet_scop
_
ex
t
ra
c
t_nested
t
o
nes
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next