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 llvm/ADT/OwningPtr.h
2014-09-02
Sven Verdoolaege
update for removal
o
f llvm/ADT
/
OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n V
e
rdoolaege
interface/extract_in
t
erface
.
cc: avoid use
of SourceMan
a
ger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Verdoolaege
update
for
removal
o
f DefaultImageName Driver construc
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verd
o
olaege
update isl for support for recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven V
e
rdoolaeg
e
p
e
t_expr_new_u
n
ary: take type size argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
S
ven Verdo
o
laege
pet_scop_collect_
d
o
m
ains:
p
r
o
p
e
r
ly handle statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaeg
e
pet_s
t
mt_prin
t
_body: do no
t
prin
t
anything for kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
fix quasi_af
f
in
e
test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n
Verdool
a
ege
pet
_
tree_dump: fix
t
ypo
i
n output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
lae
g
e
s
c
op
.
c: fix
t
ypo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verd
o
o
l
aege
scop
.
c: sc
o
p_alloc
:
plug
m
emory leak on err
o
r
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
ola
e
g
e
exp
r
.
c: ext
r
act_affin
e
_mul: ab
o
rt on
error r
a
ther than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verd
o
o
laege
PetScan::set_upper_bounds: han
d
le
a
rrays declared
inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haastregt
allow s
p
ecifica
t
i
o
n of summary functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive access
r
elations of call expressions fro
m
function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
add
pe
t
_expr_
m
ap_ca
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoola
e
ge
add pet_expr_access_get_a
u
g
m
ente
d
_
d
oma
i
n
_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
PetScan::extract_expr
(
CallExpr *): extract function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_exp
r
:
keep track of function summaries in c
a
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr:
put pet_expr_call
field in sub
s
tructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
ge
introdu
c
e
pet_function
_
summ
a
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et_e
x
pr_ac
c
ess
_
s
et_acc
e
ss
:
set r
e
ad/write o
n
non-empt
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoola
e
g
e
brea
k
u
p
access re
l
ations i
n
to
m
ay_read/may_wr
i
te/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
a
d
d
pet_union_map_
m
ove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdoola
e
ge
introd
u
ce pet_e
x
pr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
e
g
e
drop pet_expr_from_
a
c
c
e
s
s
_
a
nd_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
e
ge
ex
p
licitly mark ki
l
l
ac
c
e
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdo
o
laege
pet_expr: r
e
present
read/write flags as b
i
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
aeg
e
pet
_
ex
p
r
:
document the read
a
nd write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
break up a
c
cess re
l
a
t
ions into may_read/may_write/must_w
r
ite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
p
e
t_expr_tag_acc
e
ss:
a
void use of target s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolae
g
e
postpone introduc
t
ion of acc
e
ss r
e
lations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
emit
.
c
: em
i
t_expr
:
extract
out em
i
t_access_ex
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
r
d
oolaege
dro
p
p
e
t_e
x
p
r
_access_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
nest
.
c
:
m
ove is_sub_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
t
ree2scop
.
c
: ext
r
act_kill: update
kill
e
xp
r
ession rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr
_
is_a
f
fine: a
v
oid u
s
ing access r
e
l
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_e
x
pr_fil
t
er: avoid u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaeg
e
pet_expr_acc
e
ss_update_
d
omain:
a
v
oid using acc
e
ss relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
et
_
expr_access_get_mus
t
_ac
c
ess: avoid using
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
pe
t
_ex
p
r_access_get_id: avoi
d
using
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
oolaege
expr
.
c: access_
a
dd_ref_i
d
:
avoid u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
sco
p
.
c:
access
_
co
l
lect_param
s
:
avoid using
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c: i
m
pl
i
es_fi
l
t
er:
a
void usi
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c
: acc
e
ss_extract
_
c
o
n
te
x
t
:
a
vo
i
d using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
scop
.
c: exp
r
_ext
r
act_context: av
o
id using
acc
e
ss
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: ext
r
act
o
u
t
shared
dr
o
p_a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_ex
p
r_access_update_domain: mi
n
or clean-up of express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
further generalize comp
u
te_to_in
n
er to support pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
ae
g
e
ge
n
eralize c
o
mpute_to_inner to sup
p
o
r
t p
e
t_scop_compu
t
e_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
a
e
ge
scop
.
c: compute_to_inne
r
: m
i
c
r
o-o
p
ti
m
ization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tree2scop
.
c:
is_nested_allowed: do not
a
llow n
e
sting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoo
l
aege
P
etScan::set_upp
e
r_bou
n
ds: use decla
r
ed size of s
t
atic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
olaege
scop
.
c: re
s
trict_s
k
ip
:
update
d
oc
u
ment
a
tion to
chan
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
tree2
s
co
p
.
c
:
s
cop_add
_
i
nc: take into
a
ccou
n
t affi
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Ve
r
d
o
ola
e
ge
tree2sc
o
p
.
c: move
u
p appl
y
_affine_con
t
inue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2s
c
op
.
c: scop_from_non_affine_while
:
extract ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
r
d
oolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
laege
u
p
date isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ve
r
doo
l
aege
README: update LLVM/clang install
a
tion instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
o
o
l
a
e
g
e
i
n
t
erface/extract_inter
f
ace
.
cc:
explicitly inc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaege
u
p
d
ate fo
r
c
h
ange in arguments of CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
ege
pet
.
cc: add spa
c
e be
t
ween literal and identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
oolaege
u
pdate isl for
s
uppor
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
pet_stm
t
_from_pet_tree: avoid f
r
ee
o
f uni
n
itialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdo
o
laege
scan
.
cc: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n
Ve
r
doolaege
pe
t
_scop_from
_
pet_stmt: do not ex
t
ract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaeg
e
PetScan
:
:
e
x
tra
c
t_argument:
handle pass
i
n
g of e
n
tire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Mak
e
file
.
am: add dummy C+
+
sou
r
ce
f
ile to pet
_
s
cop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
rdoo
l
aege
handle
p
encil independent prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdool
a
eg
e
Pet
S
c
a
n: keep
t
rack of line n
u
mber of
c
u
r
rent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
cc:
e
xt
r
act out PetASTConsumer::add_pragma_han
d
le
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoola
e
ge
add e
n
capsulate_dynamic
_
cont
r
ol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
d
o
olaege
pet_s
c
op_fro
m
_pet_tre
e
: cre
a
te stateme
n
ts directl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolaege
re
p
lace pet_stmt_from_p
e
t_expr by p
e
t_stmt_from_p
e
t_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
a
e
g
e
pet_stmt: use pet_tree t
o
re
p
rese
n
t
statement bo
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
scop
.
c:
e
xtract out pet_st
m
t_is_a
f
fine_assume an
d
pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
scop
.
c: stmt_colle
c
t_acces
s
es:
use pet_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en V
e
rdoolaege
scop
.
c: stmt_collect_
p
arams
:
use pet_expr_foreach_access_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
kee
p
t
rack of indentation of
e
xtracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoola
e
ge
u
pda
t
e te
s
t case
o
utputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
xt
r
act
e
num
c
onstants as their integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSca
n
:
:extract_int
:
separate out extraction f
r
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
Pet
S
can::
e
xt
r
act_unsigned: tu
r
n i
n
to
a
static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
scan
.
cc: change tex
t
ual or
d
er of ex
t
ract_u
n
signe
d
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
pet_ch
e
ck_code
.
c
:
use pet_expr_extract_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
expo
r
t
pet_expr_extr
a
ct_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_conte
x
t: no longe
r
k
e
ep track of
"
unkno
w
n"
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
pet_expr_extract_affine: no longer create n
e
w par
a
meters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdool
a
ege
PetScan::extract_s
c
op:
po
p
ul
a
t
e
p
et_co
n
text with
paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
olaege
scan
.
c
c: move up st
a
tic get_array
_
ty
p
e function
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
PetSc
a
n::get
_
array_size:
c
ache re
s
ults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
Pet
S
c
an::set_upper
_
bounds: extra
c
t out PetScan::get_arra
y
_si
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
do
o
la
e
ge
pet_exp
r
_is_e
q
u
a
l: compare index expressions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_expr_extrac
t
_
af
f
ine: exploi
t
domain infor
m
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
add pet_c
o
nte
x
t_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdo
o
la
e
ge
tree2scop
.
c: scop_from_block: collect
af
f
ine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop
_
from_pet_tree: ex
t
ract pet
_
sc
o
p
f
rom
t
he root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add functio
n
s f
o
r m
a
nipula
t
ing the domain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_scop_restrict: also restrict virtual a
r
ray extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next