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
README: update LLVM/clang installation instructions
2014-04-13
Sven Verd
o
o
laege
READ
M
E: u
p
d
a
t
e
LLVM/c
l
ang i
n
s
tallation
i
n
structions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven V
e
rdoolaege
in
t
erface/ex
t
ract_interfac
e
.
c
c: explicitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
p
date
f
o
r cha
n
ge in argumen
t
s of Com
p
ilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoo
l
aege
pet
.
cc: a
d
d s
p
ace b
e
tween literal a
n
d identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
update isl for s
u
pp
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n
Verdoolaege
pet_stmt_fro
m
_
p
et
_
tre
e
: avoid fr
e
e of
uninitializ
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
sca
n
.
cc: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
pet_scop_from_pet_stmt: do not extract context
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Ver
d
oolaege
Pe
t
Sca
n
::extr
a
c
t_arg
u
ment
:
han
d
le passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Ve
r
doolaeg
e
M
akefile
.
a
m
: add dummy C
+
+
sour
c
e file to pet_
s
cop_c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
handl
e
pencil in
d
ependent p
r
a
g
mas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
P
e
t
Scan: ke
e
p
t
r
ack of line number of current Stm
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
p
e
t
.
cc: extract out
PetASTConsumer::add_pragma_hand
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add enca
p
sulate_dynamic_control opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet_scop_from_pet_tr
e
e
:
c
reate statemen
t
s dir
e
ctly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
repl
a
ce pe
t
_stmt_from_pet_expr
b
y pet_stm
t
_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoo
l
a
ege
pet_stmt: us
e
pet_tree
to represent st
a
temen
t
b
ody
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoola
e
g
e
s
cop
.
c: extract out pet_stmt_is_a
f
f
ine_assume and
pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verd
o
olaege
scop
.
c: s
t
mt_collect_ac
c
esses: use pet
_
ex
p
r_foreac
h
_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
scop
.
c: stmt_coll
e
ct_
p
arams: use
pet_exp
r
_foreac
h
_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
k
e
e
p
track of in
d
e
n
t
ation of extracted c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
update
test
c
ase outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
extract e
n
um constan
t
s as their integer
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
PetSc
a
n::extract_
i
nt
:
s
eparate ou
t
extraction fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
P
etScan::
e
xtract_unsigned:
turn
into a sta
t
ic f
u
nct
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
sc
a
n
.
cc: chan
g
e textual
o
rder of ext
r
act_
u
nsign
e
d
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet
_
check_co
d
e
.
c: use pet_
e
xpr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
expor
t
pe
t
_expr
_
extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_context: no longer keep t
r
ack
of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
pet_expr_extr
a
ct
_
affi
n
e: no longer create new
parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
ool
a
ege
PetScan::extract_scop: po
p
ul
a
te pet_context wi
t
h
p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
c
an
.
c
c: move u
p
st
a
tic ge
t
_
a
r
ray_type fun
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
PetS
c
an
:
:get_array_size: cache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
PetScan
:
:set_uppe
r
_bounds:
extract out Pet
S
ca
n
:
:
ge
t
_arr
a
y
_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
pet_expr_is_equal: co
m
pare index expr
e
ssions up
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
pet_expr_e
x
t
ra
c
t_aff
i
ne: expl
o
i
t
domain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
add
p
et_context_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2s
c
o
p
.
c
:
sc
o
p_fr
o
m_bloc
k
: co
l
lect affi
n
e co
n
tinue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_scop_from_pe
t
_tree:
e
xtract pet_scop
from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laege
add f
u
nctions fo
r
manip
u
lating
the domain
o
f a pet
_
con
t
ex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
pet_scop_restrict: a
l
so restr
i
ct v
i
rtual ar
r
ay extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_context_evaluate_expr: firs
t
insert dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_c
o
de: remove trac
k
ing of
a
s
signments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop
_
de
t
ect_param
e
ter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
pet_context_ev
a
luate
_
exp
r
: also plug
in affine exp
r
essions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
sepa
r
ate out pet
_
context_ev
a
l
uate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
lae
g
e
d
r
op pet_con
t
ext_mark_
a
ssigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n::extract_scop: cl
e
ar writes at outer leve
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan:
:
ext
r
a
ct_scop: locally construct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
P
e
tScan
:
:extract_sco
p
:
a
lso
add all pet_array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_filter:
avoi
d
i
ntroduction of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
tree2scop
.
c: i
s
_sim
p
l
e_
b
ound: handle h
i
gher
d
i
m
e
nsi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tr
e
e2scop
.
c:
v
al
i
d_for_e
a
ch_iteratio
n
:
h
andle
h
ighe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rd
o
olaege
tree2scop
.
c: add_
i
mplication:
handle h
i
gher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
tr
e
e2scop
.
c: ma
p
_to_previous: handle high
e
r dimensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
t
r
ee2
s
cop
.
c:
a
fte
r
:
h
andle higher di
m
ensi
o
nal domai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
pet_ext
r
a
c
t_nested
_
from_spa
c
e: add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_e
x
tract
_
n
e
st
e
d_from_s
p
ace:
embed arguments in give
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add pet_expr_ac
c
es
s
_get_doma
i
n
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet
_
expr_resolve_
n
ested: allow spec
i
fic
a
tion
o
f domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
tree
2
sc
o
p
.
c: h
a
ndle_writes: separate out h
a
n
d
li
n
g
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tr
e
e2scop
.
c: handle_
w
rites:
r
emove re
d
undant
pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: extra
c
t
_ki
l
l: a
l
low specification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
pet_sco
p
_add_boolean
_
a
r
ray
:
allow
s
pecification of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
p
e
t
_skip_i
n
f
o
_*_extract*: pas
s
along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pe
t
_s
c
op constructors:
al
l
ow spec
i
fic
a
tion of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
tre
e
2sco
p
.
c: scop_from_{bre
a
k,c
o
ntinue
}
: minor cl
e
a
n-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tr
e
e
2scop
.
c: scop_from_{
b
reak,continue}:
allow sp
e
cif
i
catio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
pet
_
c
rea
t
e_test_in
d
ex: a
l
low specif
i
cation of domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_stmt_from_pet_
e
xpr: allo
w
specific
a
t
ion of
s
tateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
pet_stmt_from_p
e
t_
e
xp
r
: m
i
nor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_stmt_fro
m
_p
e
t_
e
xp
r
:
rename "dim" variable to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
p
et_context
:
keep track of do
m
ain
s
et rathe
r
than d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ad
d
pe
t
_
nested_remove_from_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
tree2sco
p
.
c
:
scop_from_non_
a
ffine_if:
d
rop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tr
e
e2s
c
o
p
.
c: scop_
f
rom_non_affi
n
e_i
f
: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
tree2scop
.
c: sco
p
_
from_affine_for: delay
c
onstr
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c
:
scop_from_non_affine
_
while: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
e
e2scop
.
c: sc
o
p_f
r
om_
n
on_a
f
fine_while: de
l
ay constr
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c
: s
c
op_fro
m
_infinite_loop: delay co
n
struction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
t
ree
2
scop
.
c: infinite_dom
a
in: delay intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
tree2scop
.
c: ext
r
act ou
t
share
d
apply_aff
i
ne_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
tree2scop
.
c: scop_from_a
f
fine_for
:
rem
o
ve preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoo
l
aege
tree2scop
.
c: sc
o
p
_
from_affin
e
_
for:
d
elay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_fro
m
_af
f
ine_for: introduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
tree2scop
.
c: s
c
op_from_affine_for:
d
e
la
y
intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
add p
e
t_sc
o
p_intersect_d
o
m
a
in_p
r
e
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
a
dd
p
et_prefix_proj
e
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoola
e
ge
s
co
p
.
c: exten
t
_is_
v
irtual
_
array: ch
e
c
k
for
m
ember
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_a
r
ray_embed: separate out ex
t
ent_is_virtual_ar
r
ay
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
rop
p
et_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdo
o
lae
g
e
tre
e
2scop
.
c
: is
_
nested_allow
e
d: take
t
ree inste
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erd
o
olaege
pet_skip_info_*_ext
r
act*: pass stru
c
t pet_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
m
ove extraction
o
f pet_
s
cop from
p
et_tree to
separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
c
o
nst
r
uc
t
p
et_scop from int
e
rmediate pet_t
r
ee data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
a
dd pet_c
o
ntext_clear_wr
i
tes_in_{ex
p
r,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introduce pet_tree objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdool
a
ege
move PetScan::extract
_
wh
i
l
e
befor
e
its first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
m
ove PetScan::is_nest
e
d
_
al
l
owed before
i
ts first
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetSc
a
n
:
:extract_no
n
_affine_condition before its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next