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
drop pet_expr_access_get_access
2014-06-20
Sven Verdoolaege
d
r
op pet_expr_access_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
nest
.
c: mo
v
e
is_su
b
_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
tree2
s
cop
.
c: ext
r
ac
t
_kill: upd
a
te kill expression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is_a
f
fin
e
:
a
vo
i
d
u
sin
g
access
r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr
_
filter: avoid using ac
c
ess r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr_
a
ccess_update_do
m
ain:
a
void using access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
a
ege
pet_e
x
pr_access_get_must_access: avoid u
s
i
n
g access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
x
pr_acce
s
s_get_id:
a
v
oid usin
g
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
expr
.
c
:
access_add_
r
ef_id: avoid usi
n
g
acc
e
ss
relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
aege
scop
.
c: access
_
collect_params: avoid using access r
e
l
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
scop
.
c: imp
l
i
e
s_f
i
lt
e
r: a
v
o
id using a
c
c
e
ss r
e
latio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
sc
o
p
.
c: a
c
c
ess_extract_context: av
o
id using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoolaege
sco
p
.
c: ex
p
r_
e
xtract_context: avoid using access
r
e
l
at
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
s
c
op
.
c: extract out shared
d
rop_ar
g
um
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
pet_expr_acce
s
s_update_domain: m
i
n
o
r cle
a
n-up of ex
p
r
e
ssio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further gene
r
alize com
p
ute_to
_
inn
e
r to support pet_scop
_
c
o
mp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
generaliz
e
compute
_
t
o
_inner t
o
support pet_
s
cop_c
o
m
pute_
o
ute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: comput
e
_t
o
_
inner: micro-optimizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sve
n
Verdoolaege
t
r
ee2
s
cop
.
c:
i
s_nested_allowed: do
n
ot al
l
ow nestin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sve
n
V
erdoola
e
ge
P
e
t
Scan::set_upper_boun
d
s: u
s
e de
c
la
r
ed size o
f
sta
t
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Ver
d
oolaege
sco
p
.
c:
r
e
stric
t
_
s
ki
p
:
update documentation to cha
n
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c
:
s
cop_add_inc:
take into account aff
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verd
o
olaege
tree2scop
.
c
: move up apply
_
affine_conti
n
ue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
tree2scop
.
c
:
scop_f
r
om_non_
a
ffine_while:
extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdo
o
laege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdo
o
laege
update is
l
to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven V
e
rdoolaege
README: update LLVM/clang ins
t
allation instruc
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
r
dool
a
ege
interface/extr
a
c
t
_interface
.
cc:
explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaeg
e
update f
o
r change in argume
n
ts of Com
p
i
l
erInstan
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ver
d
oolaege
pet
.
c
c
: a
d
d
s
pace bet
w
een
l
i
t
eral and ident
i
fie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
u
p
date isl
f
or sup
p
ort for rec
e
nt
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaeg
e
pet_stmt_from_pet_tree
:
avo
i
d free of unini
t
i
alize
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n
V
erdoolaege
scan
.
cc: fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Ver
d
oolaege
p
e
t_s
c
op
_
from_pet_stmt: do n
o
t extract co
n
text from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetScan::extract_argu
m
ent
:
handle pas
s
ing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
Makefile
.
am:
add dummy C++ source file to
pet_scop_
c
mp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
han
d
l
e pencil inde
p
e
n
dent p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oolaege
PetScan
:
keep track o
f
line number of
c
urren
t
St
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
oo
l
a
e
ge
pe
t
.
c
c: extract
o
ut P
e
t
A
STCon
s
umer::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
a
ege
a
dd
e
ncapsulate_dynamic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
p
et_sco
p
_f
r
o
m
_pet_tree: create
statements dire
c
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
replace pet_stmt_from_
p
et_expr by
pet_st
m
t_from_pe
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_
s
tmt: use pet_tree
t
o
r
e
p
resent statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaeg
e
s
c
op
.
c
:
ex
t
ract out p
e
t
_s
t
mt_is_affine_assume
an
d
pet
_
st
m
t_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
scop
.
c: stmt_coll
e
ct_accesses: use pet_expr_foreach_access
_
exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdoolaege
scop
.
c: stmt_coll
e
ct_params: use
pet_expr_foreach_
a
cce
s
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
keep track of inden
t
ation of ex
t
ra
c
ted
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
g
e
update te
s
t c
a
se output
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
e
ge
ex
t
ract enum constants as their in
t
eger values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
PetScan:
:
extrac
t
_
int:
s
eparate
out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan::extract_unsigned: t
u
r
n into
a
static
f
unction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
scan
.
cc: change t
e
x
t
ual orde
r
o
f
extract_u
n
signe
d
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
a
e
g
e
pe
t
_
c
heck_code
.
c: use pet_expr_ext
r
act_a
f
fin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaeg
e
export pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaeg
e
p
et_
c
ontext: no longer keep tr
a
ck of
"unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extra
c
t_a
f
fine: n
o
long
e
r create ne
w
parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan::extr
a
ct_scop
:
populate
p
et_cont
e
xt with p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
scan
.
cc: move up stat
i
c get_array_type function i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verd
o
olaege
Pet
S
can::
g
et_array
_
size: c
a
che re
s
ults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::set_upper_bounds:
extract out PetScan::get_ar
r
ay_si
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
e
t_expr_is
_
equal: compar
e
index expressions
up
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
p
e
t_e
x
pr_ext
r
a
ct
_
affi
n
e: explo
i
t domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoola
e
g
e
add pet_context_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree
2
scop
.
c: scop_from_bl
o
ck: c
o
llect affine continu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_scop_from_pet_t
r
ee: extract pet_scop fro
m
the
ro
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
lae
g
e
add functions for ma
n
ipulating t
h
e domain
o
f
a pet_con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
e
t_scop_restri
c
t: also restrict virtual array ex
t
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_evaluate_expr: first i
n
s
e
r
t domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_
c
heck_code: remove t
r
acking
of assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
p
et_sc
o
p_
d
etect_parame
t
er_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet
_
contex
t
_evaluate
_
expr: al
s
o plug i
n
affine ex
p
r
essions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
separ
a
te out pet_c
o
ntext_e
v
aluate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erd
o
olaege
drop
p
et_con
t
ext_mark_
a
s
s
igned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
l
aege
PetScan::ext
r
ac
t
_
s
co
p
:
clear writes at outer
l
evel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
PetS
c
a
n
::extract
_
s
cop: locally construct pet_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::extract_scop: a
l
so
a
dd all p
e
t_arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
p
et
_
expr_
f
ilte
r
:
a
v
o
i
d
int
r
odu
c
tion of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
laege
tree2s
c
op
.
c
:
is_sim
p
le
_
bound: handle higher dimensiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
r
ee2sco
p
.
c:
valid_for_each
_
iteration: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tr
e
e2scop
.
c: add
_
implication:
h
andle
h
igher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
tr
e
e
2
scop
.
c: map_to_
p
revious: hand
l
e higher dime
n
sional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2sc
o
p
.
c: after: h
a
ndl
e
higher dimensional domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
pet_
e
x
t
ract_nes
t
ed_fr
o
m_spac
e
: add e
x
tra dimension
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_extract_nested_from_s
p
ace: e
m
bed
arguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_e
x
pr_ac
c
e
ss_get_do
m
ain_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pe
t
_
expr
_
resolve_nes
t
ed: allow specification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
tree2scop
.
c: handle_
w
rites: separate out
ha
n
d
ling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
c
o
p
.
c: handle_w
r
ites: remove redundant pet_conte
x
t
_
mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tr
e
e2
s
cop
.
c: extract_kill: allow specification o
f
state
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_scop_add_b
o
olean_array: allow specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoo
l
aege
p
e
t_
s
kip_info_*_extract*: pass
along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
ege
pet_scop
construct
o
r
s
:
a
llow
s
pecifi
c
at
i
on of d
o
m
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: sco
p
_
f
r
om_{br
e
ak,con
t
inue
}
:
m
i
n
or clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
ol
a
eg
e
tree2scop
.
c: scop_from_{break,co
n
t
i
n
u
e}: allo
w
s
p
ecifica
t
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_c
r
eate_
t
e
s
t_in
d
e
x
: allow specif
i
cation
o
f
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
a
e
g
e
pet_stmt_from_pet_exp
r
:
a
llow specification o
f
s
tatement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_stmt_fr
o
m_pet_
e
xpr: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
do
o
la
e
ge
pet_stmt_from_
p
et_expr:
rename
"
dim"
v
a
r
iabl
e
t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_context: keep track of domai
n
set rather tha
n
doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_n
e
sted_remove_
f
rom
_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next