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_affine(IntegerLiteral *): rename "dim" variable to "space"
2014-03-24
S
v
e
n
Verd
o
o
laege
PetScan
:
:
e
xtrac
t
_a
f
fine(Int
e
gerLiteral *): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
add
p
et_ex
p
r
_
extract_affi
n
e and pet_ex
p
r_ext
r
act_a
f
fine_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verd
o
olaege
add pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
pet_comp
a
rison: handle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
pe
t
_
to_bool
:
handle NaN
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
pet_not: ha
n
dle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
u
pdate is
l
f
o
r affine NaN expres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
ad
d
supp
o
rt for nested acce
s
se
s
represented by a p
e
t_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
s
eparate out extracti
o
n of nest
e
d expr
e
ssio
n
fr
o
m i
s
l
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
p
e
t_ex
p
r_is_scal
a
r
_
access:
d
o not con
s
i
d
er scalar fie
l
ds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verd
o
olaege
extra
c
t
o
ut pet_e
x
t
r
act
_
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoolaege
extr
a
c
t o
u
t pet
_
boolea
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
e
xtra
c
t out pet
_
to_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract
out p
e
t_not
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
d
oo
l
aege
extract out pet_and
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
oolaege
add more pet_expr_is_* fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
e
x
t
ract o
u
t th
e
h
a
ndl
i
ng of skip conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
extra
c
t
out
pet_create_tes
t
_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdool
a
ege
extract o
u
t
p
et_scop_add_bo
o
lean_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
cc: scop_add_array: re
n
ame "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erdoolaeg
e
pe
t
_expr: keep track of typ
e
_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
laeg
e
e
xtract shared
PetScan::e
x
t
ract_access_
e
xpr
(
isl_mu
l
ti
_
pw
_
aff *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
e
x
t
rac
t
o
u
t pet
_
co
m
parison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
oolaege
sca
n
.
cc: move UnaryOpera
t
orKind2pet_op_
t
ype, Binary
O
p
e
ratorK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add pet_stmt_ca
n
_
build_ast_e
x
prs
a
nd pe
t
_scop_ca
n
_build_ast_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rd
o
olaege
p
et_
s
cop_collect_arrays: collect arrays in a sorted set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
p
e
t_scop_collect_a
r
rays: avoid
t
ryin
g
to re
m
o
v
e "typ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_stmt
_
fro
m
_pet_ex
p
r: dro
p
isl_ctx argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaeg
e
m
a
k
e pe
t
_
expr
ob
j
ects refere
n
ce co
u
n
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
P
etScan::extract_argume
n
t: avo
i
d
modi
f
yin
g
part of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven
Verdoolaege
update i
s
l for __isl_nu
l
l
memory ma
n
ag
e
m
e
nt annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
e
x
tr
a
ct
some ne
s
ted
param
e
t
e
rs related cod
e
into
n
e
s
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
add
pet_exp
r
_access_get_ref_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Ver
d
oolaege
add pet
_
e
x
p
r
_
access_is
_
read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
add pet_exp
r
_acces
s
_is_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoo
l
aege
a
dd pet
_
expr_foreach_
c
a
ll_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdool
a
ege
add p
e
t_expr_dou
b
le_get_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
a
d
d
p
et_expr_access_get_dependen
t
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Ver
d
oolaege
add
pet
_
expr_access_get_
m
ust_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
update isl
for isl_s
p
ace
_
domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doola
e
ge
ex
p
o
rt pe
t
_expr_acces
s
_get_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
l
a
ege
e
xp
o
rt pet_expr_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
d
o
o
l
a
eg
e
export pe
t
_
expr_
i
s_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdool
a
ege
ex
p
ort pet_expr_
f
or
e
ach_acc
e
ss
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Ve
r
d
oola
e
ge
extract out
pet_
e
xpr_access_pul
l
back_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
ex
t
ract out pet
_
expr
_
access
_
mo
v
e_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
doolae
g
e
extract out p
e
t_ex
p
r_access_g
e
t_p
a
rameter
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoola
e
g
e
ex
t
ract
o
u
t
pet_expr_access
_
get_data_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
x
t
ract out pet_expr_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
e
x
tract out pet_value_bounds_apply to a se
p
arate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
move
pet_e
x
pr
f
unctions
t
o separate
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
scop
.
c: expr_writes: use pet_expr_foreach
_
access_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
sc
o
p
.
c: expr
_
d
etect_parameter_accesses: use pet_
e
x
pr_ma
p
_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oo
l
aege
pet_
s
cop_detect_parame
t
er_accesses:
r
e
name "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
scop
.
c: expr_p
r
opaga
t
e_params: use pet_expr_map_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdool
a
ege
extra
c
t o
u
t
p
e
t
_
fil
t
er_
i
nsert_
p
ma to
separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoo
l
aege
a
dd mor
e
t
es
t
cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
V
e
rdoolaege
pet_expr: merge unary, bin
a
r
y and ternary types into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
r
doolaege
extract integers
a
s inte
g
er
ex
p
ressions
r
a
t
her
t
han
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verd
o
ola
e
ge
updat
e
test cas
e
outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
V
erdoolaege
add support fo
r
int expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n Verdoolaege
pet_
c
heck_code
.
c: pass alo
n
g
itera
t
ion
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdool
a
ege
extr
a
ct out
s
hared p
e
t_stmt_get_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
export
pet_expr_
f
r
o
m_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
p
et_scop_embed: p
a
ss
i
s
l_a
f
f
s
chedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n Verdool
a
e
ge
extract out pet_stm
t
_
i
s_assign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven
V
erdoolaege
e
x
tract o
u
t
c
ommon
p
et_stmt_is_kil
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
do
o
l
a
ege
PetSc
a
n::extract_i
n
crement: imp
r
ove error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
support
logi
c
al operator
s
in expr
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaeg
e
suppor
t
intMod, intCeil a
n
d
intFloor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
p
r
ovide getter
and setter for detect-co
n
ditiona
l
-assignmen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ve
r
doolaege
pet_che
c
k_cod
e
:
dump itera
t
i
o
n domains if they are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pet_check_c
o
de: pa
r
se
isl options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
c
an
.
cc:
i
ndicator_fu
n
ction: coalesce do
m
a
i
n
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
scop
.
c: fix t
y
pos in c
o
mm
e
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olae
g
e
scan
.
cc
:
fix typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
pet_scop_restrict_sk
i
p: fix typo in error me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laeg
e
Pet
S
can::is_nested_
a
llowed:
c
heck for skip conditions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
la
e
ge
pri
n
t
.
c: print_pet_expr: fix memory manage
m
ent annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olae
g
e
d
r
op dead method PetScan::i
s
_
a
ff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
cop
.
c: embed
_
access:
d
rop redun
d
ant va
r
i
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_filter_skip: av
o
id
r
ecomputatio
n
of test exp
r
ession
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoola
e
ge
Pet
S
can::ext
r
act_n
o
n_a
f
fine_conditio
n
:
remov
e
r
e
dundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
separate out
s
h
ared P
e
tScan
:
:update_scop_s
t
art_
e
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_
e
xpr_dump: only print expr->ac
c
.
ref_id if it is set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
scop
.
c
:
st
m
t_propagate
_
params
:
also u
p
date acc
e
sses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven V
e
rdool
a
ege
s
cop
.
c
: stmt_colle
c
t_params
:
also collect p
a
rameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
scop
.
c: *_collect_
p
a
r
ams: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ve
r
doola
e
g
e
pet_sco
p
_align_p
a
ram
s
:
improve error ha
n
dli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolae
g
e
pet_s
c
o
p_align_
p
arams: rename
"
d
i
m" varia
b
le
t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
PetS
c
an::e
x
tract_nest
e
d: plug memo
r
y leak
o
n e
r
ro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
scan
.
cc
:
c
lear_
a
ssignment: f
i
x l
o
g
i
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaeg
e
P
etS
c
a
n
::extract(IfStmt
*): clear
assignments in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
V
e
r
doolaege
PetScan::extr
a
c
t_i
n
finite_for:
also clear assignments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
PetSc
a
n::extract_for
:
alway
s
k
eep vi
r
t
ual iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
Verdoolaege
m
o
dify
tests/un
s
i
g
ned3
.
c test case to use th
e
iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoolaege
whe
n
autod
e
tec
t
ing
o
nly skip initial declarat
i
o
n
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoolaege
do
n
ot extract
l
oop aro
u
n
d p
a
rtial body when autodetec
t
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
Pe
t
Scan::
e
x
t
r
act_non_
a
f
fine_
c
on
d
it
i
on: take statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdool
a
e
g
e
PetSc
a
n:
:
extract
_
for: d
o
not allow ini
t
ia
l
valu
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next