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
Sven V
e
rdoolaege
postpone introduction of access
relat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
ae
g
e
emit
.
c: emit_
e
xpr: extract ou
t
emit_acces
s
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
drop pet_exp
r
_
a
cc
e
ss_get
_
a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Ver
d
oolaege
nest
.
c:
m
ove is_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c: ex
t
r
a
ct
_
k
i
ll: update kil
l
exp
r
e
s
sion rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
pe
t
_expr_
i
s
_
affine: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
p
e
t_expr_filter:
avoid u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
p
e
t_expr_access_update_domain: avoid using access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_ex
p
r_acce
s
s_get_must_acce
s
s:
a
void using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_acc
e
ss_get_
i
d: avoi
d
u
si
n
g
a
c
cess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
laege
expr
.
c: access_add_ref_id: avoid usi
n
g access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
o
p
.
c: ac
c
ess_
c
o
l
lec
t
_params:
a
void
using access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: im
p
lies_filter: avoid using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
ae
g
e
scop
.
c:
a
ccess_extract_con
t
ex
t
: avoid
using acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
s
c
op
.
c
:
expr_extract_context: 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
s
cop
.
c: extract o
u
t shared drop_a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
pet_expr_access
_
update_domain: minor cl
e
an-up o
f
expressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
further
g
eneral
i
ze compute_to_inner to sup
p
ort
p
et_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolae
g
e
g
e
ner
a
lize compute_
t
o_in
n
er to
s
u
pport pet_scop_compu
t
e
_
oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
do
o
la
e
ge
scop
.
c: compute_to_inner: micro-o
p
t
imi
z
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolae
g
e
tree2sc
o
p
.
c: is_nest
e
d_
a
llowed: d
o
not allow nes
t
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
P
e
tScan::se
t
_
u
p
p
er_bound
s
:
u
se decl
a
red si
z
e
o
f static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doola
e
ge
s
c
o
p
.
c: r
e
str
i
ct_sk
i
p: upda
t
e doc
u
mentatio
n
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
tree2
s
co
p
.
c: scop_a
d
d_inc: take into account
a
ffine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
tr
e
e2sc
o
p
.
c: move up apply_a
f
fine
_
continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
l
a
ege
tree2sco
p
.
c: scop_from
_
non_affin
e
_whi
l
e: ext
r
act
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoolae
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoolaege
updat
e
isl to version 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdool
a
e
ge
README: update LLVM/clan
g
installa
t
ion inst
r
u
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
interfa
c
e/extract_interface
.
cc: expli
c
itly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for c
h
ange
i
n argume
n
t
s
o
f CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
p
et
.
cc
:
add space
b
etwee
n
l
i
teral and
id
e
ntifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoola
e
ge
upda
t
e isl
for suppo
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_s
t
m
t
_f
r
om_pet_tree: av
o
id free of uninitialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ve
r
d
o
o
l
a
ege
scan
.
cc:
f
ix typo in c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
p
et
_
s
c
op_
f
ro
m
_pet_stmt: do not ext
r
act co
n
text
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoola
e
ge
PetScan:
:
ex
t
ract_arg
u
me
n
t: handle
p
assing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
r
d
o
o
l
a
e
ge
Make
f
il
e
.
am: a
d
d dummy C++
s
o
urce file
t
o pet_s
c
op_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verd
o
olaege
handle p
e
n
cil
i
ndependen
t
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Ver
d
o
o
lae
g
e
P
e
t
Scan:
keep t
r
ack of li
n
e number of current
S
tmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
pet
.
cc: extr
a
ct out PetAST
C
onsumer::add_
p
ragma_handl
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
add encapsulat
e
_dynamic_control opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
pet_scop_
f
rom_pet_tree:
create statements direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolaege
repla
c
e pet_stmt_from_pet_expr by pet_stmt_f
r
o
m_p
e
t_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
do
o
l
a
ege
pet_stmt:
use pet_tre
e
to repre
s
ent
s
t
atem
e
nt
b
ody
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
s
c
op
.
c: extract o
u
t pe
t
_stmt_is_affine_assume and pet
_
stm
t
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
scop
.
c:
stmt_collect_accesses: use
p
et_expr_f
o
reach_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
s
cop
.
c: s
t
mt_c
o
llect_para
m
s
: use p
e
t_ex
p
r_f
o
reach
_
access_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
keep track
of indent
a
ti
o
n
of
e
xtracted cod
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
V
e
rdoolaege
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
extract enum co
n
s
tants as their in
t
eger
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
o
o
l
aege
Pe
t
S
can::ex
t
ract_int: separate out ex
t
ra
c
tion fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pe
t
Sca
n
:
:extract
_
unsigne
d
:
turn into a static fun
c
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
sc
a
n
.
cc:
change textual or
d
er of ext
r
act_unsigned
and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
o
o
laege
pet_check_code
.
c: use pet_exp
r
_extr
a
ct_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
e
x
port pe
t
_
expr_extr
a
ct_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_co
n
text: no longer k
e
ep track of "un
k
nown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
e
xpr
_
extract_affine: no l
o
nger create new parame
t
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
PetScan::extract_scop: populat
e
pe
t
_
c
on
t
ext wit
h
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
s
c
an
.
cc: move u
p
static get_array_typ
e
functio
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
Pe
t
Scan::get_
a
r
ray_size: cache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::s
e
t
_up
p
er_bounds: ex
t
ract out P
e
tScan::get_
a
rray_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_i
s
_equal: compare ind
e
x exp
r
essions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_expr_extract_af
f
ine: exploi
t
do
m
ain in
f
o
rmation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
add p
e
t_c
o
ntext_
g
et_gist_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
a
ege
tree
2
scop
.
c:
scop_from
_
b
l
ock: c
o
llect aff
i
ne c
o
ntinue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
o
olaege
pet_scop
_
fro
m
_pet_t
r
e
e: extrac
t
pe
t
_scop
from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
add func
t
ions for man
i
pulating t
h
e
d
o
m
a
in of a pet_
c
ontex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
e
t_scop_restrict
:
also
restrict virtual ar
r
a
y
extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
pet_context_evaluate_
e
x
p
r: fir
s
t insert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
do
o
laege
pet_c
h
eck_code:
r
e
mo
v
e
t
racking of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
drop pet
_
scop_detect_paramet
e
r_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
et_contex
t
_evaluat
e
_expr:
a
lso pl
u
g in affine expression
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
separate
out
pet_context_evalu
a
te_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
drop pet_context
_
m
a
r
k_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
Pet
S
can::extr
a
ct_scop
:
clear writes at out
e
r
level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
PetScan::extract_scop: locally construc
t
pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::extr
a
ct_scop: also add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pe
t
_expr
_
f
i
lter: av
o
id introduct
i
on of
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoola
e
ge
tree2scop
.
c
: is_simp
l
e_bound
:
h
andle hi
g
her dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c: v
a
lid_
f
or_
e
ach
_
i
t
erat
i
on: h
a
ndle hi
g
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c:
add
_
im
p
lic
a
t
i
on: handle
hi
g
her dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoola
e
ge
tree2sc
o
p
.
c
:
map_to
_
pre
v
ious: handle
h
igher dimension
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tre
e
2
scop
.
c: a
f
ter: handle higher dimensiona
l
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ve
r
dool
a
ege
pet
_
extract_ne
s
ted_fr
o
m
_space:
a
dd extra dimensi
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
p
et_extrac
t
_neste
d
_from_space: e
m
bed arguments in
giv
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
add p
e
t_expr_ac
c
es
s
_get_do
m
ain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_ex
p
r_resolve_neste
d
: allow spec
i
fication of dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
h
andle_write
s
:
separate out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
t
r
e
e
2
scop
.
c: handle_w
r
ite
s
: remove
redundant pet_cont
e
xt_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree
2
scop
.
c:
ext
r
act_kill: allow speci
f
ication
o
f
s
ta
t
emen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet
_
s
c
op_add_boolean_array: allow
s
p
e
cification of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
o
l
aege
pet_skip_info
_
*
_
extract*: pass along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_sco
p
constructors: allow specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2
s
c
o
p
.
c: sc
o
p
_
from_{break,co
n
tin
u
e}: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaeg
e
tree2
s
cop
.
c
:
scop_from_{bre
a
k,contin
u
e}:
allow spe
c
ification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdo
o
laege
pet_create_te
s
t_inde
x
:
a
llow specif
i
c
ation o
f
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet
_
stmt_from_p
e
t_expr: allow specif
i
catio
n
of
s
tatement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pet_
s
tmt_from_pet_expr:
m
i
nor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_stmt_from_pet_expr: re
n
ame "dim" var
i
able to
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
