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
break up access relations into may_read/may_write/must_write in interface
2014-06-20
Sven Verdoola
e
ge
break up access
r
el
a
tions
i
n
to
may_read/may_write
/
m
u
s
t
_w
r
ite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
d
oolaege
pet_expr_tag_acces
s
: avoid use of t
a
r
g
e
t
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoo
l
a
ege
po
s
tpone
i
n
tro
d
uction of acces
s
rel
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
emi
t
.
c: e
m
it_expr: extr
a
ct out emit_acces
s
_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_expr_ac
c
ess_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoolae
g
e
nes
t
.
c: move
i
s_sub
_
access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
tree2
s
cop
.
c
: extract_
k
ill: update ki
l
l expression rathe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr_is_affine:
a
void usin
g
ac
c
ess r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
exp
r
_filt
e
r: avoid u
s
ing acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_
a
c
cess_update_domai
n
:
avoid
using
a
ccess
relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
ege
pet_expr_access_get_must_
a
cc
e
ss: avo
i
d usi
n
g access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pe
t
_expr_access_get_id:
a
void using access re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
ex
p
r
.
c: access_add_ref_id:
avoid using access
r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_collect_param
s
: avoid usi
n
g acce
s
s
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
s
c
op
.
c
:
im
p
lies_filter: avoid usi
n
g
access re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
sco
p
.
c: access_extract_con
t
ext: a
v
oid using
a
ccess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: expr_extra
c
t
_
conte
x
t: avoid u
s
i
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: extract o
u
t
shared drop_argumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
pe
t
_expr_access_upda
t
e
_domain: minor clean
-
up o
f
expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdool
a
ege
further genera
l
ize compu
t
e_to_inner to support pet_sco
p
_
c
o
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
g
e
n
e
r
a
lize comp
u
te_to_inne
r
to su
p
p
or
t
pet_scop_compu
t
e_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoo
l
aege
s
cop
.
c:
comput
e
_to_inner: mi
c
ro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ven
V
erdoolaeg
e
tree2scop
.
c: is_nes
t
ed_all
o
w
ed: do
n
ot allow
n
esti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verd
o
olaege
PetScan:
:
s
e
t_upper_bounds:
u
se de
c
lared s
i
z
e of stati
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdo
o
l
aege
s
c
op
.
c: restrict_sk
i
p: u
p
date docu
m
entation to c
h
ange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
r
d
o
olaege
tree2scop
.
c: scop_add_inc: take int
o
accou
n
t affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doolaege
tree2
s
co
p
.
c:
m
ove up apply
_
affi
n
e_
c
ontinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
tree2scop
.
c: scop_from_non
_
affine_w
h
ile: e
x
tract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
up
d
a
t
e isl to ve
r
sion 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README:
update LLV
M
/cl
a
ng
installation
ins
t
ructio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaege
i
nterface/extract_interface
.
c
c
: explicitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
V
erdoolaege
upd
a
te for
c
h
a
nge in
a
r
g
u
m
ents of CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Verdoolaeg
e
pet
.
cc: a
d
d
s
pace between lit
e
ral
and
identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verd
o
olaege
update i
s
l for suppor
t
f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
pet_stmt_
f
r
o
m_pet_tree
:
av
o
id free of uninitializ
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
cc: fix
ty
p
o in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdo
o
l
a
ege
pet_scop_
f
r
o
m_pet_s
t
m
t: do not
e
xtr
a
ct context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
Pet
S
can:
:
e
xtract_argument: h
a
ndl
e
passing of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Ve
r
doolaege
Ma
k
efile
.
am: add dumm
y
C++ source file
to pet_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n Ve
r
doolaege
handle pencil indepe
n
dent
prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
P
e
tScan: keep track of
l
ine number o
f
cur
r
ent S
t
m
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc: extract out PetA
S
TConsum
e
r::a
d
d_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
V
erdoolaege
add encaps
u
late
_
dyna
m
ic_control opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaeg
e
pet_sco
p
_fr
o
m_pet_tree:
c
reat
e
statements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olae
g
e
replace pet_stmt
_
from_pet_expr by pe
t
_
s
tmt_from_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
p
e
t_stmt: use pet_tree to represent stateme
n
t body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extract
o
u
t pet_stmt
_
i
s_affi
n
e_assume and pet
_
s
tmt
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolaege
scop
.
c
:
stm
t
_
c
oll
e
ct_accesses: us
e
pet_
e
xpr_
f
oreach
_
access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
cop
.
c:
s
tmt_co
l
lect_para
m
s: use p
e
t_expr_forea
c
h_access_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaeg
e
keep track of in
d
entation of extract
e
d
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en V
e
rdoolae
g
e
update test case outp
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ex
t
r
a
ct
e
n
u
m c
o
nstants as their integer
v
alues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
PetScan::ext
r
act
_
i
nt: separate
out extraction
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
P
e
t
S
can::e
x
tract_unsigne
d
: turn into a st
a
tic fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
scan
.
cc
:
change tex
t
ua
l
o
rder of extract_unsigned an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_ch
e
c
k_code
.
c: use pet_expr
_
extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet_expr_extra
c
t_
a
f
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
a
eg
e
p
et_context: no longer keep tr
a
ck o
f
"unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
pet_expr
_
extract_affine
:
n
o longer create
new pa
r
ame
t
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
PetScan::extract_scop
:
populate pet_co
n
text w
i
th
pa
r
ame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
s
c
a
n
.
cc
:
m
o
ve up static get_a
r
r
a
y
_
type functio
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
etScan::get_arr
a
y_size: cache re
s
ults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
Pe
t
Sc
a
n
:
:
set_upper_bounds: ex
t
ract
out PetSc
a
n
:
:
g
e
t
_
a
rray_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_expr_is
_
e
qual:
c
ompare
i
ndex expre
s
sions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdool
a
eg
e
pet_exp
r
_extra
c
t_aff
i
ne: explo
i
t domain
i
nfo
r
mati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
a
ege
a
d
d pet_context_ge
t
_gist_d
o
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c
: scop_fr
o
m_block: col
l
ect affine conti
n
ue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_fr
o
m_p
e
t_tr
e
e
:
extract pet_scop
f
rom the ro
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
f
unctions
f
or manipulating the domai
n
of
a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
p
e
t
_sco
p
_
re
s
tri
c
t:
also r
e
strict virtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
p
e
t_context_evaluate_expr: fi
r
st
i
n
se
r
t domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verd
o
olaege
pet_check_
c
ode: remove
tra
c
kin
g
of assignment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
drop pet_scop_detect_parame
t
er_ac
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
o
laege
pet
_
context_evaluate_expr: also p
l
u
g in
a
ffine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaeg
e
sep
a
r
a
te out pet_context
_
evaluate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
drop pet_con
t
ext_mark
_
assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laeg
e
PetScan::
e
xtra
c
t_scop:
c
l
ear wri
t
es at o
u
te
r
level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
Pet
S
c
a
n:
:
extract_scop: locally constr
u
ct p
e
t_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetS
c
an::extract_scop: also
a
dd a
l
l pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_exp
r
_f
i
l
t
er: avoid intr
o
duction of constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
t
ree2sco
p
.
c: is_simple_
b
ound
:
handle
h
i
gher dimensiona
l
.
.
.
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
Sven V
e
rd
o
olaege
tre
e
2scop
.
c
:
a
d
d_imp
l
ic
a
tion: handle higher
d
imen
s
ional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
: m
a
p_to_previou
s
:
handl
e
higher dime
n
sional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: a
f
te
r
:
handle high
e
r
dimensional domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
pet_ex
t
r
act_nes
t
ed_from_sp
a
ce: add extra di
m
ensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract_n
e
s
ted_from_space: embed arguments in
g
iven
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
add pet_expr_
a
ccess_get_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaeg
e
pet_expr_resolve_neste
d
:
a
l
low spe
c
ification of doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2sco
p
.
c
:
handle_writes
:
sep
a
rat
e
out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
tree
2
s
c
op
.
c: handle_writes:
remove redund
a
nt pet_conte
x
t
_
mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: e
x
tract_kill: allow speci
f
icati
o
n of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rd
o
o
l
aege
p
et_
s
cop_add_bo
o
lean_array
:
al
l
ow speci
f
i
cation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_
i
nfo_*_e
x
tract*: pass al
o
ng pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
pet_scop cons
t
ruct
o
r
s
:
allow specification of dom
a
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c: scop
_
from_{break
,
continue}: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
tree2scop
.
c: s
c
op_fro
m
_{brea
k
,
c
ontin
u
e}
:
allow
specific
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet_cr
e
at
e
_test_index:
allow sp
e
cification o
f
dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_stmt
_
from_pet_expr:
a
llow specification of s
t
a
tement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next