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_tree_dump: fix typo in output
2014-07-17
S
ven
V
erdo
o
la
e
ge
pet_tree_dump: fix typo in
o
utput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Ver
d
oolaege
scop
.
c: fix typo in c
o
m
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
s
c
op
.
c: scop_
a
lloc: plug mem
o
ry leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verd
o
olae
g
e
expr
.
c: extract_affine_
m
u
l
: abort on error rathe
r
than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
PetScan::set_upper_bound
s
: handle arrays decl
a
red
in
s
ide
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Ha
a
streg
t
allow specif
i
cation of su
m
mary f
u
n
c
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ver
d
ool
a
ege
d
e
rive
a
ccess relations o
f
c
all expressi
o
n
s
from f
u
n
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
d
oo
l
aege
add pet_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
add p
e
t_expr_acc
e
ss_
g
et_au
g
mented
_
domain_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
PetScan::e
x
tract_expr(
C
allExp
r
*): ex
t
ra
c
t functio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verd
o
olaege
pet_expr
:
keep t
r
ack of function su
m
mar
i
es in ca
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erd
o
olaege
p
et_
e
xpr: p
u
t
pet_e
x
pr_call field i
n
subs
t
ructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
int
r
oduce pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet
_
expr_
a
ccess_se
t
_
a
ccess: set read/
w
rite on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
b
r
eak up acce
s
s
r
e
la
t
ions into may_read/may_wri
t
e/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet
_
u
n
ion_map_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduce pet
_
exp
r
_a
c
cess_ty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
Verdoolae
g
e
drop pet_e
x
p
r
_fro
m
_access_and_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
explicitly mark
kill
acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr:
represent read/wri
t
e flag
s
as
b
it
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laege
pet_
e
x
p
r: documen
t
the read and write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
bre
a
k up access r
e
lati
o
ns
i
n
to may_read/m
a
y_write/
m
u
st_wr
i
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr_tag
_
acce
s
s: avoid use of
t
arget space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erd
o
olaege
postpon
e
i
ntroduction of acce
s
s
relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
emit
.
c: emit_expr
:
extrac
t
o
u
t emit_access
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
r
op
p
et_expr_access_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
nest
.
c: mo
v
e
i
s_sub_access t
o
expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
olaege
t
r
e
e
2
scop
.
c: extract_kill: update ki
l
l expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_
e
xpr_is_af
f
ine: avoid us
i
ng
acce
s
s rel
a
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
pet_expr_filter:
a
void using access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_acces
s
_update_do
m
ain: av
o
id
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_
a
ccess_get
_
m
ust_acc
e
s
s: avoid using a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_expr_access_get
_
id: av
o
id u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
o
o
laege
e
xp
r
.
c: acces
s
_add_re
f
_id: a
v
oid
u
sing acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c
:
access_collect_params:
a
void using access relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
scop
.
c: implie
s
_f
i
lter
:
av
o
i
d
u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
sc
o
p
.
c: a
c
c
ess_
e
xtract_context: avoid usin
g
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
sco
p
.
c
: expr_ex
t
r
a
ct_
c
ontext
:
avo
i
d u
s
ing acce
s
s
relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extrac
t
out shared drop_argu
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoolaege
pet_expr_access_u
p
da
t
e_
d
om
a
i
n
: min
o
r
clean
-
up o
f
expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
fu
r
ther generalize com
p
ute_to
_
inner t
o
s
upport pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
V
e
rdoolaege
g
e
neralize
compute_to_inner to support pet_scop_c
o
mpute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
g
e
s
c
op
.
c: compute_to_inn
e
r: micro
-
optimi
z
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
V
e
r
d
oolaege
tree2sco
p
.
c: is_nested_al
l
o
we
d
: do not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
d
oolaege
PetScan::set_upper_boun
d
s
: use declared size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aeg
e
scop
.
c: r
e
strict
_
ski
p
: update docu
m
entation to ch
a
nge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
a
e
ge
tree2scop
.
c: scop_ad
d
_
in
c
:
t
ake into
acco
u
nt affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erd
o
ol
a
ege
tree2sco
p
.
c: mo
v
e u
p
apply
_
a
f
fine_conti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven
V
erdoo
l
aege
tr
e
e2scop
.
c: scop_from_non
_
affine_while
:
extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoolaeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update
is
l
to ve
r
sion 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoola
e
ge
READ
M
E: upd
a
t
e
L
LVM/clang inst
a
llati
o
n instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolae
g
e
interface/extract
_
interface
.
cc: explicitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for change in arguments of Com
p
ilerI
n
stance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ver
d
oolaege
p
e
t
.
cc
:
add space
b
etween literal and identi
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl f
o
r s
u
pport for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oo
l
a
ege
pet_stmt_fr
o
m_pet_tree: avoid free of
u
n
initi
a
lized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
en Verdo
o
l
a
ege
sc
a
n
.
cc: f
i
x typo in co
m
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
olaege
p
e
t_scop_from_pet
_
stm
t
:
do not extr
a
c
t
c
o
ntext
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
PetSc
a
n::extract_arg
u
me
n
t: handle
pas
s
ing of
e
n
tire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
Mak
e
file
.
am: ad
d
dummy C++ s
o
urce file
to pet_scop_
c
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle pencil indep
e
nde
n
t pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdool
a
eg
e
PetScan: k
e
ep t
r
ack of line number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
doolaege
pet
.
cc: extract o
u
t
P
etAST
C
onsumer::add_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdool
a
ege
add enc
a
psulate_dyna
m
ic_co
n
trol o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
laeg
e
pet_scop_from_p
e
t
_
tree: create state
m
ents d
i
rectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace pet_
s
tmt_from_pe
t
_expr by pet_stmt_
f
rom
_
pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdo
o
laege
pet_stmt:
u
se pet_tree to repres
e
nt statemen
t
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
doolaege
sc
o
p
.
c: extract out
p
et_stmt_is_affine_assume and
pet_st
m
t
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
ol
a
ege
scop
.
c:
s
tmt_colle
c
t
_acce
s
ses: use pet_expr_
f
or
e
ach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
doolaege
s
cop
.
c: stmt_collect
_
params: use
pet_
e
xpr_
f
o
reach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
k
e
e
p
track of indentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
u
p
date test case
o
utpu
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
ext
r
a
ct enum constants
a
s thei
r
i
nteger valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan:
:
e
xtract_int: sep
a
rat
e
out e
x
t
raction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doo
l
aeg
e
P
et
S
can::extrac
t
_unsign
e
d: tur
n
into a
sta
t
ic f
u
nctio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc:
change
tex
t
ual
o
rder of extract
_
u
n
s
igned
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
d
o
ola
e
ge
pet_check
_
co
d
e
.
c: use pet_ex
p
r_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
export
pet_expr_ex
t
ra
c
t_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoola
e
ge
p
et
_
context:
no long
e
r
keep
t
ra
c
k
of "unknow
n
" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_extract
_
affine: n
o
l
o
nger c
r
eate n
e
w para
m
eters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
P
etS
c
an::e
x
trac
t
_scop: populate pet_context
with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doo
l
aege
sc
a
n
.
cc: move up
s
tati
c
get_array_type fu
n
ction in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
P
etSca
n
::get
_
array_size: cache res
u
lts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::set
_
upper_bounds: extract
out Pet
S
can:
:
get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
p
r_is_e
q
ual
:
compare index express
i
ons up
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_expr_extr
a
ct_affine: exploit
doma
i
n information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add pet_con
t
ext_get_gist_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
scop_f
r
om_block: co
l
lec
t
affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_from_p
e
t_tree:
e
xtract pet_scop from th
e
r
oot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
a
d
d fu
n
ctio
n
s for manipulat
i
ng the domain of a pe
t
_
c
on
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_restrict: al
s
o r
e
strict
v
i
rtual
ar
r
ay extent
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context
_
eval
u
ate_
e
xpr: fir
s
t insert
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
pet_check_c
o
d
e
: rem
o
ve tracking
of assignm
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
drop p
e
t_scop_d
e
tect_pa
r
ameter_
a
ccesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
eg
e
p
e
t
_
context_evaluate_expr: also plug i
n
affine exp
r
essions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
doolaeg
e
separate out
p
et_con
t
ext_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
drop
p
et_context
_
mark_assig
n
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
Pe
t
Scan::ex
t
r
a
ct_s
c
op
:
clear write
s
at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
P
e
tScan::
e
xtract_sc
o
p: locall
y
construct p
e
t_co
n
te
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
