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
replace pet_stmt_from_pet_expr by pet_stmt_from_pet_tree
2014-03-24
Sv
e
n Verdoolaege
PetScan::r
e
solve_ne
s
ted: ha
n
d
le self depend
e
nces in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::
r
e
s
olve_nested: h
a
n
d
le pre
s
ence of
a
rguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdo
o
l
aege
add functions f
o
r manipulating
expr
e
ssion argumen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoo
l
a
e
ge
add pet_expr_access_pullback
_
multi_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aeg
e
separate ou
t
array
index ma
n
ipulation functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan::ext
r
act_con
d
i
t
ion
a
l_assignmen
t
: extrac
t
write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oola
e
ge
PetScan
:
:mark_write: turn i
n
to a
s
tatic
function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
o
olaege
pos
t
pone clear
i
n
g
assigned value
s
until the point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ola
e
ge
pos
t
pone handling of
assignments u
n
t
i
l the point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdoolaege
PetScan::ass
i
g
n
: take
p
e
t
_expr as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pe
t
Sc
a
n::extra
c
t_exp
r
(Con
d
itional
O
perator *):
p
r
e
serve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_c
h
eck_code: op
_
expr_extract_pw
_
aff: han
d
le more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
move pe
t
_nested_extra
c
t_expr to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doola
e
g
e
PetScan::extract_affine: extract expressio
n
a
s
pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
treat fors w
i
th non
-
affine initialization or non-const
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
PetS
c
an::extra
c
t_for:
mov
e
up extracti
o
n of constant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verd
o
ola
e
ge
PetScan::
e
xtra
c
t_for: extract initial val
u
e
as
p
et_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdool
a
e
g
e
PetScan::extract_
f
or: extract
i
ncrem
e
nt as
p
et_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
oolaege
P
etScan
:
:
e
xtract(pet_ex
p
r*): take
e
xplici
t
source
r
an
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
olaeg
e
extra
c
t ou
t
PetScan
:
:extract_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan::extract_condition: convert clang::Expr t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aege
s
can
.
cc: s
e
pa
r
ate out shared create_de
c
l_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
e
rdoolaege
represent aff
i
ne expressi
o
ns
on zero-dim
e
nsi
o
nal domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
PetScan::ex
t
ract_b
i
n
ary_increment: rename "di
m
" variabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetScan:
:
nes
t
e
d_access
:
rename
"di
m
" variabl
e
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
P
etSca
n
::extract_
a
ffin
e
(
DeclRefE
x
pr *): rename
"dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan:
:
extract_affine(const ll
v
m::A
P
Int &): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan::
e
xtract_af
f
ine(Integ
e
r
L
iteral *)
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
aeg
e
add pet_expr_extract_affine and
p
e
t
_
expr_extract
_
affi
n
e_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
dool
a
ege
add pet
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erd
o
olaeg
e
pet_comparison: handle NaN
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
g
e
pet_t
o
_bool: handle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aege
p
e
t_
n
ot: handle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
u
pdate isl for a
f
fine
NaN expre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
add
s
upport f
o
r nested accesse
s
r
e
p
resented
b
y
a pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
separate out extracti
o
n
of nested
e
xpres
s
ion from
isl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
p
et_ex
p
r_is_scalar_access:
d
o not consi
d
er s
c
alar fields
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
ex
t
ract out p
e
t_extract_
c
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
ext
r
act o
u
t p
e
t_boolean
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
e
xtract ou
t
p
e
t_to_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
e
x
tract out pet_
n
ot
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
e
xtract out pet_and
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoola
e
ge
add
more pet_ex
p
r
_
is_
*
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
extr
a
ct out th
e
h
a
ndl
i
n
g
of
s
kip
co
n
dit
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doolaege
extr
a
ct out pet_create
_
test
_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
extract out pet_scop
_
add_boole
a
n_arra
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdo
o
laege
sc
a
n
.
cc: scop_add_a
r
ray:
r
ename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
p
et_exp
r
:
keep track
of type_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
extra
c
t
s
hared
P
etScan::extract
_
access_expr(is
l
_multi_pw_aff *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoola
e
ge
extr
a
ct out pet_compa
r
ison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
sca
n
.
cc: m
o
ve UnaryO
p
e
rator
K
ind2pet_o
p
_ty
p
e, BinaryOperat
o
rK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
a
d
d p
e
t
_
s
t
m
t_can_build_ast
_
exp
r
s a
n
d pet_scop
_
can_b
u
i
ld_ast_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
o
ola
e
ge
p
e
t_scop_colle
c
t_arrays: collect arrays in a sorted set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdo
o
l
a
ege
pet_sco
p
_
c
ollect_arrays: avoid trying
t
o r
e
mo
v
e "type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
d
o
o
laeg
e
pet_stmt_from_pet_expr: drop isl_c
t
x argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdo
o
laege
ma
k
e pet_e
x
pr objects reference
c
ounted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
P
e
tScan::ext
r
a
ct_arg
u
ment:
avoid modifying part of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdo
o
la
e
ge
update isl for __isl_null memor
y
m
a
nagement ann
o
t
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract so
m
e neste
d
p
aram
e
ters re
l
at
e
d cod
e
i
nto nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
a
d
d pet_ex
p
r_access_ge
t
_ref_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolae
g
e
a
dd pet_expr_access_is_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
r
doo
l
aege
add pet_e
x
p
r_access_is_w
r
i
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
e
r
doo
l
aege
add pe
t
_expr_foreach_call
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven
V
erdoola
e
ge
add pet_expr_double
_
get
_
st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolae
g
e
add pet_e
x
p
r_access_get_dependent_
a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Ver
d
oolaege
add
pet_exp
r
_acces
s
_get_must
_
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolae
g
e
upd
a
te isl
f
or isl_space_domain_f
a
c
tor_
d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Ve
r
do
o
l
aege
e
xport pet_e
x
pr_access_
g
et_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
e
x
p
ort pet_expr_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
e
xport pet_ex
p
r_is_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
e
x
port pet_expr_foreach_access
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
l
a
e
g
e
extr
a
ct
out pet_expr_access_pullba
c
k_mu
l
t
i
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoo
l
aege
extra
c
t out pet_expr_a
c
cess_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
ext
r
ac
t
out
p
et_expr_
a
ccess_ge
t
_parameter_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
extra
c
t
o
ut pet_ex
p
r_acce
s
s_get_data_
s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
ex
t
rac
t
out pet_expr
_
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pet_val
u
e_bounds_app
l
y
to a se
p
arate fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
V
e
r
d
oolaege
move pet_expr fu
n
c
t
ions to separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
o
o
laeg
e
sc
o
p
.
c
: expr_wr
i
t
e
s:
use pet_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoo
l
aege
scop
.
c: e
x
pr_detect_param
e
ter_a
c
cesses:
u
se
p
e
t_expr_map_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n
V
erdool
a
ege
pe
t
_scop_detect_parameter_accesses: rename "di
m
" va
r
iabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
a
e
ge
scop
.
c
:
expr_propagate_param
s
:
use
pet_
e
xp
r
_
m
ap_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pet_filter_insert_pma
to separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoo
l
aege
add more test cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en
Verd
o
olaege
pe
t
_expr: mer
g
e unary, bin
a
ry and t
e
rnar
y
types int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n
V
e
rdool
a
ege
extract integers as in
t
eger expressions ra
t
he
r
t
h
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
er
d
oolaege
u
pdate
t
est case outp
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erdoolaege
add s
u
p
p
ort for int expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laeg
e
pe
t
_ch
e
ck_code
.
c:
p
a
ss al
o
ng iterat
i
on space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
x
tract out shared
pe
t
_stmt_
g
e
t
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Ver
d
o
olaege
expor
t
pet_expr
_
from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
p
e
t
_scop_embed: pas
s
isl_aff sc
h
e
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ve
n
V
e
rdoolaege
extrac
t
out pet_stmt_is_assign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verd
o
olaege
e
xtract ou
t
common pet_stmt_is_ki
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
PetSc
a
n
:
:extr
a
ct_in
c
reme
n
t: improve er
r
or messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Ve
r
doolae
g
e
support
l
ogic
a
l o
p
e
r
a
t
ors
i
n exp
r
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
o
laege
support int
M
od, intCeil
and
i
ntFloor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
pr
o
vide getter and setter
for detec
t
-con
d
ition
a
l
-assignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
p
e
t
_
check_code: dump iteration domains
i
f they are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet
_
c
h
eck_code: parse isl
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next