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
S
v
en V
e
rdoolaege
pet_expr:
k
e
ep tra
c
k
of function s
u
m
m
ar
i
es in cal
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
expr: put pet_
e
xpr_call
f
ie
l
d in su
b
struc
t
ure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
introduce pet_fun
c
tion_s
u
m
mary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_a
c
c
ess_set_acces
s
: set rea
d
/write on no
n
-e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up
a
ccess relations i
n
to m
a
y_read
/
may
_
w
ri
t
e/mu
s
t
_
w
r
i
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
add
p
et
_
union_ma
p
_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
int
r
od
u
ce pet_expr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
drop pet_expr_from
_
acc
e
ss_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
explicitly m
a
rk kill
ac
c
esses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdool
a
e
g
e
pet_expr: repr
e
sent read/write flags
a
s
b
its
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
p
et_expr:
document the re
a
d and wri
t
e f
i
e
lds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
break
up access rela
t
i
o
ns
i
nto
m
ay_read/may_
w
rite/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
p
e
t
_e
x
pr_tag_access: avoid use
of
t
arget space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
post
p
one i
n
tr
o
ductio
n
of access rel
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
emi
t
.
c: emit_
e
xpr: extract
ou
t
emit_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop
p
et_
e
x
pr
_
a
ccess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: move is_sub_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
t
r
ee2scop
.
c: extract_kill:
u
pd
a
te kill exp
r
ession rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
o
l
aege
pet_expr
_
is_affine: a
v
oid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
pet
_
exp
r
_
f
ilter: avoid using
a
c
c
ess
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr_
a
ccess_
u
pdate_
d
o
m
ain
:
avoi
d
us
i
ng ac
c
es
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoola
e
g
e
p
et_expr_ac
c
ess_get_mus
t
_access:
a
voi
d
usi
n
g acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
pet_expr_access_get_id: avoi
d
using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
expr
.
c: acce
s
s_add_ref_id: avoid using ac
c
ess relat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c: acc
e
s
s
_colle
c
t_params
:
avoi
d
using
a
c
cess relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
scop
.
c: implies
_
filter: avoid using
access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
scop
.
c:
a
c
cess_
e
xtra
c
t_co
n
text:
a
void using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
scop
.
c: expr_extrac
t
_context: avoid
using access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
scop
.
c
:
ex
t
rac
t
out
s
har
e
d
drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoola
e
g
e
pet_ex
p
r_acc
e
ss_update_domain: m
i
nor clean-up
o
f expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further generaliz
e
compute_to_inner to support
pe
t
_sc
o
p_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
generalize
compute_to_inner
to suppo
r
t pe
t
_
s
cop_
c
ompute_
o
u
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
sc
o
p
.
c: compute_to
_
inner: micro-optimizat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Verdoolaeg
e
tree2scop
.
c
:
is_nested_
a
ll
o
wed: do not a
l
low
n
esting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
dool
a
e
g
e
Pe
t
Scan::set_upper_bounds: use decla
r
ed si
z
e
o
f static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Ve
r
doolaeg
e
sco
p
.
c: restri
c
t_skip: update d
o
c
umentati
o
n
t
o c
h
a
n
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c
: scop_add
_
inc: t
a
ke into
a
ccount affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdo
o
lae
g
e
t
r
e
e
2
s
cop
.
c: move up apply_
a
ffine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
d
o
olaeg
e
t
ree2scop
.
c: s
c
op_fr
o
m_non
_
affine
_
whil
e
: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
p
e
t 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolae
g
e
upd
a
te isl to versio
n
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Ve
r
doolaege
README: update LLVM/
c
lang installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdoo
l
aege
interface/extract_i
n
t
e
rface
.
c
c
: explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
pdate for change in argumen
t
s of Compil
e
rIns
t
ance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
pet
.
cc
:
add space
b
e
tween li
t
eral and
i
d
entifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
doolaege
update isl
for suppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_st
m
t_from_pet_
t
ree:
a
void fr
e
e of unin
i
t
i
al
i
zed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdo
o
laege
scan
.
cc: fix typo
in
c
o
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoolaege
p
et_scop
_
from_pet_stm
t
: do not extrac
t
c
ontext f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laege
Pe
t
Scan::ext
r
act_argum
e
nt:
h
andle passi
n
g of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
Makef
i
le
.
am:
add dummy C++ source file to pet_sco
p
_c
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
han
d
le p
e
ncil indepen
d
e
n
t pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan: kee
p
track
of line numbe
r
of
c
u
rrent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oola
e
ge
pe
t
.
cc: extract out PetASTConsumer::ad
d
_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
add
encapsul
a
te_d
y
namic_con
t
rol
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
l
a
ege
pet_scop_from_p
e
t
_
tree: create statements
directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
repla
c
e pet_stmt_from_pet_expr by p
e
t_
s
tmt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_stmt: use p
e
t_tre
e
to represen
t
statement
bo
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
scop
.
c
:
extract ou
t
pet
_
stm
t
_is_affine_assume and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ver
d
o
ol
a
ege
scop
.
c
: stmt_collect_acce
s
ses: use pet_expr_foreach_acc
e
s
s_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rd
o
o
l
aege
s
c
op
.
c: stmt_collect_par
a
m
s: use pet_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
erdoolaege
keep
track of in
d
e
ntation
of extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update test c
a
se
outpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
aeg
e
extract
enum constants as t
h
eir
i
n
t
eger value
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetSc
a
n::ex
t
ract_i
n
t: separat
e
out extraction
f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
laege
PetScan::extr
a
ct_u
n
si
g
ned: tur
n
into a
static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
scan
.
cc:
c
h
ang
e
t
e
xtual order
o
f extra
c
t_uns
i
gn
e
d an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erd
o
ol
a
e
ge
pet_check_code
.
c: use
pet_expr_
e
xt
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
export
p
e
t_e
x
pr_extract_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
p
e
t_context: no
l
onger
k
eep tr
a
ck of "unk
n
own" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_expr_extract_af
f
in
e
: no lon
g
er creat
e
new para
m
e
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
t
Scan::extr
a
c
t_s
c
o
p: populate pet_context
w
ith parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
scan
.
cc:
move up static get_array_type function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::get_array_siz
e
:
c
a
c
he resul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::set_u
p
p
er_
b
oun
d
s
:
extract out PetScan::ge
t
_array
_
s
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_expr
_
is_
e
qual: compare ind
e
x expressi
o
ns up
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
V
e
rdoolaege
pet_
e
xpr_extract_affine
:
expl
o
it domain
i
nformation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
add
p
e
t_
c
ontext_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tr
e
e
2
scop
.
c: scop_f
r
o
m
_block
:
collect affine co
n
tinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_sco
p
_f
r
om_pet_
t
ree: ex
t
ract pet_sco
p
from th
e
roo
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add f
u
nctions
f
or manipulating
t
he domain
of a pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
e
g
e
pet_scop_restrict: also restrict virtual
a
r
r
a
y
extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
p
e
t_
c
ontext_eval
u
a
t
e
_
expr: first insert
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
pet_check_code: remove
t
r
a
c
king of assign
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoola
e
ge
drop pet_scop_detec
t
_parameter_acce
s
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
pet_
c
ontex
t
_evaluate_expr: a
l
so plug in affine
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
se
p
a
rate out pet_contex
t
_eva
l
uate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_conte
x
t_ma
r
k_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
P
e
tScan::e
x
tract
_
s
cop: cl
e
ar wr
i
tes at
o
uter l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
PetScan:
:
extr
a
ct_scop:
l
ocally
construct
pet_con
t
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
PetScan
:
:extr
a
ct_scop: also add all pet_
a
rray
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_
e
xpr_filter: avoid introduct
i
on of constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
l
aege
tree2scop
.
c: is_simple
_
boun
d
: handle higher dime
n
si
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
sc
o
p
.
c: v
a
lid_f
o
r_each_
i
teration:
h
and
l
e hig
h
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tre
e
2scop
.
c
: ad
d
_
i
m
pl
i
cation: handle h
i
gher dime
n
siona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaeg
e
tree2sco
p
.
c
: m
a
p
_
to_previous: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
tree2scop
.
c:
a
f
t
er: handle higher dimensiona
l
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ver
d
oolaege
pet_ext
r
a
ct_nested_from_space: ad
d
e
xtr
a
dimensio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract_nested_from
_
s
pace: embed
arguments
i
n
given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
add pet_expr
_
acce
s
s_get_
d
omain_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next