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
pet_expr: keep track of function summaries in call expressions
2014-06-20
Sven
V
erdoolaeg
e
pet_expr
:
keep
track of fun
c
t
i
on
s
umma
r
ie
s
i
n
c
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
p
e
t_e
x
p
r
:
p
ut pet_expr_call field
i
n subs
t
ructu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
i
n
troduce pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Ve
r
doolaege
p
e
t
_expr_access_set_access:
s
et read/w
r
ite on
non-emp
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdool
a
e
g
e
break up access rel
a
tion
s
into ma
y
_read/may_write/must
_
write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
add pet_union_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
intr
o
duce
pet
_
expr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
drop pet_expr_
f
rom_access
_
and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
explicitly mark kill acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr: represent read/write flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: docu
m
ent the read and write
f
ields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
break up
access r
e
lations into may_rea
d
/
may_wr
i
t
e
/m
u
st_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
ol
a
ege
pet_expr_tag
_
access: av
o
id use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
p
o
s
t
pon
e
introduct
i
on of acc
e
s
s
relati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
ol
a
ege
e
m
it
.
c: em
i
t_expr: ex
t
r
a
ct
o
ut emit_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
drop pet_expr_access
_
get_a
c
c
e
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
n
e
st
.
c: move is_sub_acc
e
ss to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
tree2scop
.
c: ex
t
ract_kill:
u
pdate kill expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is_affine: avoid using a
c
c
e
ss relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoola
e
ge
pet_expr_filter: av
o
id using acce
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
pet
_
expr_acce
s
s_update_doma
i
n
: av
o
id us
i
ng access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
laege
pet_e
x
pr_access_get_must_access: av
o
id using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
ge
pet_expr
_
ac
c
ess_g
e
t_id: av
o
id us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
ge
expr
.
c: a
c
cess_
a
dd
_
ref_
i
d
:
avoid u
s
ing acces
s
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
sc
o
p
.
c: access_
c
oll
e
ct_params: avo
i
d using
a
c
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: implies
_
filter: av
o
id using
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
scop
.
c
:
a
cc
e
ss_extract_conte
x
t: avo
i
d using acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c:
e
xp
r
_ex
t
rac
t
_context: avoid
using a
c
cess r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
scop
.
c
:
extract out shared d
r
o
p_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_up
d
ate_domain: min
o
r clean-up of expressi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
o
l
a
ege
fur
t
her genera
l
i
z
e co
m
pute_to_inner to
support pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
generalize compute_to_
i
nner to support pet_s
c
o
p
_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aeg
e
scop
.
c
:
comp
u
te_to_inner: micr
o
-op
t
imization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdo
o
la
e
ge
tree2scop
.
c: is_n
e
sted_al
l
ow
e
d: do
not allow ne
s
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
erdoola
e
ge
P
e
tScan::set_
u
p
p
e
r_bounds: use
d
eclared size
of
s
ta
t
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c:
r
e
s
trict_sk
i
p
: update documen
t
atio
n
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
Verdoolaege
tree
2
scop
.
c
:
sc
o
p_add_inc: t
a
k
e into a
c
count affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
tree2scop
.
c: mov
e
up apply_affine_co
n
tin
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
t
ree2scop
.
c: scop_from_non_affine_wh
i
le: extra
c
t out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdo
o
l
a
ege
update i
s
l to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Verdo
o
lae
g
e
README: update LLVM/clan
g
installation
i
ns
t
ru
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
interfac
e
/e
x
tract
_
i
nt
e
rface
.
c
c:
explicitl
y
inc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verd
o
olaege
upda
t
e for change in
argumen
t
s
o
f
C
omp
i
lerInsta
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolae
g
e
pet
.
c
c
: a
d
d
s
pace between literal and iden
t
ifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
update isl for support for r
e
c
ent
clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
p
e
t_s
t
mt_f
r
o
m_pe
t
_tree: avoid free of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolae
g
e
scan
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdool
a
ege
pet_scop_from_pet_stmt: do not ext
r
a
ct context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
PetScan::extrac
t
_argument: handl
e
passing of e
n
t
i
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
la
e
ge
Makefil
e
.
am: add dummy C++ s
o
urce
f
i
le to pet
_
sc
o
p
_
cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
hand
l
e pencil independent prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
PetScan: keep track of li
n
e number of curren
t
Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ve
r
doolaege
pet
.
cc: ext
r
act out
PetASTConsum
e
r::ad
d
_pragma_ha
n
dlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
a
dd en
c
ap
s
u
l
a
t
e
_
dy
n
amic_contr
o
l option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoo
l
aege
p
et_scop_fr
o
m_p
e
t_tree: create statements direc
t
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
r
eplace pet_stmt_from_pet_expr
b
y pet_st
m
t_
f
r
om_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet_stmt: use pet_t
r
ee to represe
n
t
statemen
t
bod
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
sco
p
.
c: extract out pet_st
m
t_is_affi
n
e_assume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
scop
.
c: stmt_c
o
llect_access
e
s: use pet_
e
x
pr_foreach_access_
e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
Verdoolae
g
e
scop
.
c: stm
t
_c
o
llect_
p
ara
m
s:
u
s
e
pet_expr_fo
r
each_a
c
cess_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
k
eep track of i
n
dentation of
extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
up
d
ate
t
est case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
ex
t
r
a
ct enum
c
onst
a
n
ts as their integ
e
r
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::extract_i
n
t
: se
p
arate out extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan:
:
extract_unsigned: turn in
t
o
a
sta
t
ic function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdo
o
laeg
e
scan
.
cc: change
t
extual o
r
der of extract_uns
i
gned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_code
.
c:
use pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
exp
o
rt p
e
t
_
expr_extract_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
c
o
ntext: no longer keep track of "
u
nknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaeg
e
pet_expr_extrac
t
_affine: no lon
g
er create new paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
an::extract_
s
c
op:
populate
p
et_context with p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
do
o
laeg
e
scan
.
cc:
move up
static get_arra
y
_t
y
pe function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetS
c
an::g
e
t_array_size:
cache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
Pe
t
S
can::set_up
p
er_bounds
:
extract out PetScan::get_
a
rray_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pe
t
_expr_is_equal: compare i
n
dex expre
s
si
o
ns up
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_expr_extract_af
f
i
ne: ex
p
l
oit domain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
ad
d
pet_c
o
ntext_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2sc
o
p
.
c: scop_fr
o
m_bloc
k
: collect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_scop
_
from_pet_tree:
ex
t
ract pet
_
sco
p
from
t
he
root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
add functions
for
m
an
i
pu
l
a
ting
t
he domain
o
f a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
p
et_
s
c
o
p_restrict: als
o
restrict v
i
rtual array
exte
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_
c
ontext_evaluate_exp
r
: first in
s
ert d
o
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
a
e
ge
pet_c
h
eck_code:
r
em
o
ve t
r
acking of
assignment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaeg
e
d
r
op pet_scop_detect_parameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
pet_contex
t
_ev
a
luat
e
_expr: also plug in affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verd
o
o
laege
separate out pet_context_ev
a
luate_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_context_mark_as
s
igned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
P
etScan::extract_
s
cop: clear wr
i
tes at o
u
ter level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop: locally constru
c
t pet_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
PetScan
:
:extract_scop: also
a
d
d all pet_array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_e
x
p
r
_filte
r
:
avoid introduction of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tre
e
2scop
.
c: is_simple_
b
ou
n
d: handle higher dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
tree
2
s
c
op
.
c: valid_for_each_iteration
:
handle hig
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: ad
d
_implic
a
t
i
on: han
d
le
h
i
g
her di
m
ension
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c:
m
a
p_to_p
r
eviou
s
: handle
h
igher dime
n
s
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: afte
r
: handle h
i
gher
d
i
mensio
n
al do
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_extra
c
t
_
nested_from
_
spac
e
: add ex
t
r
a
dime
n
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_ex
t
ra
c
t_nest
e
d
_
from_spa
c
e: em
b
ed a
r
guments
i
n given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_expr_access_get_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next