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
emit.c: emit_expr: extract out emit_access_expr
2014-06-20
Sven Verdoo
l
aege
emit
.
c
: emit_expr: extract out emit_acce
s
s
_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
drop pet_expr_access
_
get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
nest
.
c
:
move is_sub_access t
o
expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tr
e
e
2scop
.
c: extract_k
i
ll:
update kill
expressio
n
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr
_
is_
a
f
f
ine: a
v
oid
u
s
ing ac
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr_filter: avoid using ac
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
oo
l
aege
pe
t
_expr
_
access
_
update_do
m
ain:
a
void using acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdool
a
ege
pet_expr_access_g
e
t_mu
s
t_ac
c
ess: avoid using acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_acce
s
s_get_id: avoid using access r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
expr
.
c: access_add_re
f
_id:
avoid
using acces
s
rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
d
o
o
laege
s
c
op
.
c: acce
s
s
_collect_
p
arams: avoid
using ac
c
ess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c:
i
m
plies_filter: avoi
d
using acc
e
ss
rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
sc
o
p
.
c: access_extrac
t
_c
o
nt
e
xt
:
a
v
o
id using
ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
scop
.
c: expr_
e
xtrac
t
_conte
x
t: avoid usin
g
acce
s
s rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
sco
p
.
c: extract out shared drop_argument
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_ac
c
e
s
s_u
p
d
a
te_domain: minor clean-u
p
of expressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
further general
i
ze comp
u
te_to_inner to
s
u
pport pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
generalize
c
o
mpute_to_inner to su
p
port pet_scop_
c
o
mp
u
te_out
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
scop
.
c:
c
ompute_to_inner
:
micro-
o
ptimizat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Ver
d
oo
l
aege
tree
2
sco
p
.
c: is_nested_allowed
:
do
not a
l
lo
w
nest
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
v
en
Verdoolaege
PetScan::set_up
p
er_bounds:
u
se declare
d
siz
e
of
s
t
atic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoola
e
ge
scop
.
c: re
s
trict_skip: update
do
c
u
m
entation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
o
olaeg
e
tree2scop
.
c
:
s
cop_
a
dd_inc:
t
a
ke into account
a
f
f
i
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
tree2sco
p
.
c:
move up apply_
a
ffine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tre
e
2sc
o
p
.
c: scop_from_non_affine
_
while: ex
t
ract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Ve
r
d
oolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update isl to versi
o
n 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update LLVM/clang ins
t
all
a
tion ins
t
ruct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
i
nter
f
ace/extra
c
t_inte
r
face
.
cc: explicitly
i
nclude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for chang
e
in argume
n
ts of
C
ompil
e
rI
n
stance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc: add spa
c
e between literal and i
d
entifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
update
i
s
l
for support
f
o
r r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aeg
e
pet_stmt_from_
p
e
t_tre
e
: avoid free of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sve
n
Verdoolaege
scan
.
c
c
: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoola
e
ge
p
e
t_scop_from_pet
_
stmt:
d
o not extrac
t
context fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoola
e
ge
PetScan::ex
t
ract_argument: handle
passing
o
f
entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verd
o
olaege
Makef
i
l
e
.
am: add dummy C++ source fil
e
to pe
t
_
scop_
c
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
handle
pencil ind
e
pendent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laege
PetScan
:
keep track
of li
n
e numbe
r
of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
pe
t
.
cc:
extract out Pe
t
ASTCon
s
u
mer::ad
d
_
p
ragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
add enc
a
psula
t
e_
d
ynamic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
olaege
pet_scop_f
r
om
_
pet_tr
e
e: creat
e
sta
t
e
ments directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace pet
_
stmt_f
r
om_pet_exp
r
by p
e
t
_
s
tmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_
s
t
mt: use
pet_t
r
e
e
to
represent
s
tatement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
scop
.
c
:
e
x
t
ract out pet_s
t
mt_i
s
_affine_assume and pet_stm
t
_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
s
cop
.
c: st
m
t_collect_accesses
:
use pe
t
_expr
_
fo
r
each_access_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oolaege
scop
.
c: stmt_col
l
ect_params:
use pe
t
_
e
xpr_foreach_a
c
cess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep track
of
i
nd
e
ntation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
update
t
e
s
t case out
p
uts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
extract en
u
m co
n
stants as their integ
e
r val
u
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoo
l
aege
PetScan::extract_int
:
separate
out ext
r
action from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
Pet
S
can::extract_u
n
signed: t
u
rn
i
nto
a
sta
t
ic
f
u
nction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
scan
.
cc:
c
hange
text
u
al order of extract_unsig
n
ed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
pet_check_c
o
de
.
c: use pet_exp
r
_extract_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
expor
t
pet
_
expr_e
x
tract
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
eg
e
pe
t
_
c
ont
e
xt: no
longer keep tr
a
ck of "
u
nknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_expr
_
extract_affine: no longer create new param
e
ter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
P
etScan::extract_s
c
op: pop
u
la
t
e
pe
t
_
cont
e
xt
w
i
t
h
parame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdo
o
laege
s
can
.
c
c
: move up static get_a
r
r
a
y
_type function
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan::get_array_size:
c
ache results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
Pe
t
Scan::
s
et
_
uppe
r
_b
o
unds:
e
x
trac
t
out PetScan::get_array
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
ge
pet_expr_is_equa
l
:
compar
e
inde
x
expressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
e
x
pr_extr
a
ct_affine
:
explo
i
t domain
information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
add pet_context_get
_
gist_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
r
d
oolaege
t
ree2scop
.
c: scop_f
r
om_
b
lock:
c
o
l
lect af
f
i
n
e c
o
nt
i
nue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
aege
pet_sc
o
p_from_p
e
t_tree: ext
r
act
p
et_
s
cop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
add
f
u
nctions
for manipulating t
h
e
domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
pet_scop_restrict: also r
e
st
r
ict virtual arr
a
y extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
pet_co
n
text_evaluate_expr: fi
r
st insert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
p
e
t_c
h
e
ck
_
co
d
e: remo
v
e tracking of
a
ss
i
gnmen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
drop pet_scop_detec
t
_par
a
met
e
r_
a
cces
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_co
n
text_evaluate_e
x
pr:
al
s
o plug in affi
n
e
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separa
t
e out pet_context_evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop
pet_
c
o
n
text_mark_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
P
e
tScan::extract_
s
c
op: clear
w
r
ite
s
at outer le
v
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetScan::e
x
tract_scop:
local
l
y const
r
uct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
P
e
tScan::extr
a
ct_
s
c
op: also
add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_expr_filter: avoi
d
introduct
i
on of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doo
l
aege
tree2scop
.
c: is_s
i
mple_bou
n
d: handle higher dime
n
sional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c
:
valid_for_each_iteration: handle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tr
e
e
2
scop
.
c:
add
_
imp
l
ic
a
tion: handle higher di
m
ensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2scop
.
c: ma
p
_to_previou
s
: h
a
n
dle higher di
m
ensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2scop
.
c: after: handle higher dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n V
e
rdoolaege
pet_extract_nest
e
d
_from_spa
c
e: add extra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_extract_nested_
f
rom_
s
pace: e
m
be
d
a
r
g
um
e
nts in give
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pet_expr_access_get_domain_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_expr_res
o
lve_nested:
a
l
l
ow s
p
ecifi
c
ation o
f
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
tree2scop
.
c: hand
l
e_writes: sepa
r
ate out
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
t
r
e
e
2scop
.
c: handle_writ
e
s: remove redundant pet_co
n
t
e
x
t
_m
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c
: extr
a
ct_k
i
ll:
a
llow sp
e
c
ification
o
f sta
t
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
a
ege
p
et_
s
cop_add_boolean_array:
a
llow specification o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_skip_info_*_e
x
t
ract*
:
pass
a
long
pet_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_s
c
op
constructors
:
allow speci
f
i
ca
t
ion of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2s
c
op
.
c: scop_fr
o
m_{break,continue}: min
o
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tr
e
e
2scop
.
c
: scop_from_{br
e
ak,continue}: allow specifi
c
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_create
_
test_index:
all
o
w spec
i
ficatio
n
of dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
r
doolaege
pet
_
s
tmt_
f
r
o
m_pet_expr: allow sp
e
cific
a
tio
n
of stateme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
pet
_
stm
t
_from_pet
_
expr: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoo
l
aege
pe
t
_stmt_from_pet_expr: rename "dim"
v
ariable to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
et_context:
keep trac
k
of domain set rather than do
m
a
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next