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
update for change in arguments of CompilerInstance::createPreprocessor
2014-04-11
Sven Verdoolae
g
e
update for change in arguments of Comp
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdo
o
laege
pet
.
cc: ad
d
space be
t
ween literal an
d
identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n
Verdoola
e
ge
u
pdate isl
for support for
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
e
g
e
pet_stmt
_
f
r
om_pet_tree:
avoid fr
e
e
o
f uniniti
a
lize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n Verdoo
l
aege
scan
.
cc: fix typo in
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
e
n
Verdoo
l
aege
pet_s
c
op_
f
rom_
p
et_
s
tmt: do not
e
x
tract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
olaege
PetScan::e
x
tract_argument:
handle
p
assing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ver
d
oolaege
Makefile
.
am
:
add dum
m
y C++
s
ource file
to
p
e
t_s
c
op_
c
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
han
d
le pencil in
d
ependent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
la
e
ge
P
e
t
S
can: k
e
ep track of line n
u
m
b
er of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
l
a
ege
pet
.
cc: extract out PetASTConsumer::add_pra
g
ma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
add encapsulate_d
y
namic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pe
t
_scop_from_pet_tree
:
create statements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
replace p
e
t_stmt_from_pet_expr by pet_s
t
mt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ver
d
oo
l
aeg
e
pet_stmt: use pet_tree to repr
e
se
n
t
st
a
tement b
o
dy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
scop
.
c: extr
a
c
t
out p
e
t_stmt_
i
s_a
f
fine_a
s
sume
a
nd pe
t
_
s
tmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
g
e
s
co
p
.
c: stmt_collect_accesses: use
p
e
t
_expr_foreac
h
_access_
e
xp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoola
e
ge
s
c
o
p
.
c: stmt_collect_params: use pet_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolae
g
e
keep
t
rack of ind
e
ntation of
e
xtracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
olaege
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
er
d
oolaeg
e
ext
r
act enum constants as th
e
ir integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
e
r
doolaege
Pe
t
Sca
n
:
:extract
_
int: sep
a
rat
e
ou
t
ext
r
a
c
tion from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
PetScan::
e
xtra
c
t_unsigned: turn in
t
o a static fun
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
scan
.
cc: change textual order of e
x
t
r
act_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
pet_che
c
k_code
.
c: u
s
e pet_expr_e
x
tract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
ex
p
ort pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
pet_context: n
o
l
o
ng
e
r ke
e
p
t
rack o
f
"un
k
n
own" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaeg
e
pet_ex
p
r
_
e
xtract_a
f
f
i
n
e
: no long
e
r
c
r
eate
new paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop: populate pet_con
t
ext with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
o
ola
e
g
e
sca
n
.
c
c
: move up static get_ar
r
ay_
t
ype f
u
nction
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
PetScan
:
:
g
et_ar
r
ay_size: c
a
che
r
esults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
P
e
tScan::set_
u
pper_b
o
und
s
:
e
xtract out PetScan
:
:get_ar
r
ay_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
pet_e
x
pr_is_equa
l
: compare index expre
s
sions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_expr_extract_a
f
fine: exploit domain
i
nformation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
add p
e
t_c
o
n
t
ext_get_gist
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
r
d
oolaege
tree2scop
.
c:
s
cop_from_block: collect a
f
fine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
pet_scop_fr
o
m_pet_tree: extract pet_s
c
op from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
add functions
f
o
r
manipu
l
ati
n
g the domain of a
p
e
t_co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pe
t
_sco
p
_re
s
t
r
ict: a
l
so restrict
virtual array
e
x
tent
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolae
g
e
pet_conte
x
t_evaluate_expr: first insert dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
pet_check_code: remove
tracking of
assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
dr
o
p pet_scop_de
t
ect_pa
r
amet
e
r_
a
ccesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pe
t
_context_evalu
a
te_expr: also plug in
affine expr
e
ss
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
separate o
u
t pet_context_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
drop pet_c
o
ntext_
m
ark_as
s
ig
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rd
o
olaege
PetScan:
:
extract_scop: clear write
s
a
t
outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
P
etS
c
an::ext
r
act_scop: locally
c
on
s
t
ruct pet_c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ve
r
doo
l
a
e
ge
PetS
c
an::extract_sc
o
p
: also add all
p
et_ar
r
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdo
o
laege
p
et
_
expr_filter:
a
void in
t
roduction of
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
tree2scop
.
c
:
is
_
simple_bo
u
nd: ha
n
dle higher d
i
mensi
o
na
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
tree2sco
p
.
c:
v
alid_
f
or_each_iteration: handle hi
g
he
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: add_im
p
licat
i
on: handle higher dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
tree2scop
.
c: map_to_previous: handle high
e
r
d
ime
n
s
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c:
a
ft
e
r: han
d
l
e
h
ig
h
er dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
pet_e
x
tra
c
t_n
e
sted_from
_
space: add ext
r
a
dimensio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
g
e
pet_extrac
t
_nested_from_sp
a
ce: emb
e
d argum
e
nts in
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
a
d
d pet_expr_access_get_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_expr_resol
v
e_nested:
allow speci
f
ication of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
o
lae
g
e
tree2s
c
op
.
c: h
a
ndle_writes:
sepa
r
ate
out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
d
o
ola
e
ge
t
r
ee
2
sco
p
.
c:
handle_w
r
i
t
e
s: remove r
e
d
u
ndant
p
et_con
t
e
x
t
_
ma
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
ool
a
e
ge
t
r
e
e
2scop
.
c: extract_kill: a
l
low specification
of stat
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
pet_scop
_
add
_
boole
a
n_
a
rray: allow spe
c
ifi
c
at
i
on of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdool
a
eg
e
pet_skip_inf
o
_*_extract*
:
pas
s
alon
g
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_s
c
op c
o
n
s
tructors: allow speci
f
i
cation of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
tree2scop
.
c:
scop_
f
rom_{break,cont
i
n
ue}: mino
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c
: scop_from_{break,continue}:
allow s
p
ecification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_cr
e
ate
_
t
e
st_index: allow sp
e
ci
f
icati
o
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
pe
t
_stmt_from_pet_expr: allow specificat
i
on
of
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stm
t
_from_pet_e
x
pr: mino
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_
s
t
m
t_from_pet_expr:
r
enam
e
"
dim" variable
t
o "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaeg
e
pe
t
_context: keep
track
o
f domain set r
a
ther than
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
a
dd pet_nest
e
d_re
m
ove_fro
m
_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sco
p
_f
r
o
m
_
non_affine_if:
drop preall
o
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c: s
c
op
_
from
_
non
_
a
f
fi
n
e_i
f
: delay
constructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2
s
cop
.
c: sc
o
p_from
_
affine_for
:
delay const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c
:
s
cop
_
from_non_af
f
ine_while:
d
r
o
p preallocatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
tree2scop
.
c:
sc
o
p_from_
n
o
n
_
affin
e
_while: delay constructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
oolaege
tree
2
scop
.
c
:
sco
p
_from_infinite_loop:
d
el
a
y c
o
nstruc
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
tree2scop
.
c
:
i
n
finite_
d
omain: delay
i
nt
e
rsection wi
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2s
c
op
.
c: extra
c
t
out shared apply_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: sc
o
p_from_affi
n
e_
f
or: remove preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: s
c
op_
f
rom_affi
n
e_for: delay
const
r
uctio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2sc
o
p
.
c
:
scop_
f
r
o
m_aff
i
ne_for:
i
ntroduce is_no
n
_
affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tr
e
e2scop
.
c: scop_from_aff
i
ne_
f
or: delay intersectio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add pet_scop_inters
e
ct_domain_pr
e
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
add pet_prefi
x
_proj
e
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scop
.
c: ex
t
ent_is_virtu
a
l
_
arr
a
y:
c
h
e
ck for me
m
bers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
array_embed:
separate out extent_is
_
vir
t
ual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop p
e
t_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
t
ree2scop
.
c
: is_nested
_
allowed: take tre
e
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_skip_i
n
f
o_*_ex
t
r
a
ct*: pass
s
t
r
uct pet_state
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
move e
x
traction of p
e
t_scop from pet_
t
r
e
e to sep
a
rate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolae
g
e
co
n
struct pet_sco
p
from in
t
ermediate pet_t
r
ee data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aege
add pet_cont
e
xt_clear_writes_
i
n_{expr,t
r
ee}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
i
ntroduc
e
pet_
t
ree obj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
mo
v
e PetSca
n
::extract_while
b
efore its
f
irs
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aeg
e
move PetSc
a
n::is_nes
t
ed_allowed be
f
ore its fir
s
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
m
ov
e
Pe
t
Scan:
:
extract_non_affine_condition befo
r
e its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
P
etScan:
d
rop allow_nested attribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdool
a
e
g
e
in
t
roduce pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next