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
extract out pet_expr_is_assume
2014-03-19
Sven
V
erdoolaege
support intMod, intCeil
a
nd intFlo
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
provide getter and set
t
e
r
f
or d
e
tect-conditional-as
s
i
g
nment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
p
et_check_
c
o
de:
dum
p
iterat
i
on domains if they are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
pet
_
chec
k
_code: pa
r
se
i
s
l options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en V
e
rdoola
e
ge
scan
.
cc: indica
t
o
r_function: co
a
lesce domain before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
scop
.
c
:
f
ix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doo
l
a
ege
scan
.
cc: fix t
y
p
o
s
in
comme
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pet
_
scop_restrict_skip:
fix
t
ypo i
n
e
rro
r
m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
a
e
g
e
P
e
tScan::is_nested_allowed
:
check for skip cond
i
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pr
i
n
t
.
c: print_pet
_
expr:
fix m
e
m
o
ry
m
a
nagement annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
drop d
e
ad
method
PetScan::is
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
scop
.
c
: embed_acc
e
ss: drop redu
n
dant
v
a
riabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
doolaege
pet_scop_filter_skip
:
avoid re
c
omputation of test expr
e
ssion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
Pe
t
Scan::extra
c
t
_
non_affine_condition: remo
v
e red
u
ndant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
sep
a
rate out shared PetScan:
:
update
_
scop_start_end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
pet
_
expr_
d
u
m
p: only print
e
xpr->acc
.
ref_id
i
f it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Verd
o
o
laege
sc
o
p
.
c
: stmt_propagate
_
params: also update accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdo
o
laege
sc
o
p
.
c: stmt_collect_params: also co
l
lect par
a
meters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
g
e
s
c
op
.
c: *_co
l
lect_params: fix error hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pe
t
_scop_align_params: improve e
r
ror h
a
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
o
o
laege
pet_scop_align_p
a
rams
:
re
n
ame "dim"
v
ar
i
ab
l
e t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolae
g
e
P
e
tScan
:
:ext
r
act_nes
t
ed:
p
l
ug memory le
a
k
o
n
err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
s
c
an
.
cc
:
c
l
ear_assign
m
ent:
fix logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
PetSc
a
n
::ext
r
act(If
S
tmt *)
:
clear ass
i
gn
m
ents i
n
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::ex
t
r
a
ct_infinite_for: also
clear assignm
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
P
e
t
Scan::
e
xtract_
f
or: always keep virtual iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
modify tests/uns
i
gned3
.
c t
e
st case
to use t
h
e
it
e
ra
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
Verd
o
ola
e
ge
when autodet
e
ct
i
ng only
s
k
i
p initial declarat
i
ons in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
do not ext
r
act loo
p
ar
o
u
nd partial
body when autodetecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdool
a
ege
PetScan::extract_non_affine_condition: tak
e
st
a
tement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
V
erdoolaege
Pet
S
can
:
:extract_
f
or: do n
o
t a
l
low in
i
tial value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven
V
erdo
o
laege
PetScan
:
:ex
t
ra
c
t_for: clea
r
as
s
ignment
to it
e
rat
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
v
e
n
Verdoolaege
Pet
S
can::u
n
sup
p
orted: p
a
ss f
i
xed chara
c
ter string to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Ve
r
d
oolaeg
e
configure
.
ac:
add llvm
-
config --system-libs
t
o C
L
ANG_L
I
BS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdo
o
laege
update
i
sl fo
r
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdo
o
laege
Makefile
.
am: avoid use of INCLUDE
S
variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
AX_DETECT_GI
T
_HEAD
:
detect git v
e
r
sion with newer versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
S
ven Verd
o
olaeg
e
README:
add contact information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoo
l
aege
ad
d
a
f
fine assumpt
i
ons to
t
h
e
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
parse __pencil_ass
u
me stat
e
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven Ve
r
doolaege
extract out PetS
c
an::extrac
t
_argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven
V
erdo
o
la
e
ge
add sup
p
ort for
s
tructs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
add pet
_
scop_collect_tagged_must_
k
ills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet
_
scop_collect_must
_
k
i
lls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scop
.
c: extract ou
t
expr_collect
_
acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaeg
e
scop
.
c: scop_collect_ac
c
esses: re
n
a
m
e "dim"
v
ari
a
b
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
add pet_expr_ac
c
ess_get_t
a
gged_ma
y
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add p
e
t_scop_collect_ta
g
ge
d
_{may,must
}
_{reads,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ve
r
doo
l
aege
export pet_expr_access_get_may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n V
e
rdoolaege
scop
.
c: ex
p
r_collect
_
accesses: p
l
ug me
m
ory leak o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
doolaege
extract out pet_cl
a
ng_ba
s
e_type into
s
eparate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoo
l
aege
scan
.
cc: e
x
tra
c
t out
s
u
bscript
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ve
r
do
o
laege
sco
p
.
c: extract
o
ut *_is_virt
u
a
l
_array funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdoolaege
pet_expr_fro
m
_
i
nde
x
_an
d
_
dept
h
: ext
r
act
o
ut extend_r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
in
t
roduce
pet_
t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
use isl_*_reset_user in
s
t
e
ad o
f
*_anonymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
up
d
ate
isl fo
r
s
upport for memb
e
r acc
e
sse
s
in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en
V
erd
o
olaege
pet_expr_free: return s
t
ru
c
t pet_
e
xpr *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ver
d
oolaege
PetScan::r
e
solve_n
e
sted(struct pet_st
m
t *)
:
remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erd
o
olaege
PetScan::resolve_n
e
sted(stru
c
t pet_expr *
)
:
remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc:
comput
e
_
w
rap
p
ing: remove unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdo
o
lae
g
e
s
c
an
.
cc: extract_
s
kip
_
se
q
:
r
emo
v
e unused v
a
r
iab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: universally:
r
em
o
ve u
n
us
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
P
e
t
S
can::extract_
a
ffine: remove
unu
s
ed
v
a
ri
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaeg
e
Ma
k
efile
.
am: add
d
ummy
C
+
+ source file to pet and pet_check
_
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
stop l
i
nking in c
l
ang libr
a
ries directly into pe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rd
o
olae
g
e
a
l
so print
c
lang ve
r
sion wh
e
n
p
rin
t
ing pet vers
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
README:
u
pdate latest rele
a
se of LLVM/clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
v
en V
e
r
d
o
olaege
p
arse
.
c: remove spuriou
s
d
uplicate declaratio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdo
o
laege
pet_scop_free: return stru
c
t p
e
t_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
v
en
Verdoolaege
P
etScan:
:
extract(
S
tmtR
a
ng
e
, bool, b
o
ol): brea
k
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdo
o
laege
pet_scop_collect_{re
a
ds,
w
r
ite
s
}: take argume
n
ts into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
p
et_scop_
c
ollect_{
r
eads,writ
e
s}: inte
r
sect ranges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sve
n
V
e
r
doolae
g
e
scan
.
c
c: extract
_
depth: use co
r
rect
d
imensio
n
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
S
ve
n
Verdool
a
ege
pe
t
_exp
r
_
f
rom_access_and_index
:
plug mem
o
r
y
leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
S
ven Verdoo
l
aeg
e
c
o
nfigure
.
ac: remov
e
explicit dependence on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
discar
d
i
n
c
o
mp
l
etely extrac
t
ed c
o
mpound statement
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verd
o
olaeg
e
fix han
d
ling of compound statements with initial
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet
_
transform_C_sou
r
ce:
hand
l
e
multiple e
x
plicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven V
e
rdoolae
g
e
add p
e
t
_scop_
p
rint_or
i
ginal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdool
a
ege
a
dd p
e
t_t
r
ansform_C_sou
r
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolae
g
e
exte
n
d P
e
tASTConsumer to extra
c
t a scop
f
or ea
c
h
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdo
o
laege
post-
p
rosc
e
ss
s
cop
s
insid
e
PetAS
T
Consumer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_stm
t
_b
u
ild_ast_expr
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add pet_stmt_pr
i
n
t
_
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_sco
p
_has_dat
a
_dependent_condit
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add pet_
s
cop_has_da
t
a
_dep
e
ndent_acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
pe
t
_
check_code: use ind
e
x
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_check_code: use isl_id_to_p
w
_aff
f
or
keeping track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
u
p
date
i
sl f
o
r isl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
k
eep track of index ex
p
r
e
ssions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
scop
.
c:
f
i
x
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaeg
e
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
scop
.
c: insert_f
i
l
ter_map: construct functi
o
n i
n
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
scop
.
c: update_domain: use function intead of relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c: upd
a
te_domain:
rename vari
a
b
le "dim" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
eg
e
P
e
tScan::resolve_nested: use fu
n
c
tion to embed arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdool
a
ege
PetSc
a
n:
:
kill: use pet_expr_kill_from_acce
s
s
_
a
n
d
_
index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolae
g
e
scop_ad
d
_a
r
r
a
y: t
a
ke i
n
d
ex
e
x
p
ression
instead
of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoola
e
ge
pet_scop_filter
:
take i
n
dex expression
instea
d
of a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next