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: fix typo in comment
2014-04-06
S
v
e
n Verdoolaege
sca
n
.
c
c
:
fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pe
t
_scop_from_pet_stmt: do not
e
xtract co
n
t
e
xt from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
V
erdoolaege
P
e
tScan::extract_ar
g
u
ment: handle passing of en
t
ire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefile
.
a
m: a
d
d dummy C++ source
file to
p
e
t_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle pencil independ
e
nt pragm
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Ver
d
oola
e
g
e
P
e
tScan: keep trac
k
of line number of c
u
rrent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
pet
.
cc: extract out PetAST
C
o
n
sumer::add_p
r
agma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laeg
e
add
en
c
ap
s
ulate
_
dynamic_co
n
trol
o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
_
scop_from_pet_tree: create statements directl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
replace pet_stmt_f
r
om
_
pet_expr b
y
pet_st
m
t_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
pet_stmt: use pet_tree
to represe
n
t st
a
te
m
en
t
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
scop
.
c: extract ou
t
pet_
s
tmt_is_a
f
fin
e
_assume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
sco
p
.
c:
s
tmt_collect_a
c
ces
s
e
s: use pet
_
expr_foreac
h
_acces
s
_
e
xp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
s
co
p
.
c: stmt_colle
c
t_params: use pet_expr_foreach_access_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laeg
e
keep t
r
ac
k
of
i
ndentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ver
d
o
o
lae
g
e
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
extra
c
t enum constants as their integer
v
alu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
Pet
S
can::ex
t
ra
c
t
_int: sep
a
rate out extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetSca
n
::extract_
u
nsigned: turn into a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
s
ca
n
.
cc: change textual orde
r
of extract_
u
nsigned a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_
c
heck_code
.
c:
use pet_
e
xpr
_
extract_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
e
x
p
o
rt pet_exp
r
_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_context: no
l
onger ke
e
p track of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pe
t
_expr_
e
xtract_aff
i
n
e
:
n
o longer cr
e
ate new param
e
ters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
P
e
tScan::ext
r
act_scop:
popu
l
ate pet
_
contex
t
with
p
aramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
oolaege
s
can
.
cc: move up s
t
atic get_array_t
y
pe
f
unctio
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
PetScan::g
e
t_array_size:
ca
c
he r
e
sults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
Pe
t
Sca
n
::set
_
u
pper_bounds: ex
t
ract out PetScan::get_array_s
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_ex
p
r_is_equal: compare index e
x
pressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
pet_expr_extract_affine: ex
p
loit do
m
ain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
add pet_context_g
e
t_g
i
st_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree
2
scop
.
c:
s
cop_from_b
l
ock: collect affine co
n
t
inue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_scop_fro
m
_pe
t
_
t
r
ee: extract pet_scop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
ad
d
f
u
nct
i
ons f
o
r
m
an
i
pulating the domain of
a pet_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_s
c
op_res
t
rict: also restrict
v
i
rtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
ntext_ev
a
luate_expr: first insert do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_check_code: remove tracking of as
s
ignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dr
o
p pet_scop_detect_parameter_accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olae
g
e
pet_co
n
text
_
evaluate_expr: also
p
lug in affine expre
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
separ
a
t
e
out pet_con
t
ext_evaluate
_
ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
dr
o
p pet_c
o
ntext_
m
ark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoolaege
Pet
S
can
:
:
e
x
tract_
s
cop:
c
lear writes a
t
outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::extract_sc
o
p: locally const
r
u
ct pet_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
PetS
c
an::extract_scop: a
l
so add all pet_arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_ex
p
r
_
f
ilter: avoid introduction of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c
:
is_
s
imple_bound:
h
an
d
le h
i
ghe
r
dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c: vali
d
_for_each_iteratio
n
: handle
hi
g
her
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2scop
.
c: add_implication: han
d
l
e
h
i
ghe
r
d
ime
n
sion
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
ae
g
e
tre
e
2
s
cop
.
c:
m
a
p_to_previous
:
h
andle higher dimensiona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
t
ree2scop
.
c: af
t
er:
handle higher dim
e
nsional do
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pe
t
_extract_nes
t
e
d_f
r
om_
s
pace: add ext
r
a d
i
mensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
pet_ex
t
ract_nested_f
r
om_sp
a
ce: embed arguments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_exp
r
_access
_
get_domai
n
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaeg
e
pet_
e
xpr_resolve_nested: allow
s
pecif
i
cation of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
tree2scop
.
c: hand
l
e_wr
i
tes: sep
a
rat
e
out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
tree2scop
.
c: handle_writ
e
s:
remo
v
e redunda
n
t pe
t
_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree
2
scop
.
c
:
ex
t
ract_kill: a
l
low specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop_ad
d
_boolean_a
r
ray:
a
llow specif
i
catio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_
s
k
ip
_
info_*_extract*: pass
along
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
pet_sc
o
p
c
on
s
t
ructors: allow spec
i
fica
t
ion
o
f
do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
tre
e
2
scop
.
c
:
scop_from_{
b
r
eak,co
n
tinue
}
: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
tree
2
scop
.
c: sc
o
p_f
r
om_{break,continue}: allow specification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_create_test_ind
e
x: al
l
ow s
p
ecifica
t
ion o
f
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_expr: al
l
ow specificati
o
n
of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_stmt_from
_
pet_
e
xpr: minor cle
a
n
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
la
e
ge
pet_st
m
t_from_pet_expr: renam
e
"dim" var
i
able to "
s
pa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_con
t
ext: keep t
r
a
ck of domain
s
et rather than dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pet
_
ne
s
ted_remov
e
_from_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c: scop
_
from_no
n
_affin
e
_if: drop
p
r
eallo
c
at
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoo
l
ae
g
e
tree2
s
cop
.
c: scop_from_non_affin
e
_if:
delay c
o
nstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
oolaege
tree2
s
co
p
.
c: s
c
op_f
r
om_
a
ffine_f
o
r: delay co
n
struction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doo
l
aege
t
r
e
e
2sc
o
p
.
c: scop_from
_
n
o
n
_affine_wh
i
l
e:
d
r
o
p
pr
e
a
llocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2
s
c
o
p
.
c: scop_from
_
non_affin
e
_while
:
d
elay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
t
ree2scop
.
c: sco
p
_from
_
in
f
init
e
_
loop: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
tree2scop
.
c: i
n
finite_domain: delay intersect
i
on
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tre
e
2scop
.
c: extract
o
ut
s
hared ap
p
ly_affine_
b
reak
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rd
o
olaege
tree2scop
.
c: sco
p
_from_affine_for:
r
emo
v
e p
r
eallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
do
o
laege
t
r
ee2scop
.
c: scop_f
r
o
m_
a
ffine_
f
o
r:
delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c
:
scop_f
r
om_aff
i
n
e
_for: introduc
e
is_
n
on_a
f
fin
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolae
g
e
tree2scop
.
c: scop_
f
r
o
m_a
f
fine_for: delay int
e
r
s
ection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add pe
t
_sco
p
_
intersect_domain_pre
f
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
add pet_prefix_projec
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scop
.
c: extent_is_virtua
l
_array: check for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_array_embed:
separate out
e
xte
n
t_is_
v
irtual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet
_
scop_
w
rites
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree
2
scop
.
c: i
s
_neste
d
_allowed: take tree instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_s
k
ip_info
_
*_extra
c
t*: pas
s
struc
t
pet_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
move
extraction
of pet_scop
from pet
_
tree to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
const
r
uct pet_scop fr
o
m intermedia
t
e pet_tree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
o
o
laege
a
d
d
pet_cont
e
x
t_c
l
ear_writes_in_{expr,tree
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
a
e
g
e
introdu
c
e
pe
t
_tree
o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
move P
e
tScan::extract_whi
l
e
before
its
first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
move PetScan::is_
n
e
sted_allowed before its fi
r
st
u
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdool
a
e
g
e
move PetScan::extract_non
_
affine_condition b
e
for
e
i
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
Pet
S
can: drop allow_nes
t
ed attribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
introduce pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
move pet_s
c
op_e
x
tract_nested
t
o
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
move pet_expr_
e
xt
r
act_nested to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tScan::ex
t
rac
t
_for: u
s
e pet_expr_extract_comparison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
ae
g
e
PetScan
:
:scan(FunctionDecl *)
:
construct a
pet_contex
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next