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
PetScan::extract_non_affine_condition: remove redundant resolve_nested
2014-03-19
Sven V
e
rdo
o
la
e
g
e
PetSc
a
n
:
:extract_non_affine_
c
ondition
:
rem
o
ve r
e
du
n
d
ant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven van Haastregt
AX_DE
T
ECT_
G
IT_HEAD: av
o
id em
p
ty version st
r
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdool
a
ege
separate out shared PetScan::update_scop_start
_
e
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
pet_exp
r
_
dump: only print expr->acc
.
ref_id if it
i
s set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolae
g
e
s
c
o
p
.
c: s
t
m
t
_prop
a
gate_params: also
updat
e
a
cce
s
ses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
doo
l
ae
g
e
scop
.
c
: stm
t
_col
l
ec
t
_params: al
s
o
collect paramete
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
s
c
op
.
c: *_collect_params: fix
e
rr
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
pet_scop_al
i
gn_params: imp
r
ove error
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolae
g
e
pet_scop_align
_
para
m
s: re
n
ame "dim"
v
ariable to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
ae
g
e
PetScan::e
x
tract_
n
e
sted
:
p
lug memory
l
eak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
scan
.
cc:
c
lear_assig
n
ment:
fix logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n V
e
rdoolaege
Pet
S
can::extr
a
ct(If
S
tmt *): clear a
s
s
ignments in bod
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
P
etScan::extract_infinite_for: als
o
c
lear
assignments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
r
d
oo
l
aege
Pe
t
Scan::extract
_
fo
r
: always
keep virtual iter
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
modify tests/unsi
g
ned3
.
c
t
est case to use the iter
a
to
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ve
r
doolaege
whe
n
autod
e
tectin
g
only skip
i
nitial declarations in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
V
e
rdoo
l
aege
do not extract
l
oop around partial
body whe
n
aut
o
detecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetScan::extr
a
c
t
_non_af
f
ine
_
condition: ta
k
e
s
t
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoo
l
a
ege
P
et
S
can::extract_for: do not allow ini
t
ial va
l
ue
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaege
Pe
t
S
c
an::extr
a
ct_for: clear assignme
n
t
t
o
iter
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdo
o
laege
P
e
tScan
:
:unsu
p
po
r
ted: pass
f
ixed chara
c
t
er str
i
ng to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdo
o
la
e
ge
confi
g
u
r
e
.
ac: add llvm-config --system-li
b
s to C
L
ANG_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
update isl for support
for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdoo
l
aege
Mak
e
fi
l
e
.
am: a
v
oid use o
f
INCLUDES variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
AX_DETECT_GIT_HEAD: detect
g
i
t
version with newer versions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven V
e
rdoolaege
README:
add cont
a
ct
informat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Albert Cohen
S
u
p
p
o
rt for additiona
l
binary
/
unary o
p
er
a
tor
s
in C
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sv
e
n
Ver
d
oolaege
add affine as
s
umptions
t
o the context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdool
a
ege
parse __pencil_a
s
sum
e
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sve
n
Verdoolaege
extract out
P
etS
c
an::extract_argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdoolaege
a
d
d support for
s
tructs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_scop_coll
e
c
t_tag
g
ed_must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_scop_collect_must_ki
l
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
laege
s
c
o
p
.
c
: extract out expr_colle
c
t_
a
cce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
scop
.
c
:
scop_collect_accesse
s
: renam
e
"dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ver
d
oo
l
aege
add pet_expr_a
c
cess_get_tagged
_
may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
Verdoo
l
a
e
ge
add pet_scop_collect
_
tagge
d
_{may,must}_{reads,wr
i
tes
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n V
e
r
doolaeg
e
ex
p
o
rt pet_expr_access
_
get_may_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
g
e
scop
.
c: expr_
c
ollect_accesses: pl
u
g memory leak
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
ext
r
act out pet_clang_bas
e
_
t
y
pe into s
e
parate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: extract out subscrip
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
oo
l
a
e
ge
s
co
p
.
c: extract
o
ut *
_
is_virtual_a
r
ray func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_expr_from_
i
ndex_and_depth: extract
ou
t
e
xtend_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
i
n
troduce pe
t
_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
er
d
oolaege
use isl_*_res
e
t_user instead of *_anonymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
updat
e
isl for
support fo
r
member
a
c
ce
s
ses in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
pet_expr_fr
e
e: retu
r
n
struct pet_ex
p
r *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
PetScan:
:
resolve
_
nest
e
d
(
struct pet_s
t
mt *):
r
emove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetS
c
an::
r
e
solve_nested(struct p
e
t_expr *)
:
r
e
move
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
scan
.
cc
:
compu
t
e_
w
r
a
pping: remove unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scan
.
cc
:
extract_skip_seq:
r
e
move unus
e
d var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
oola
e
g
e
scan
.
cc: univer
s
ally: remove
u
n
u
s
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolae
g
e
PetScan::e
x
tract_affi
n
e
:
rem
o
ve unused
v
aria
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verd
o
olaege
Makef
i
le
.
am: add dummy C++
source f
i
le to
p
et and pet_
c
heck
_
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
stop linking
in clang libra
r
ies directly into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
also prin
t
clang vers
i
on when printing
p
et
vers
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
READ
M
E: update latest r
e
leas
e
of LLVM/clan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaeg
e
parse
.
c: r
e
mo
v
e spuri
o
us dupl
i
cate
de
c
laration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n Verdoolaege
p
e
t_sc
o
p_free: return struct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdo
o
la
e
ge
PetSca
n
::extr
a
ct(StmtRange
,
b
o
ol, bool): break out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolae
g
e
pet_
s
cop_collect_{reads
,
writes}: ta
k
e a
r
guments in
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdoolaege
p
e
t_sc
o
p
_collect_{
r
eads,wr
i
tes
}
: intersect
r
ang
e
s w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdool
a
ege
scan
.
cc:
e
xtract_de
p
t
h
: use cor
r
ect dim
e
nsion type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_expr_from
_
acces
s
_
and
_
in
d
ex:
plug
m
e
mor
y
leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sv
e
n Verdo
o
laege
conf
i
g
u
re
.
ac: remove explicit depe
n
dence
on gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
di
s
ca
r
d
incomplet
e
ly extracted compound stat
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Ve
r
doola
e
ge
f
ix handling of
c
o
mpound
s
tatements with ini
t
i
a
l partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
oolae
g
e
pet_transform_C_s
o
urce: hand
l
e m
u
ltiple explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_scop_print_or
i
g
i
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
a
d
d pet_tr
a
nsform_C_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
oolaege
e
x
ten
d
Pe
t
ASTConsumer
t
o
e
xt
r
act a scop for each func
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
post-p
r
osce
s
s
s
c
ops inside
PetAS
T
C
onsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
a
d
d pet_stmt_build_ast_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add pet_stmt_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
Verdo
o
laege
add
p
et_
s
cop_has_data_depe
n
dent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add pet_sc
o
p_has_data_dep
e
nde
n
t_a
c
cesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet
_
che
c
k_
c
ode: use in
d
ex
expr
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
olaege
pet_
c
h
e
ck_code: use isl_id_to_pw_aff for k
e
eping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdo
o
l
a
ege
updat
e
isl f
o
r isl
_
id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
ke
e
p track of index ex
p
ressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aeg
e
scop
.
c
:
fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
update test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
scop
.
c: insert_
f
ilt
e
r_ma
p
: construct
function inte
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
aeg
e
scop
.
c: u
p
d
ate_domain: us
e
fu
n
ctio
n
intead of
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
er
d
oolae
g
e
sc
o
p
.
c: u
p
d
a
t
e_domain:
rename variable "dim" to
"
spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
Pet
S
can::resol
v
e_nested: use
function to emb
e
d ar
g
uments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetSca
n
::ki
l
l: use
pet_expr_kill_
f
rom
_
a
c
ces
s
_
a
nd_inde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
scop_add_
a
rr
a
y
: take in
d
ex expression in
s
tead of
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
pet_scop_fi
l
ter: take index expressio
n
i
nstead of access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
o
olaege
use
a
n isl_mu
l
ti
_
pw_aff
to represent a skip conditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
pet_
s
kip_info: use i
s
l_multi_pw_aff to rep
r
esent skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven V
e
rdoolaege
PetScan::ext
r
act_non_affine_con
d
ition
:
take ind
e
x expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
scan
.
cc: extrac
t
_skip: u
s
e pet_expr_fro
m
_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
pet
_
sk
i
p_info_if::extract: tak
e
ind
e
x ex
p
ression instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
scan
.
cc: univ
e
rsally:
us
e
pet_ex
p
r_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doo
l
ae
g
e
PetScan::ex
t
ract_c
o
ndi
t
ional_assignment: use pet_expr_from_i
n
dex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
r
e
place
P
etScan::extract_a
c
cess by PetScan::extract_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
scan
.
cc: e
x
tract out extract_access
_
expr
(
V
a
lue
D
ecl *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
c
c
: ex
t
ra
c
t_expr(Conditional
O
perator *
)
: use pet_expr_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
scan
.
cc: add
create_test_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next