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
rdoola
e
ge
PetScan
:
:extra
c
t_non
_
affine_condition
:
remove redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n van Haastregt
AX_DETECT_GIT_HEAD: avoid empty
version st
r
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaeg
e
separate
o
u
t s
h
ared
PetScan::update_scop_start_en
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
p
e
t_expr_dump: only prin
t
expr->a
c
c
.
ref_id
i
f it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoola
e
ge
scop
.
c: stmt_propagat
e
_params: a
l
so update accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doo
l
a
e
ge
s
c
op
.
c
: s
t
m
t_collect_params:
a
ls
o
collect p
a
rameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
scop
.
c: *_collect_params: fix
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
pet_sc
o
p_
a
lign_
p
arams: improve
error handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_al
i
gn_para
m
s:
rename "dim" variable t
o
"
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
eg
e
PetScan::extract_nested: plug
m
emory leak on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolae
g
e
scan
.
cc: c
l
e
ar_a
s
signment:
f
ix logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
PetScan
:
:extract(IfStmt *): cle
a
r assignmen
t
s
i
n
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdoolaege
Pe
t
Sca
n
::extract_infinite_for: also
c
l
e
ar a
s
si
g
nments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan:
:
e
xtract_f
o
r: alw
a
ys
k
e
e
p
virtual it
e
rator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
r
d
o
o
laege
mod
i
fy test
s
/
u
nsigned3
.
c test case to use
t
he
i
te
r
ator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven V
e
r
do
o
laege
wh
e
n autodetecting
only
skip
i
nitial
d
e
claration
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
e
n Verdoolaege
d
o not
extract lo
o
p arou
n
d
p
artial body when
a
u
to
d
etecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Ve
r
doolaege
P
etScan::extract_non_affine_condition: take stat
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
V
e
rdoolaege
PetSc
a
n::ext
r
act_
f
or: do not a
l
low
i
ni
t
ial value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
V
er
d
o
olaege
Pet
S
can::ext
r
act_for:
clear
assign
m
e
n
t t
o
iterat
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaeg
e
PetScan:
:
uns
u
pported: pass
f
ixed cha
r
acter st
r
i
n
g to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven V
e
rdo
o
laege
confi
g
ure
.
ac:
a
dd llvm-con
f
ig
-
-syste
m
-libs to CLANG_
L
IBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Ver
d
oolaege
upda
t
e isl for support for r
e
cent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven Ver
d
oolaeg
e
Mak
e
file
.
am: avoid use
o
f
INCLUDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sve
n
Verdoolaege
AX_DETECT_GIT_HEAD
:
det
e
ct
g
it
v
er
s
ion wit
h
newer versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sv
e
n Verdoo
l
aege
READ
M
E:
add contact i
n
format
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Albert Cohen
Supp
o
rt for
additional b
i
n
ary/unary operator
s
in C
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Verdoolaege
ad
d
affine a
s
sumpt
i
ons to the c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
S
v
en Verdoolaege
pa
r
se __pe
n
cil_ass
u
me state
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdool
a
ege
extract out P
e
tSca
n
:
:
extract_argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdool
a
ege
add support for structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoo
l
a
ege
a
dd pet_scop_collect_tagged_must_
k
ills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
add pet_
s
cop_colle
c
t
_mus
t
_ki
l
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoo
l
aege
scop
.
c: extract out
e
xpr_c
o
l
lect_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: sco
p
_collect_access
e
s: renam
e
"dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_expr
_
access_get_tagged_may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaeg
e
add p
e
t_
s
cop_
c
ollect_tagged_{may,must}_{r
e
ads,w
r
ites}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdo
o
l
aege
ex
p
ort pe
t
_expr_access_ge
t
_may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: expr_collect_acc
e
s
ses: plug memo
r
y leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
e
xtract ou
t
pet_clan
g
_base_type into
se
p
a
r
a
te file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rd
o
ola
e
ge
sca
n
.
cc: ex
t
ract out subscr
i
p
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
sc
o
p
.
c: extract out *_is_vi
r
tual_
a
rra
y
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pe
t
_expr
_
from_inde
x
_and_depth: ex
t
ra
c
t out ext
e
nd_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
i
n
troduce pet_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
use isl_*_reset_user
i
n
s
tead
o
f *_anonymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolae
g
e
update isl for sup
p
or
t
for member acces
s
e
s
in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
pet_expr_fr
e
e: ret
u
rn struct
p
e
t
_e
x
pr *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
oo
l
aege
PetSc
a
n
::
r
esolve_ne
s
t
ed(struct pet_stmt
*
): remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoo
l
aege
PetScan::resolve_nested(struct pet_expr
*
):
r
emov
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
sc
a
n
.
cc: compute_wr
a
pping:
remove unus
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
scan
.
cc: extract_skip
_
seq:
r
emove unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: univer
s
all
y
: remove unuse
d
va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
oolaege
PetS
c
an::extract_affi
n
e:
remove
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
Makefile
.
am: add dummy C++ so
u
rc
e
file to pet and pet_che
c
k_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verd
o
olaege
stop linking in
c
lang libraries directly
i
nto pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n V
e
rdoo
l
aege
also print
c
lang version
w
hen printing pet version
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
README: upda
t
e latest relea
s
e o
f
LLVM/clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolae
g
e
parse
.
c:
remove spuriou
s
dup
l
i
c
a
te declaration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaege
pet_scop_free:
re
t
ur
n
struct pet_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ven Verdoolaege
PetS
c
an
:
:extract(Stm
t
R
a
nge, b
o
ol, bo
o
l): break out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoola
e
ge
pet_scop_c
o
llect_
{
r
eads,write
s
}
:
tak
e
a
r
gu
m
ents
into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_scop_collect
_
{
r
eads
,
writes}: intersect ranges
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven V
e
rd
o
ola
e
ge
scan
.
c
c
:
e
x
tract_depth: use correct d
i
men
s
io
n
typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdool
a
ege
pet_e
x
pr_f
r
om_acce
s
s_and_index: p
l
ug me
m
ory l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sve
n
Verdoolaege
c
o
nfigure
.
ac: remove
e
xplic
i
t d
e
pende
n
ce on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
di
s
c
ard incompletely
e
xtracte
d
c
o
mpound sta
t
ements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
fix han
d
ling
o
f
c
ompound
s
t
a
temen
t
s wi
t
h i
n
itial partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
pet_t
r
ansfor
m
_
C
_s
o
ur
c
e: hand
l
e
m
ultiple ex
p
lici
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdo
o
laege
add pe
t
_scop_print_origi
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add p
e
t_tran
s
form_C_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
extend
P
e
t
A
STConsumer to extrac
t
a
sco
p
f
or each
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
post-pr
o
scess s
c
ops inside PetASTConsumer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add
p
et
_
s
t
mt_bui
l
d_ast_exprs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
o
o
laege
add pet_stmt_print
_
bod
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
p
et_scop_has
_
data
_
depe
n
dent_con
d
itions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
pe
t
_sc
o
p_has_data_dependen
t
_ac
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_check_code: use in
d
ex ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
dool
a
eg
e
pe
t
_check_code: use isl_id_to_pw_aff for k
e
eping tr
a
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
upda
t
e isl for isl_id_
t
o_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
k
eep track of
i
ndex expres
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
sco
p
.
c: fix
t
ypo
in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
u
p
d
ate
test
case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
s
cop
.
c: insert_fil
t
er_map: c
o
ns
t
ruc
t
function
int
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
scop
.
c: updat
e
_domain: u
s
e function in
t
e
a
d of
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c:
u
pdate_domain: re
n
a
m
e va
r
iabl
e
"dim" to
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
P
e
tSca
n
::resol
v
e_nested: use fu
n
c
tion to embed
a
rg
u
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdoolaege
PetScan::kill:
use pet
_
expr_kill_from_access_
a
nd_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
g
e
sco
p
_add_arra
y
: take index expression instead o
f
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pe
t
_scop_filte
r
:
t
ake index expressi
o
n instea
d
of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
use an isl
_
multi_pw_aff to
represent a skip c
o
ndit
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
pet_skip_info
:
use isl
_
mu
l
t
i_pw_aff to re
p
r
esent
s
kip
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Ver
d
oolaeg
e
PetS
c
an:
:
extract_non_affine_cond
i
tion:
t
ake index e
x
p
r
e
s
sion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
scan
.
c
c: e
x
t
ract_sk
i
p: use pet_expr_fr
o
m_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
olaege
p
e
t_skip_info_if::extract:
take index expression instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
scan
.
c
c: universa
l
l
y
:
use p
e
t_expr_from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n V
e
rdoolaege
P
etScan::e
x
tract_conditiona
l
_assign
m
e
n
t: use pet_ex
p
r
_
from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
re
p
l
ace
P
etSc
a
n::extract_ac
c
e
ss b
y
PetSc
a
n:
:
extract_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
erdoo
l
aege
scan
.
cc: ext
r
act out extract_access_ex
p
r(ValueDecl *)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
scan
.
cc: extr
a
ct_expr(Conditional
O
p
erator *): use pe
t
_expr_f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
cc:
add cr
e
a
te_test_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
