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 Verdoolaege
postpone int
r
oduction of acces
s
relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c: emit_ex
p
r: extract out
em
i
t_a
c
ces
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
rop pe
t
_ex
p
r_acc
e
ss
_
g
et_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
laege
n
est
.
c: move is_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
t
ree2scop
.
c: ex
t
rac
t
_kil
l
:
update kill expr
e
ssion rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oolaege
pet_expr_is_af
f
ine:
a
v
oid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
p
e
t
_e
x
pr
_
filt
e
r: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aege
pet_expr_acc
e
ss
_
upd
a
te_doma
i
n: avoid using access re
l
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
ae
g
e
pet_
e
xpr_access_get_must_access: avoid usin
g
acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
p
r
_acce
s
s_get_id: avoid using
a
ccess relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
laege
expr
.
c: access_add
_
ref_id:
avoid
u
sin
g
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
s
cop
.
c: acc
e
ss_collect_params: avoid using access rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
aege
scop
.
c: implies_filt
e
r: avoid
u
si
n
g acce
s
s r
e
l
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
scop
.
c
:
ac
c
ess_extract_context:
avoid
u
s
ing access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
scop
.
c: expr
_
extract_con
t
ext:
a
v
oid
u
sing acc
e
s
s relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c: extract out shared dro
p
_argu
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doo
l
aege
p
e
t_expr_access_
u
pdate_domain:
m
inor
c
lean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
further gen
e
ralize compute_to_inner to suppo
r
t
p
et_sc
o
p
_
comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
gener
a
l
i
z
e
comput
e
_to_inner to support pet_scop_comp
u
t
e
_
oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
scop
.
c: compute
_
to_
i
n
ner
:
m
icro-
o
pt
i
mizatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
t
r
ee2scop
.
c: is_nested_allow
e
d:
do not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sve
n
Verd
o
olaege
PetScan::se
t
_
u
pper_bounds: use d
e
clared size of
s
tatic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
scop
.
c: re
s
tr
i
ct_skip: update documentation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
r
doola
e
ge
tr
e
e2scop
.
c: scop_add
_
inc: take
i
nto a
c
count affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
o
l
aege
tree2scop
.
c: move up a
p
ply_affine_contin
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoo
l
aege
tree2sc
o
p
.
c: sc
o
p
_from_non
_
a
ffine_while: extract ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n
Verdoo
l
aege
up
d
a
t
e isl to
v
ersion
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
V
er
d
oolaeg
e
REA
D
ME: update LLVM/clang installatio
n
instru
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
i
n
t
erface/extract_interface
.
c
c: explicitly inc
l
ud
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
update
f
or change in arguments of Comp
i
l
e
r
Instanc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
pet
.
cc: add
s
pace
bet
w
een liter
a
l and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoola
e
g
e
update isl
f
or
s
upp
o
r
t
for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdo
o
laege
pet_s
t
m
t_from_pet_t
r
ee: avoid free of uninitiali
z
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
ven Verdoolaege
scan
.
c
c:
f
ix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ve
r
doolae
g
e
p
e
t
_
s
cop_from_pet_
s
tmt: do not e
x
tra
c
t context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Verdoolaege
P
e
tScan::extract
_
argument:
h
andle p
a
s
sing
o
f e
n
tire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
er
d
oolaege
Makefile
.
am:
a
dd dummy C
+
+
source file to pet_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
e
rdo
o
laege
ha
n
dle
p
e
ncil i
n
dependent
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdool
a
ege
PetScan: keep track of
line n
u
mber of curren
t
Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
pet
.
cc: ex
t
ract out PetASTCons
u
m
e
r::
a
dd_pragma_handl
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
a
dd e
n
capsulate_dynami
c
_
c
ont
r
ol opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
pet_scop_fr
o
m_pet
_
tree: cr
e
ate statements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
r
e
place pet_
s
t
mt_from_
p
e
t_expr by pet_s
t
mt_from_pet_tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ve
r
d
o
ol
a
ege
p
et_stmt: us
e
pet
_
tree to rep
r
e
s
e
nt statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
scop
.
c:
e
xtr
a
ct
o
ut
pet_stmt_is_affine_assume and
p
e
t_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
V
erdoolaege
scop
.
c: stmt_collect_accesse
s
:
u
s
e
pe
t
_expr_foreach_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
scop
.
c: stmt_
c
olle
c
t_params: use pet_e
x
pr_foreach_acc
e
ss_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep trac
k
of ind
e
ntation
of e
x
t
racted
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
update test
case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
extract
e
n
u
m
c
o
nstan
t
s as the
i
r integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
eg
e
PetSca
n
::extract_int:
s
epar
a
te
o
ut
extract
i
on
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
P
e
tScan::
e
xtr
a
c
t_unsigned
:
turn into a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
scan
.
cc: cha
n
ge te
x
t
ual
o
r
d
er of extract
_
u
n
signed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_check
_
code
.
c: u
s
e pet_ex
p
r_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verd
o
olaege
ex
p
ort pet_expr_extract_aff
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pet_conte
x
t:
n
o longer ke
e
p track of "unknown" val
u
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_exp
r
_ex
t
ract_affine:
n
o
longer create
n
e
w parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
do
o
l
ae
g
e
P
e
tScan
:
:
e
x
tract
_
scop
:
populate
p
et
_
context
w
i
th p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
s
can
.
cc: m
o
ve u
p
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
PetScan::get_ar
r
ay_size: cache
r
esul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
o
laege
P
e
tScan::set_upper_bounds: extract out
P
etScan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_
e
xp
r
_is_eq
u
al: c
o
mpa
r
e i
n
dex expressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_
e
x
tract_
a
ffine
:
exploi
t
domai
n
information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
a
d
d pet_context_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c:
s
cop_from_block: co
l
lect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
lae
g
e
pet_scop_fro
m
_pet_
t
ree
:
extract
p
et_scop fro
m
t
h
e
r
o
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
add functions for
m
a
n
i
pulating th
e
domain of a pet
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_scop
_
restrict: also restrict v
i
r
tual a
r
ray ex
t
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_context_eval
u
ate_expr: fi
r
st i
n
sert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
pe
t
_check_code: r
e
move tracking of a
s
signments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
drop
pet_s
c
op_det
e
ct_parameter_accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pe
t
_context_evaluate_expr: als
o
p
l
u
g
i
n affine ex
p
re
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separate
ou
t
pet_context_evalua
t
e_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolae
g
e
drop
p
et_
c
ontext_mark
_
assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extrac
t
_scop: clear wr
i
tes at out
e
r
l
ev
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
c
an::extract_sc
o
p
: local
l
y construct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
P
e
t
S
can::extract_scop: al
s
o a
d
d all
p
et_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doo
l
ae
g
e
p
et_e
x
pr_
f
ilter: av
o
id in
t
roduct
i
o
n of co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree
2
s
c
o
p
.
c: is_s
i
mple_bo
u
nd: han
d
le h
i
gher dimensio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
l
aege
tree
2
scop
.
c: valid_
f
or_ea
c
h_it
e
ration: handle higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2sco
p
.
c: add_
i
mplication: handle higher
di
m
ensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
tree2scop
.
c: ma
p
_
t
o_pre
v
ious: han
d
le higher dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
tree2scop
.
c: a
f
ter
:
handle h
i
gher
d
imens
i
ona
l
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
pe
t
_ex
t
ract_nested_f
r
om
_
sp
a
c
e: add ext
r
a
d
imens
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ve
r
dool
a
ege
p
et_ex
t
ract
_
n
e
ste
d
_
f
rom_s
p
ace:
embed
a
rg
u
ments in g
i
ven
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
la
e
ge
add
pet_expr_a
c
c
ess
_
get_dom
a
in_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
pet_expr_re
s
olve_nes
t
ed:
allow
s
p
e
c
ification of domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
tree2scop
.
c
:
h
a
ndle_writes: separat
e
out ha
n
dl
i
n
g
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: handle_writes: remove r
e
dund
a
nt pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
d
o
olaege
tree2s
c
op
.
c
: extract_kill: al
l
ow specificatio
n
of state
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_add_b
o
olean_array: allow
specifica
t
ion o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_info_*_extr
a
ct*: pass
along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop constructo
r
s: allow specification of do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2
s
cop
.
c: scop_from
_
{break,continu
e
}: min
o
r
cl
e
an-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tr
e
e2sc
o
p
.
c: scop_from_{break,continue}: allow spec
i
fication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_creat
e
_test_index: allow speci
f
ication of
d
om
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
l
a
ege
pe
t
_st
m
t_from_
p
et_expr: allow spe
c
ification of sta
t
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
pet_
s
tmt_from_
p
et_expr:
m
inor
clea
n
-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
pet_
s
tmt
_
f
rom_pet_expr: rename "dim"
va
r
iable to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next