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
V
erdoolaege
update fo
r
removal
of De
f
aultImageName D
r
iver constructo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdo
o
laege
upd
a
te isl for support for re
c
ent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Ver
d
oolaege
pet_expr_new_u
n
ary: take type size argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verd
o
o
l
a
ege
pet_
s
cop_collect_domains
:
pr
o
perly handle sta
t
ements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doolaege
p
e
t_stmt_print_body: do not print anyth
i
ng for k
i
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fix quasi_affine test ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
pet_tree_dump: fix t
y
po i
n
o
u
tput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
s
cop
.
c:
f
ix t
y
po
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
scop
.
c: scop_
a
llo
c
: pl
u
g memor
y
leak on erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
expr
.
c
:
e
x
t
ract_
a
ffine_m
u
l: abort
on error rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
oolaege
PetScan::set_upper_bounds: handle arrays d
e
clared inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ve
r
doolaeg
e
derive access relations of call ex
p
r
e
ssions f
r
om function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
ad
d
pe
t
_expr_
m
ap_c
a
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
o
l
aege
add pet_expr_acc
e
ss_get_aug
m
ente
d
_domain_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
Pe
t
Scan::extract_ex
p
r(Ca
l
l
E
xp
r
*): extr
a
ct functio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdoolaege
pet_ex
p
r: kee
p
track of function
s
umma
r
ies in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doola
e
ge
pet_expr
:
put
p
et_expr_call field in substr
u
ct
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
a
ege
introd
u
ce pet_fu
n
c
t
ion_sum
m
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr
_
acces
s
_set_a
c
cess: set
r
ead/
w
rite on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
aege
brea
k
up
access r
e
lations int
o
may_read/may_write/
m
us
t
_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
ge
a
d
d
pe
t
_u
n
ion_map_
m
ov
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
introduce
p
e
t_expr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaege
d
r
op pet_expr_f
r
om_acc
e
ss_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
explicitly mark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet
_
expr: rep
r
esen
t
read
/
write flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
p
et_expr: document
t
h
e
read
a
nd wri
t
e fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
break up acce
s
s relations i
n
to may_read/may
_
write/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
pet_ex
p
r_tag_access: avoid use of targe
t
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdool
a
eg
e
postpone introduction of access
rel
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
emit
.
c: emit
_
exp
r
: extract ou
t
e
m
it_a
c
cess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pe
t
_expr
_
a
c
cess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
n
e
st
.
c
:
move
i
s
_sub
_
acce
s
s to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c: ext
r
act_kil
l
:
update k
i
ll expres
s
ion
rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
e
rdoolaege
pet_expr_is_af
f
ine: avoid using access rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
pet_ex
p
r_filter: a
v
oid
u
sing acces
s
relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr
_
access_u
p
date_domain
:
a
v
oid usi
n
g acces
s
relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
p
e
t_expr_
a
ccess_
g
et_must_a
c
cess: avo
i
d
u
sing access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaeg
e
pet_
e
xpr_access_get_id: avoi
d
using access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verd
o
ola
e
ge
ex
p
r
.
c: ac
c
ess_
a
dd_ref_id: avoi
d
u
s
ing
a
c
cess relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c:
a
ccess_colle
c
t_params:
a
void using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erd
o
ola
e
ge
sco
p
.
c: implies_f
i
lte
r
:
a
vo
i
d usi
n
g access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c: acc
e
s
s
_ext
r
ac
t
_co
n
text: avoid using
a
c
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
sco
p
.
c: ex
p
r
_
ext
r
act
_
context: avoid
u
s
i
ng
access relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: extra
c
t out sh
a
red drop_argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
pet_e
x
pr_access_
u
p
date_domain:
minor c
l
ean-up
o
f
e
xpression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
o
l
aege
further generaliz
e
compute_to_inner to
s
uppor
t
pet_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
generalize com
p
ute_to_
i
nner to supp
o
r
t
pe
t
_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
scop
.
c: c
o
mpute
_
t
o_inn
e
r: micro-optimiz
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tr
e
e2sco
p
.
c: i
s
_nested_a
l
lowed: d
o
n
o
t allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
P
etScan:
:
se
t
_uppe
r
_bo
u
nds: use declare
d
size
of st
a
ti
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
sc
o
p
.
c
: rest
r
i
c
t
_
s
kip
:
update docu
m
entation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en Ver
d
oo
l
a
e
ge
tree2sc
o
p
.
c: scop_add_inc: take into ac
c
ount affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdo
o
laege
tree2scop
.
c: move u
p
a
p
ply
_
af
f
ine_contin
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdool
a
eg
e
t
ree2scop
.
c:
s
cop_
f
r
om_non
_
affine_
w
hile: extr
a
c
t
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdoolaeg
e
pet 0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
Verdoola
e
ge
update isl to
version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n
V
e
rdoolaege
README: upda
t
e LLVM/clang installa
t
ion instructi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolae
g
e
i
nterface/extract_
i
nter
f
ace
.
c
c
: explicitly inc
l
u
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
ge
update for change in arguments of Compil
e
rIns
t
an
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Ver
d
oolaege
pet
.
cc:
add space be
t
ween l
i
teral and iden
t
ifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
r
d
o
o
laege
u
p
d
a
te isl for support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n
Ve
r
doolaege
pet_stmt_from_pet_tree: avoid free of uninitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoo
l
a
e
g
e
scan
.
cc
:
fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoo
l
aege
p
e
t
_sc
o
p_from_pet_s
t
m
t:
do not extra
c
t
context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
PetScan::extract_argument:
h
andle
p
assing o
f
e
ntire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoola
e
ge
Ma
k
efile
.
am: add
dummy C++
sourc
e
file to p
e
t_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
r
d
oolaege
h
andle pe
n
ci
l
i
n
dependent prag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
P
e
tScan: keep track of line num
b
er
o
f curre
n
t Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
doolaeg
e
p
e
t
.
cc: extract out PetASTC
o
nsum
e
r::a
d
d
_
pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
add encapsula
t
e
_d
y
namic_control o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_scop_f
r
om_pet_tree: create s
t
atements d
i
rectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
replace
pet_stmt_from_p
e
t
_expr b
y
p
e
t_stmt_
f
rom_pet
_
tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
pe
t
_
s
tm
t
: use p
e
t_tree to rep
r
ese
n
t statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en V
e
rdoolaege
s
c
op
.
c: extract out pe
t
_stmt_is
_
affi
n
e_
a
ssume
a
n
d pet_stmt
_
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stmt_c
o
l
lect_
a
ccess
e
s: use pet_expr_foreach_acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdool
a
ege
scop
.
c: stmt
_
c
ollect_param
s
:
use pet_expr_foreach
_
acce
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep t
r
ack
o
f ind
e
ntation of extracte
d
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdo
o
laeg
e
u
p
date
t
est ca
s
e outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
xtract
enu
m
consta
n
ts as t
h
eir i
n
t
e
ger values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
o
laege
Pet
S
can::ex
t
ract_
i
nt:
s
eparat
e
o
u
t e
x
t
ra
c
tion from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
P
et
S
can:
:
extra
c
t_unsigned: turn into a static fu
n
ction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
scan
.
cc: ch
a
nge textua
l
order o
f
extrac
t
_unsigne
d
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_check_code
.
c: u
s
e pet_expr_extract_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
export pet_expr_extrac
t
_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
a
e
g
e
pet_context: no lo
n
ge
r
keep track of
"
unk
n
o
wn" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_expr_ex
t
ract_affine: no longer
crea
t
e
new param
e
t
e
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
oolaeg
e
PetScan
:
:extract_scop: populate
p
et_c
o
nte
x
t with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
scan
.
c
c
: m
o
ve up stat
i
c get_arr
a
y_
t
ype func
t
ion in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
Pet
S
can::get_array_size
:
ca
c
he r
e
sults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolaege
PetSca
n
:
:
se
t
_up
p
er_boun
d
s: extract out P
e
tScan::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaeg
e
p
et_expr
_
is_equa
l
: compare
i
ndex
e
xpres
s
ions up
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdool
a
ege
pet_ex
p
r
_
extract_affine: exploit
d
omain i
n
forma
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
a
dd pet
_
context_
g
e
t_gist_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
o
l
aege
tree2scop
.
c
: scop_f
r
om_block: collect affi
n
e continue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_scop_from_pet_tre
e
: extract pet_scop from the r
o
ot
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add functi
o
ns for man
i
p
u
lating
t
he domain of a pet_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
p
et_scop_restrict: also restri
c
t virtual array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaeg
e
pet_c
o
ntex
t
_evaluate_expr: first
i
nsert dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oo
l
aege
p
et_check_cod
e
: remove tr
a
cking of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
drop pet_scop
_
d
et
e
c
t
_parameter_
a
cc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
