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
PetS
c
an::extract_ex
p
r(Call
E
xpr *
)
: extract functi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doolaege
pet
_
expr: keep tr
a
ck o
f
fu
n
ction
s
um
m
a
ries
in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet
_
expr
:
pu
t
pet_expr_call fie
l
d
i
n s
u
bstr
u
c
t
ur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rdoolae
g
e
introd
u
ce
pet_function_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t
_
expr_acces
s
_
s
e
t_access: set read/write on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
break up access
relations into may
_
read/may_wr
i
te/
m
ust_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
er
d
ool
a
e
ge
ad
d
pe
t
_union_
m
ap_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduce pet_expr
_
access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
oolaege
drop pe
t
_expr_f
r
om_acc
e
ss_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
e
xp
l
ici
t
ly
ma
r
k k
i
ll
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr:
repres
e
n
t
rea
d
/w
r
ite fl
a
g
s
as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pe
t
_exp
r
: document t
h
e r
e
ad and w
r
ite fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
bre
a
k up acce
s
s relations in
t
o may_read
/
may
_
w
rite/must
_
wr
i
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
pet_e
x
pr
_
tag
_
access: avoid
use of target spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
postpon
e
introduc
t
ion of access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolaege
em
i
t
.
c: emi
t
_exp
r
:
e
xtract
o
ut emit_acces
s
_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
drop pet_ex
p
r
_acc
e
ss_get_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: m
o
v
e
is_sub_access t
o
e
x
pr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoola
e
g
e
tr
e
e
2
scop
.
c: extract_
k
ill: u
p
d
ate kil
l
expres
s
ion rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
olaege
pet_expr_is_aff
i
ne
:
a
void using access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_e
x
pr_f
i
lter
:
a
v
o
id
u
si
n
g ac
c
ess
r
elatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_ac
c
ess_update_domai
n
:
avoi
d
using
a
ccess
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
o
l
aege
pet_expr_access_get_must_acces
s
:
avoid using ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
pet_expr_access_get_id: avoid u
s
ing a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
expr
.
c
: ac
c
ess_
a
d
d
_r
e
f
_
id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
scop
.
c: access_collect_param
s
: avoid using a
c
cess r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: implies_filter:
avoid using ac
c
ess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
scop
.
c: a
c
cess
_
extract_c
o
ntext: a
v
oi
d
usi
n
g
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
s
cop
.
c:
expr_extract_context: a
v
oi
d
using acces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
scop
.
c: extr
a
ct out shared
d
rop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doo
l
aege
p
e
t
_
e
xpr_acces
s
_update
_
d
o
m
a
i
n: m
i
nor clean-u
p
of
expressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdo
o
l
a
ege
fu
r
th
e
r
generalize
c
o
mpute_to_inner to support pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdool
a
ege
genera
l
i
z
e comp
u
t
e
_to_inner t
o
su
p
port pet_scop_com
p
ute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
s
c
op
.
c:
c
ompu
t
e_to_inner
:
micro
-
optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Verdoolaege
tree2scop
.
c: i
s
_nested_a
l
lowed:
do not
a
llow ne
s
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
Pet
S
c
a
n
::s
e
t
_upper_bounds: use decla
r
ed size of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdool
a
ege
s
c
op
.
c: r
e
strict_
s
k
i
p: up
d
ate documentation to
c
hang
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
r
d
oolaege
tree2scop
.
c:
scop
_
add
_
inc: take
into
a
ccoun
t
affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoola
e
ge
tree2sc
o
p
.
c: move up apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven
V
erdoolaeg
e
tree2scop
.
c: scop_from_non_affi
n
e_whil
e
:
e
xtract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
ven V
e
r
d
oo
l
aeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaege
update isl to ver
s
io
n
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
REA
D
ME
:
u
p
date LLVM/cla
n
g installation in
s
tructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
i
nterfa
c
e/extrac
t
_i
n
terface
.
cc: exp
l
icitly inclu
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaege
update
for
c
han
g
e in argument
s
o
f
Co
m
pile
r
I
nstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
er
d
oolaege
pet
.
c
c
: add space between
l
iteral and iden
t
ifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven
Verdoo
l
aege
update isl
for support for
r
ecent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
a
ege
pet_stmt_from_pet_tree: avoid
f
r
e
e of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdo
o
l
a
ege
scan
.
cc:
f
ix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
pet_sco
p
_from
_
pet
_
stmt:
d
o not
e
xtract c
o
ntext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
olaege
PetScan::extract_argumen
t
: handle passing o
f
entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
e
rdoo
l
aege
Makefi
l
e
.
am: add dumm
y
C++ sourc
e
file
to p
e
t_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdool
a
e
ge
han
d
le penci
l
independent pragm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
o
laege
Pe
t
Scan: kee
p
track of
l
ine number of
current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
pet
.
cc: extract out PetASTC
o
nsu
m
e
r::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
o
laege
add en
c
apsulate_d
y
namic_con
t
r
o
l option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
pe
t
_scop_from_
p
et_tree:
c
reate
s
t
at
e
ments d
i
r
ectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
aege
replace
pet_stmt_from
_
pet_expr
by pet_stmt_from_p
e
t_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolae
g
e
pet_stmt:
u
se
p
et_tree to repr
e
sen
t
s
tatem
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
scop
.
c: extra
c
t
out pet
_
stmt_is_a
f
fine_assume
a
nd p
e
t_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoo
l
aege
scop
.
c: stmt_coll
e
c
t
_accesses: use pet_expr_for
e
ach_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
s
c
op
.
c: stmt_coll
e
c
t_params: use pet
_
expr_foreac
h
_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
doolaege
ke
e
p track of indent
a
tio
n
of e
x
tr
a
cted co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
upd
a
t
e
test ca
s
e
outp
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
extr
a
ct e
n
um cons
t
a
n
ts
a
s thei
r
integ
e
r
v
alues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetS
c
an
:
:
extract_in
t
:
separate out
extraction fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
P
e
t
Scan::ex
t
ract
_
uns
i
gned
:
t
u
rn into a static functi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
c
c
: change textual order of ex
t
ract_
u
nsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_ch
e
ck_
c
ode
.
c: use pet_ex
p
r_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_e
x
pr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: no longer keep
t
rack of "un
k
nown" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
pet_expr_extract_affine:
no longer create
new par
a
m
et
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
P
e
t
Scan::extract_
s
c
o
p: populate pet_co
n
te
x
t with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
scan
.
cc:
move u
p
static ge
t
_array_type
functi
o
n
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
d
o
olaeg
e
PetScan::get_
a
rray_si
z
e: cache
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
P
e
tScan::set_
u
pper
_
bounds: extract out
P
etSca
n
:
:get_array
_
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laeg
e
p
et_exp
r
_is_equa
l
: compare ind
e
x
expressions up t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
dool
a
ege
pet
_
expr
_
e
x
tract
_
affine: ex
p
l
o
it domain i
n
formation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaeg
e
add pe
t
_conte
x
t
_
get_
g
is
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
t
r
ee2scop
.
c
:
s
c
op_
f
ro
m
_
bloc
k
: collec
t
affine continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
sc
o
p_from_p
e
t_t
r
ee:
ext
r
act pet_scop f
r
om the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add func
t
ions for manip
u
l
a
t
i
n
g the d
o
ma
i
n of a pet_contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_scop
_
restric
t
: also rest
r
ict vir
t
u
a
l array
exten
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
pet_
c
on
t
ext_e
v
al
u
ate
_
expr: first insert do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
pet_check_co
d
e:
r
emove tra
c
king of assignm
e
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
drop
pet_scop_detect_parameter_ac
c
e
s
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
pet_context_evaluate_expr: also plug
in aff
i
ne
e
xpre
s
s
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
s
e
parate
out p
e
t_context
_
eva
l
uate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
dr
o
p pet_cont
e
x
t
_
m
ark_assigne
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
Pet
S
c
an::extrac
t
_scop:
c
lear writes
a
t ou
t
er level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::ex
t
rac
t
_scop: locally construc
t
p
e
t_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoo
l
aege
PetSc
a
n
:
:
extract_
s
cop: also add
all pet
_
a
rrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
exp
r
_filter: avoi
d
in
t
roduction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolae
g
e
tree2scop
.
c: is_simple_bound: handle h
i
gher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee
2
s
cop
.
c: valid_f
o
r_each_iterat
i
on: handle
hi
g
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
ool
a
eg
e
tree2scop
.
c: add_im
p
l
icati
o
n: han
d
le higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
tr
e
e
2
scop
.
c: ma
p
_
to_previous: handle higher d
i
mens
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
ree2scop
.
c: after:
han
d
le hig
h
e
r dimensiona
l
d
o
mains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
e
xt
r
act_nested_
f
r
om_space: add extra dimensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pe
t
_
e
x
t
ra
c
t_nested
_
f
rom_space: em
b
ed argum
e
nts in gi
v
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next