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
introduce pet_function_summary
2014-06-20
Sv
e
n
V
erd
o
olaege
int
r
o
duce pet_function
_
summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_e
x
pr_acces
s
_set_acces
s
:
set read/
w
rite o
n
n
on-em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
l
a
ege
break up ac
c
ess rela
t
ions into may_re
a
d/may_w
r
ite/
m
u
s
t_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
add pet_unio
n
_map_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
introduce
pet_expr_a
c
ces
s
_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
dro
p
pet_expr_from_access_an
d
_
i
n
dex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
ex
p
licitly mark kill a
c
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pe
t
_expr: represent read/write fl
a
g
s
as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolae
g
e
pet_expr: document the read and write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolae
g
e
break up access re
l
a
t
ions
into may
_
read
/
may_write/must
_
write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
ae
g
e
pet_expr_tag_
a
ccess:
avoi
d
use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
post
p
o
n
e introducti
o
n of access rel
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c: emit_
e
xpr: extract out emi
t
_access
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
d
r
op pet_expr_
a
c
c
ess_get_
a
c
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rd
o
o
laeg
e
nest
.
c: move is_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
tre
e
2scop
.
c:
e
x
t
r
a
ct
_
kill: update kill express
i
on ra
t
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_
e
xpr_is_affin
e
: avo
i
d
using a
c
cess rela
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
p
et_expr_filte
r
: avo
i
d using access
r
elati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr_access_update_domain: avoid
u
s
i
ng a
c
cess r
e
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr_acce
s
s_ge
t
_mu
s
t
_access: avoid using acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdo
o
la
e
ge
pet_ex
p
r_access_ge
t
_id: avoid using acc
e
s
s
rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
expr
.
c:
a
ccess
_
add_ref_id: avoid u
s
i
n
g
ac
c
ess re
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdo
o
laege
scop
.
c
: access_coll
e
ct_
p
ar
a
ms: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c
: implies_filter: avoid using acce
s
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
o
o
laege
scop
.
c: access_extract_context: avoi
d
using acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoola
e
ge
s
c
op
.
c
:
expr_extract_co
n
text:
avoid using acce
s
s
rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract out shared
d
r
op_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doolaege
pet_ex
p
r_acces
s
_update_do
m
ain: minor clean-up
of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
a
eg
e
fu
r
ther gene
r
a
lize comput
e
_
to_inner
to support
pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaeg
e
g
eneral
i
ze
c
ompute_to
_
inner to
s
upport pet_scop_comp
u
t
e_o
u
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: comp
u
te_
t
o_inne
r
: micro-optimiza
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaeg
e
tre
e
2scop
.
c: is_nes
t
ed_allowed: do
not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaeg
e
PetScan::set_upper_bound
s
: use declare
d
si
z
e of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c: restrict_skip: update documentation to
c
hange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c:
s
cop
_
add
_
inc: take into acc
o
unt affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
tree2
s
cop
.
c: move
up apply_aff
i
ne_conti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
tree2
s
c
o
p
.
c: scop_from_non_
a
ffine_while:
extract ou
t
.
.
.
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
Sven
V
erdoolaege
upda
t
e isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoola
e
ge
READ
M
E: update LLVM/clang install
a
tion i
n
struc
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
V
e
r
do
o
laege
interface/ex
t
ract_interfac
e
.
cc: exp
l
ic
i
tly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ve
r
dool
a
ege
update f
o
r
chang
e
i
n arguments o
f
CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
do
o
la
e
ge
p
e
t
.
cc: add space
b
etween
l
i
teral a
n
d ident
i
f
ier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl
for
s
upport for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdo
o
laeg
e
p
et_stmt_from_
p
et_tree: avoi
d
f
r
ee o
f
uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
cc: fix typ
o
in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en V
e
rdoola
e
ge
pet_sc
o
p_from_p
e
t_stmt: do not extrac
t
context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Verdo
o
laege
PetSca
n
::e
x
tract_argument
:
ha
n
dle
p
a
s
sing of entir
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
a
e
ge
Ma
k
efile
.
am
:
add d
u
mmy C++ source file to
p
et_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoolae
g
e
handle p
e
ncil independent
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
Pet
S
can: keep track of li
n
e number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
p
e
t
.
cc: extract ou
t
Pet
A
ST
C
ons
u
mer::add_p
r
agm
a
_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoo
l
aege
add encapsulate_dynamic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t_sco
p
_from_pet_tree
:
cre
a
te
statem
e
nts direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
re
p
lace
pet_
s
tmt_fr
o
m
_
pet_ex
p
r
by pet_st
m
t_fr
o
m_
p
et_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_stmt:
use pet_tree
to repres
e
nt sta
t
ement
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
scop
.
c: ext
r
act out
p
e
t_stm
t
_is_affine
_
as
s
ume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdo
o
laege
scop
.
c: stmt_
c
o
llect_acc
e
sse
s
: use pet_expr_fo
r
each_access_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: st
m
t_collect_p
a
ra
m
s:
u
se pet
_
expr_f
o
reach_access_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laeg
e
k
e
ep
track of indentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolae
g
e
update te
s
t case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
extract enum
c
onst
a
nts as t
h
eir integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
an::extra
c
t
_int:
sepa
r
ate out extr
a
c
tion f
r
om
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan::extract_unsigned: turn into a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
c
an
.
cc: change te
x
tual order o
f
extract
_
u
nsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
p
et_c
h
eck_code
.
c: use pet_expr_ext
r
ac
t
_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
export
pet_expr_ext
r
a
c
t
_
affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context:
no
longer kee
p
tr
a
ck of "unknown" v
a
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
pet_exp
r
_e
x
tract_aff
i
n
e
: no longer
c
reate new pa
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
Pe
t
Scan::ex
t
ract_sc
o
p: popula
t
e pet_context
wit
h
parame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
s
c
an
.
c
c: m
o
ve up
s
t
atic get_arr
a
y_t
y
pe function i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
r
d
oolaege
Pet
S
can::get
_
a
r
ray_si
z
e: cache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
PetSca
n
::set_up
p
er_
b
ounds: ext
r
act
o
ut PetSca
n
::ge
t
_array
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_is
_
eq
u
al: compare
i
nde
x
e
x
press
i
ons up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaeg
e
pet_exp
r
_e
x
tract_affine: exploit d
o
ma
i
n informatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
add pet_contex
t
_get_gis
t
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
oolaege
t
ree2scop
.
c: s
c
op_f
r
om_block: coll
e
ct af
f
ine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_sc
o
p_from
_
pet_tree: extr
a
c
t pet_scop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add f
u
ncti
o
ns for
m
a
nipulatin
g
the domain
o
f
a p
e
t
_c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_scop_
r
estrict: al
s
o r
e
s
trict virtual arra
y
extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
cont
e
xt_evaluate_expr: firs
t
insert d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
pe
t
_
check
_
code: re
m
ove tr
a
cking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dro
p
pet_scop_detect_paramet
e
r
_
acce
s
s
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
pet_conte
x
t_ev
a
luate_exp
r
: also plug
i
n affine expre
s
sion
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
s
e
parate out pet_context_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
drop
pet_cont
e
xt_
m
ark_
a
s
s
i
gned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan::ext
r
act_s
c
op: cle
a
r
writes at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
PetSca
n
::ex
t
ra
c
t_scop: locally constr
u
ct pet_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaege
P
e
tSc
a
n::e
x
tract_s
c
op:
a
lso add al
l
p
et
_
array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_expr
_
filter: av
o
id introdu
c
tion of co
n
s
t
r
a
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
tree2scop
.
c: is_simple_bound
:
h
a
n
dle
h
igher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree
2
s
cop
.
c: valid_for_ea
c
h_it
e
r
a
tion: han
d
le
h
igher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c:
a
d
d_im
p
lication: handle higher di
m
en
s
i
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
t
r
ee
2
scop
.
c
:
m
ap_to_pre
v
i
o
us:
h
andle higher dimensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: after: handle high
e
r dim
e
nsional do
m
a
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
e
t_
e
xt
r
ac
t
_nes
t
ed_from_space: add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet
_
extract_nested_from_sp
a
ce: embed
arguments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
add p
e
t_
e
xpr_access_get_d
o
main_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_expr_r
e
sol
v
e_nested: allow specification o
f
dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c: handle_w
r
ites: separate out handl
i
n
g
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next