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_expr(CallExpr *): extract function summary from function body
2014-06-20
Sven Verdoo
l
aege
PetScan::extract_expr(Cal
l
Expr *
)
: extract functi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
o
l
aege
pet_ex
p
r
: keep
t
r
ack of function summa
r
i
e
s in
c
all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
o
la
e
ge
p
e
t
_
expr: put pet_e
x
pr_call field in
s
u
b
structur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
introduce pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet
_
expr_access_set_access: set read/wr
i
te on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
bre
a
k up acc
e
ss
relations into may
_
re
a
d
/
may_wr
i
te/must_wr
i
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
add pet_union_map_
m
ove_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
i
n
trodu
c
e pet_expr_ac
c
ess_t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoola
e
ge
d
r
o
p pet_ex
p
r_from_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
oolaege
exp
l
icitly mark kill accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erd
o
olaege
pet_expr: represent
read/write flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_expr: doc
u
ment
the read and w
r
it
e
f
i
e
lds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
break
u
p access relations i
n
t
o
m
a
y_
r
ea
d
/
m
ay_write/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
aege
pe
t
_
expr
_
t
ag_ac
c
ess: avoid use of
target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
po
s
tpon
e
introd
u
c
t
io
n
of acces
s
rel
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
e
rdoolaege
emit
.
c
: e
m
it_exp
r
: extract out
e
m
it_
a
cce
s
s_
e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
dro
p
pet_ex
p
r
_a
c
c
e
s
s_g
e
t_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: mo
v
e is_
s
ub_access to ex
p
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
tree2scop
.
c
:
extract_kill
:
update
k
i
ll e
x
pres
s
i
o
n rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_is
_
affine: avoid using acces
s
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet
_
ex
p
r_filter: avoid us
i
ng acc
e
ss
r
elati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_update_
d
omain:
a
v
o
i
d us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
pet_expr
_
access_get
_
m
u
st_acc
e
ss:
a
void using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
ool
a
ege
pet_expr
_
access_get
_
id: avoid using acc
e
ss rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
expr
.
c: acces
s
_add_ref_id: a
v
oid using acc
e
ss relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
s
c
op
.
c: a
c
cess_co
l
lect_params: avoid using
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doolaege
s
c
op
.
c: implies_filter
:
avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
scop
.
c: acce
s
s
_
ext
r
act_contex
t
: a
v
oid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
sc
o
p
.
c: expr_extract_c
o
ntext: avoid us
i
n
g access re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
s
c
op
.
c: extract out sha
r
ed drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_expr_access_u
p
d
ate_domain: minor clean-up
o
f
express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further ge
n
eralize c
o
mpute_to_inner to supp
o
rt pet_scop_co
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
gene
r
alize compute_to_i
n
ner to
s
u
pport pet_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
s
c
op
.
c: c
o
mpute_to
_
inner: micr
o
-
op
t
i
miz
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
v
e
n
Verd
o
olaeg
e
tree2sco
p
.
c:
is_ne
s
t
e
d_allow
e
d: d
o
not allow n
e
sting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verd
o
olaege
PetScan::set_uppe
r
_bound
s
: use
d
e
clared size of stati
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
s
cop
.
c: rest
r
ict_skip: update documentation to chang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaeg
e
tree2
s
cop
.
c
: scop_add_i
n
c: take into accou
n
t affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
tree2scop
.
c: move up appl
y
_affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2
s
cop
.
c
:
s
cop_from_non_affine
_
while: extra
c
t o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
p
et
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoola
e
ge
upda
t
e i
s
l to version 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ve
r
doo
l
ae
g
e
READ
M
E: upd
a
te
L
LVM/clang
installation instru
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
i
nterface/extract_inte
r
face
.
cc:
explicitly
i
nclude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
do
o
l
a
ege
updat
e
f
or change in arguments of
Compiler
I
nstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdo
o
laege
pet
.
cc: add space bet
w
een literal
a
nd
i
dentifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
update isl for
s
upp
o
rt for rec
e
nt cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoo
l
aege
p
e
t_stmt_from_p
e
t_tree: avo
i
d free
o
f uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ve
r
doolaege
s
c
an
.
cc: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
pet_scop_from_pet_stmt:
d
o
not extract co
n
text from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolae
g
e
PetScan::ext
r
act_
a
rgument
:
handle passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
olaege
M
a
kefile
.
am:
a
d
d
d
ummy C++
source file to pet
_
scop_c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdo
o
la
e
ge
han
d
l
e
pencil independent pragma
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
Pet
S
can:
k
eep tra
c
k of line number o
f
c
u
r
rent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
er
d
oolaege
p
et
.
cc
:
extract
out PetAS
T
Consumer::add_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add e
n
ca
p
su
l
ate_dynamic_
c
ontrol optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
et_scop_from
_
p
e
t_tree
:
create statemen
t
s direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
er
d
oolae
g
e
replace pet_stmt_fro
m
_pet_expr by pet_stm
t
_fr
o
m_pet_t
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_stmt:
use p
e
t_tr
e
e t
o
represent s
t
atement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
scop
.
c:
e
xtract out pet_stm
t
_is_af
f
ine_
a
ssume and pet_s
t
m
t
_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
scop
.
c: st
m
t_coll
e
ct
_
accesse
s
:
u
se pet_expr_foreach_acces
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolae
g
e
s
c
op
.
c: stmt_collect_param
s
: us
e
pet_expr_foreac
h
_acce
s
s_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
keep tr
a
ck of i
n
dentati
o
n
o
f extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extract
enum
cons
t
an
t
s as
t
heir int
e
ger v
a
lues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
o
l
a
ege
PetScan::extra
c
t_int: s
e
parate
o
ut
e
xtraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
Pet
S
can::extra
c
t_unsig
n
ed
:
turn i
n
t
o a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verd
o
olaege
sca
n
.
cc:
c
hange
t
extual
o
rder of extract_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
eg
e
p
e
t_check_code
.
c: use pet_
e
xpr_
e
x
tract_aff
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_expr_extra
c
t_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
pet_c
o
n
t
e
xt: no l
o
nger
keep track of "un
k
nown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
p
e
t_
e
xpr_extract_
a
ffine:
n
o longer
c
rea
t
e new parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
P
e
tScan
:
:extract_sc
o
p: pop
u
late pet_c
o
ntext with
parame
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: m
o
ve up static get_
a
rra
y
_type funct
i
on
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::get_array_size
:
cach
e
result
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetScan::se
t
_upper_bou
n
d
s: extract
ou
t
PetS
c
an
:
:
get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolae
g
e
p
et_expr_is_equal
:
compare index exp
r
essions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
e
t
_expr_extract_a
f
fine: exploit domain info
r
mation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
add pe
t
_
c
ontext_get_gist_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: sc
o
p_from_block: collect
affine
continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
p
e
t_scop_fr
o
m_
p
et_tree:
e
x
tract pet_scop from th
e
root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
l
aege
add
fu
n
ction
s
for manipulati
n
g th
e
d
om
a
i
n
of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_sc
o
p_restr
i
ct: als
o
restrict
virtual array e
x
tents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_con
t
ext_e
v
aluate_expr: first
i
nsert d
o
mai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
pet_c
h
eck_code: remove
t
racking of a
s
si
g
nment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoola
e
ge
dro
p
pet_scop_detect_param
e
te
r
_
a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_c
o
nt
e
xt_eval
u
at
e
_
expr: also p
l
ug i
n
a
ffine
expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separate ou
t
pet
_
c
o
ntext_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
d
r
o
p pe
t
_context_mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetSc
a
n::e
x
t
r
a
ct_scop: c
l
e
a
r writes at
o
uter le
v
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
PetScan::extr
a
ct_sc
o
p: locally c
o
nstruct p
e
t_co
n
tex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
la
e
ge
PetScan::
e
x
t
r
ac
t
_scop: also
a
dd a
l
l
p
et_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_
e
x
p
r
_
f
ilter: avoid in
t
r
oduction of c
o
ns
t
raints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
tree2scop
.
c:
is
_
si
m
ple_bo
u
nd
:
hand
l
e high
e
r dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c: valid_for_each_iteration: h
a
ndle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
tree2scop
.
c: add_implic
a
tio
n
: hand
l
e higher dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c: map_to_pre
v
ious: handle higher dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree
2
s
cop
.
c: after: handle higher
dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
extract_
n
e
s
ted_
f
rom_space: add e
x
tra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ve
r
doolaege
pet_extract_nes
t
ed_from_space: embed arguments in
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next