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
update for removal of DefaultImageName Driver constructor argument
2014-08-31
S
v
en Verdoolaege
up
d
ate for
r
emo
v
al of DefaultI
m
ageNam
e
Driver constr
u
ctor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
r
d
oolae
g
e
u
p
d
a
te
i
sl for suppor
t
for
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sv
e
n Verdoolae
g
e
pet_expr_new_una
r
y: take type si
z
e a
r
g
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdool
a
eg
e
p
e
t
_
s
c
op_collect_domains: properly handl
e
st
a
t
ements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verdool
a
ege
pet_stmt_print_body
:
do no
t
print anything fo
r
kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Ver
d
oolaege
fix quasi
_
a
f
fine test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
pet_tree_
d
u
mp: fix typo in out
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
s
c
op
.
c: fix ty
p
o in c
o
mme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
scop
.
c: scop
_
all
o
c: plug memory leak
on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
expr
.
c: extrac
t
_affine_mul: abort on error ra
t
her than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
PetScan::
s
et_upper
_
bounds: handle a
r
r
ays de
c
lared inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
de
r
ive access r
e
lation
s
of
call expressi
o
ns
f
r
om fun
c
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
ae
g
e
add
pe
t
_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
ad
d
pet_expr_access_get_augment
e
d_domain
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
ge
P
e
t
S
can::extr
a
c
t
_e
x
p
r
(C
a
llExpr *): ex
t
ra
c
t
f
u
nction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
olaege
pe
t
_expr: keep tra
c
k of functi
o
n summa
r
ie
s
in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erd
o
o
l
aege
pe
t
_expr: put pet
_
expr_cal
l
field i
n
su
b
structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
intro
d
uce pe
t
_
function_summ
a
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_e
x
pr_access_set_access:
set read/w
r
it
e
o
n n
o
n-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
break up access r
e
latio
n
s i
n
t
o
may_read/may
_
w
rit
e
/must
_
write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laege
add pet_union_map_m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doo
l
a
e
ge
introduce p
e
t
_expr_ac
c
ess_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
drop pet
_
e
x
pr_from_a
c
c
ess_and_i
n
dex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
ex
p
licitly mark kill ac
c
e
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et
_
ex
p
r: represe
n
t read/w
r
i
t
e flags
as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
pet_
e
xp
r
: do
c
ument
t
h
e r
e
ad and wr
i
te fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Ve
r
d
o
olaege
break u
p
acc
e
ss
relations into may_read/m
a
y_w
r
ite
/
m
ust
_
w
rite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_t
a
g_a
c
c
e
ss
:
avoid use of tar
g
et
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verd
o
o
l
aege
postpo
n
e in
t
r
od
u
ction
o
f ac
c
e
s
s rel
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
emit
.
c:
em
i
t_expr: extract out emi
t
_acc
e
ss_e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
o
laege
d
rop pet
_
expr_acc
e
s
s
_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c: m
o
ve is_
s
ub_access t
o
e
x
pr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
t
r
e
e
2s
c
op
.
c: ext
r
act_kill: update kill expressi
o
n rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is
_
affine: avoid
using acces
s
rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_filter: avoid using access
r
e
lati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
o
laege
pet_
e
x
pr_access_update_domain: avoid usin
g
a
c
ce
s
s relat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_a
c
cess_get_mus
t
_access: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdo
o
laeg
e
pet_expr_access
_
g
et_id:
a
void using access relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c
: access
_
add_ref_
i
d: avoid
u
si
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Ve
r
d
o
ol
a
ege
scop
.
c
:
a
c
cess_
c
ollect_pa
r
ams:
a
void u
s
ing a
c
c
ess
r
e
l
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: implies_filter: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
scop
.
c: access_ext
r
act_cont
e
xt: avoi
d
u
s
i
ng access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
scop
.
c: expr_extract_cont
e
xt: avoid using access
rela
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
er
d
o
olaege
scop
.
c: extra
c
t
o
ut sha
r
ed drop
_
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
p
e
t
_
e
xpr_acce
s
s_update_dom
a
i
n
:
m
inor clean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doolae
g
e
further generalize com
p
ute_to_inner to su
p
port pet_
s
cop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoola
e
ge
gener
a
lize compute_to_inn
e
r
t
o supp
o
rt
p
et_scop_comp
u
te_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: compute_to_inner: micro-optimi
z
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tre
e
2scop
.
c
:
is_
n
e
s
ted
_
all
o
wed: do not allow nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
ven Verd
o
olaege
PetS
c
an::s
e
t_upper
_
boun
d
s
:
u
se declared size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c
: r
e
strict_s
k
ip: update d
o
cumentation to cha
n
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdool
a
ege
tree2sc
o
p
.
c: sc
o
p_add_inc:
tak
e
into accou
n
t affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdool
a
eg
e
t
r
ee2s
c
op
.
c: m
o
v
e up appl
y
_affi
n
e
_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
r
ee2scop
.
c:
s
cop_from_non_affi
n
e_while: ext
r
act out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
pet
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update is
l
to ver
s
ion 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven
V
erd
o
ola
e
ge
R
E
A
DME
:
up
d
ate LLVM/clang in
s
tallation instruc
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
inter
f
ace/ex
t
rac
t
_interface
.
cc: explicitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ve
r
doolaege
u
pda
t
e for change in argu
m
e
nts of C
o
mp
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
a
e
ge
pet
.
cc:
a
dd space betwee
n
literal and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
upda
t
e isl for su
p
po
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
doolaege
pet_
s
tmt_from_pet_tree: avoid
free of
u
n
initialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
s
c
a
n
.
c
c
: fix
typo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
pet_sc
o
p_
f
rom_
p
et_stmt:
do
not extract context
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoolaeg
e
PetScan:
:
e
xtr
a
ct_ar
g
ument: ha
n
dle
p
assing of
e
n
tire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Ve
r
doolae
g
e
Ma
k
efile
.
am: add dummy C++ so
u
rce file
t
o pet_sc
o
p_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
handle pencil in
d
ependent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
PetScan:
keep track of
line nu
m
ber of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
o
l
aege
pet
.
cc:
ex
t
r
act o
u
t P
e
tASTConsum
e
r::add_pragm
a
_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaeg
e
a
dd encapsulate
_
d
y
n
a
m
i
c_con
t
rol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_scop
_
from_
p
et_tree: create statements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
repl
a
c
e pet_stmt_from_pet_e
x
pr by pet_stmt_from_pet_tre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_stmt: use pet_tree to represent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaeg
e
sc
o
p
.
c: extract out pet_stmt_is_a
f
fine_assume and
p
et_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_col
l
ect_accesses
:
u
se pet_expr_fore
a
ch_access_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aeg
e
scop
.
c: st
m
t_collect_para
m
s: use p
e
t_expr_foreac
h
_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
keep trac
k
of indentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdool
a
ege
u
p
date
t
e
s
t case outpu
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolaege
extract enum constants as their
i
nteger values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
do
o
laege
PetScan
:
:extract_
i
nt
:
s
e
parate
o
ut
ex
t
raction fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
PetSca
n
::extra
c
t_unsi
g
ned:
t
u
rn into
a
stat
i
c function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
scan
.
cc: change textua
l
or
d
er of extract_unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
check_co
d
e
.
c: us
e
pe
t
_exp
r
_e
x
tr
a
ct_
a
ffine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
x
port pe
t
_ex
p
r_ex
t
r
act_affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_context
:
n
o l
o
n
ger keep track of "unknown" valu
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaeg
e
pet_expr_
e
xtr
a
c
t_affine
:
no
l
onger crea
t
e new parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan
:
:extract_sco
p
: populate pet
_
contex
t
wi
t
h parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scan
.
cc:
m
ove up static get_array_t
y
pe functio
n
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
P
e
t
S
can:
:
get_ar
r
ay
_
s
i
ze: c
a
ch
e
r
e
s
ults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
ola
e
g
e
PetScan::set_upper
_
bounds: extr
a
ct out Pe
t
Scan::get_arra
y
_
s
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_
expr_is_equ
a
l: compare index express
i
ons u
p
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_expr_extract_a
f
fi
n
e:
explo
i
t
domain
i
nformation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
add pet
_
c
ontext_ge
t
_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c
:
s
cop_fr
o
m_
b
l
o
ck: c
o
llect
a
ffi
n
e c
o
ntinue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
s
cop_
f
rom_pe
t
_tre
e
: extrac
t
p
et_scop from
the r
o
ot
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add funct
i
ons for manipulatin
g
t
h
e domain of a pet_c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
d
oolaege
pet_scop_rest
r
ict: a
l
so restrict vi
r
tual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
pet_context_evaluate_expr: fir
s
t
i
nsert
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_
c
heck_code: remove tracki
n
g of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ve
r
doolae
g
e
d
r
op pet_sco
p
_dete
c
t_para
m
e
ter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next