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
postpone introduction of access relations
2014-06-20
Sv
e
n Verdoolaege
postp
o
ne
in
t
r
oduc
t
ion of access rel
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
d
o
o
l
aege
e
mit
.
c: emit_e
x
pr: extract
o
u
t
emit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
r
do
o
laeg
e
drop pet_
e
xpr_access_g
e
t
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
nest
.
c: mo
v
e is_
s
ub_ac
c
ess to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
t
ree2sco
p
.
c: extract_kill: up
d
ate kill
expression
rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
pet_expr_is_aff
i
n
e: avoid using acc
e
s
s
rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
pet_expr_
f
i
l
ter: avoid using access re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_ex
p
r_acce
s
s_update_dom
a
in: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
ege
pet_expr_access_
g
et_must_access:
avoid using
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doolaeg
e
pet_e
x
pr_access_get
_
i
d
:
avoid using access relat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doolaege
expr
.
c: access_a
d
d
_
r
ef_id
:
av
o
id using access
relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
r
d
oolaege
sco
p
.
c: access_collect_params
:
av
o
i
d
usi
n
g access rela
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c:
i
mplies_f
i
lter: avoid
u
sing access re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
sco
p
.
c: access_extra
c
t_context: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c
: expr_extract_c
o
ntext: a
v
oid using
access rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolae
g
e
scop
.
c: ex
t
ra
c
t
o
ut sh
a
red drop
_
ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
p
e
t_expr_a
c
cess_update_domain: minor cl
e
an-u
p
of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
f
u
rther
gen
e
r
a
lize compute_to_inn
e
r to s
u
pport pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
g
e
neral
i
z
e
c
ompute_to_inner to support pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laeg
e
scop
.
c: c
o
mpute_to_inner: micro-op
t
imizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven
Verdoo
l
aeg
e
tree2
s
cop
.
c
:
i
s
_ne
s
ted_a
l
lowed: do no
t
allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
erdoolaeg
e
P
etScan::set_up
p
er_boun
d
s
:
use declared size o
f
sta
t
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
s
cop
.
c: restr
i
c
t
_skip
:
update docume
n
tation to chang
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verd
o
olaege
tree2scop
.
c: s
c
op_add_inc: ta
k
e
i
nto acc
o
unt aff
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Verdoolaege
tree2
s
cop
.
c: move up apply_affine_continu
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Ve
r
d
o
o
l
a
ege
tree2s
c
op
.
c: scop_from_
n
on_affine_whi
l
e:
extr
a
ct out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdo
o
laege
u
pdate isl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
R
E
ADME: up
d
ate LLV
M
/clang i
n
stallation instru
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoo
l
aege
interface/extra
c
t_
i
nterface
.
cc: explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update
f
or change in ar
g
ume
n
ts of C
o
mpilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdool
a
ege
pe
t
.
cc: add
s
pace b
e
tween literal and ide
n
ti
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ve
r
doolaege
updat
e
isl for s
u
ppor
t
for
r
e
cent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n V
e
rdo
o
l
aege
pet_stmt_from_p
e
t_tree: avoid free of uninitia
l
ized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n
Verdool
a
ege
sca
n
.
cc:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verd
o
olaege
pe
t
_scop_from_pet_stmt: do not extract contex
t
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolae
g
e
PetScan::e
x
tract_argument:
han
d
le
passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verd
o
olaege
Makefile
.
am: add
d
u
m
m
y
C
++ source
fil
e
to p
e
t_sco
p
_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
handle p
e
ncil independen
t
pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
PetScan: keep trac
k
of line n
u
mber of curr
e
n
t
Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
pe
t
.
cc: extract out PetASTConsume
r
::add_p
r
agm
a
_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
add encapsulate
_
dynami
c
_cont
r
ol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
pet_scop_
f
rom_
p
et_tree: create st
a
temen
t
s directl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
r
e
p
l
a
c
e pe
t
_stmt_from_
p
e
t_expr
b
y p
e
t_stmt_from_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
l
a
ege
p
et_stmt: use pet_tree to represent statem
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
sc
o
p
.
c:
extract out pet_
s
tmt_is_affine_assume and
p
et_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolaege
sc
o
p
.
c: st
m
t_c
o
ll
e
ct_a
c
cesses: use
pet_expr
_
foreach_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
e
rdoolaege
sc
o
p
.
c: st
m
t_colle
c
t
_
params: u
s
e p
e
t_expr_fore
a
ch_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
keep trac
k
o
f
indentation o
f
ex
t
r
ac
t
e
d code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
erdo
o
laege
u
p
d
ate test cas
e
outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
extr
a
c
t
enum c
o
nstan
t
s as t
h
eir integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
P
e
tScan::extract_int: separate out ext
r
a
ct
i
on fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
ol
a
ege
PetScan::extract_unsigned: turn into a static funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
scan
.
cc
:
change t
e
xtual order of
extract
_
u
n
signed an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_ch
e
ck_c
o
d
e
.
c: use
p
et_exp
r
_extract_a
f
f
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
expor
t
pet_expr_
e
xtr
a
ct_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet
_
cont
e
xt:
n
o longer
k
ee
p
track of "unkno
w
n"
v
alues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdool
a
eg
e
pet_expr
_
extra
c
t_affine: no long
e
r create n
e
w parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
PetScan::extract_scop: pop
u
late
p
et_context wit
h
par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoolaege
scan
.
c
c
: move up st
a
tic get
_
a
r
ray_type funct
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
d
oo
l
ae
g
e
PetScan::get_array_size: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan::set
_
upper_b
o
u
nds
:
extract
o
u
t
P
etScan::
g
et_array_
s
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_expr_is_e
q
u
a
l
:
c
o
m
pare index expressions
u
p
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
p
et_expr
_
ext
r
act_affine:
exploit domai
n
i
nformation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_context
_
g
et_gist_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2s
c
o
p
.
c: scop_fro
m
_block: col
l
e
c
t
affine
c
o
nti
n
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
p
et
_
scop_from_pet_tree
:
e
xtr
a
ct
p
et_scop fr
o
m the
root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaeg
e
add functions for manipulating the domain
of a pet_
c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_scop_restrict: also restric
t
vi
r
tual array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
ola
e
ge
pet_context_evaluate_expr: first insert d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_cod
e
: remove tracking of assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
r
op
pet_scop_dete
c
t_parameter_acce
s
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
pet
_
context_evalu
a
t
e
_expr:
a
lso plug in aff
i
ne expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
separate out pe
t
_contex
t
_
ev
a
luate
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ve
r
doolaege
drop
p
e
t
_
c
o
n
t
e
x
t
_
m
ark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laege
P
e
t
Scan:
:
ext
r
a
c
t_scop: clear writes at outer
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan::extract_sco
p
: locally
c
onst
r
u
c
t
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
PetScan::extract_scop: also add all pet_arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ex
p
r_filter: avoid introduction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
t
r
ee2sco
p
.
c:
i
s
_
s
imple_bound: handle higher dim
e
nsional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
re
e
2scop
.
c:
v
alid_fo
r
_
e
ach_iteration: handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
ae
g
e
tree2scop
.
c: add_imp
l
icat
i
on: ha
n
d
l
e
higher
dimensiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
t
re
e
2sco
p
.
c:
m
a
p
_to_prev
i
o
us: han
d
l
e
highe
r
dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: after: handl
e
higher dimensional dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdo
o
laege
pet_extrac
t
_ne
s
ted
_
from
_
s
p
a
ce: add extra d
i
mensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
p
e
t_extract_
n
ested_from_space: embed
a
rgu
m
ents
in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_expr
_
access_ge
t
_dom
a
in_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
pe
t
_expr_
r
e
s
o
lve
_
nes
t
ed: allow specificatio
n
o
f
d
o
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
tree2scop
.
c
:
han
d
le_wri
t
es: separate out handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tr
e
e
2
scop
.
c
:
h
andle
_
write
s
:
r
emo
v
e
r
edundant pet
_
c
ontext_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: ext
r
act_kill:
allow spe
c
ificati
o
n of state
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
pe
t
_
s
cop_a
d
d_boolean_arr
a
y:
a
llow
specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
pet_skip_info_*_extra
c
t
*
: pas
s
along p
e
t_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
pet_scop constructo
r
s
:
a
llow specificat
i
on
o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
t
ree2scop
.
c: scop_from_{
b
reak,
c
ontinue}: minor clean-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: scop_f
r
om_
{
break,continue}: allow specification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
pet_create
_
test_index: allow specification of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
e
t_stmt_f
r
o
m
_
pe
t
_expr: allow specification of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
ool
a
e
ge
pet_stmt_fro
m
_pet_expr:
mi
n
o
r
clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaeg
e
pet
_
stm
t
_from_pet_expr: rename "dim"
v
ariab
l
e t
o
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next