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 re
m
oval of llv
m
/ADT/O
w
ningP
t
r
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
e
n V
e
rdool
a
ege
interface/extr
a
ct_
i
nterface
.
cc:
a
v
oid us
e
o
f
SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
up
d
ate
f
or re
m
oval
of Defa
u
l
t
I
mageN
a
m
e
Driver c
o
n
structor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update isl for support
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven
V
erdo
o
laeg
e
pet_expr_
n
ew_unary: take type size argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
S
ven Verdoolaege
pet_s
c
op_collect_d
o
mains:
p
roperly handle stat
e
m
e
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdoolaege
pet_stmt_
p
r
i
nt_body:
do not
p
rint anything for
k
ill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdoolaege
f
ix qu
a
si_affin
e
test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
r
doolaege
pet_tree_dump: fix ty
p
o
in
o
utput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
Verdoolaege
scop
.
c: fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n
Verdoolaege
scop
.
c: scop_alloc:
p
l
u
g 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
:
extra
c
t
_aff
i
n
e
_m
u
l: a
b
ort
o
n
error rather t
h
a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
d
oolaege
PetScan
:
:set_upper_bounds: handle
a
rrays decla
r
ed
i
nsi
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haastre
g
t
al
l
o
w
s
pec
i
ficat
i
o
n of summary func
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoo
l
aege
d
e
r
i
ve a
c
ces
s
relations of cal
l
expressions from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
dool
a
ege
add
pet_e
x
pr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add
pet_expr_
a
ccess_get
_
augmented_
d
omain_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
P
e
t
S
can::ex
t
ract_expr(Call
E
xpr
*): ex
t
r
act fun
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_e
x
pr
:
keep
t
r
ack of functi
o
n su
m
ma
r
i
e
s
i
n
call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
pet_expr: put pe
t
_expr_
c
all
f
ield in su
b
structu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
intr
o
duce p
e
t_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pe
t
_expr_access
_
s
et_acce
s
s: se
t
r
e
ad/wr
i
te on
non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
b
r
e
a
k u
p
a
c
cess relatio
n
s into
m
ay_read/may_writ
e
/must_wr
i
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
la
e
g
e
add pet_union_map_
m
ove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
int
r
oduce
p
et_expr_ac
c
ess_ty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
drop pet_expr_from_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
explicitly mark kill a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
aege
pet
_
exp
r
: r
e
pre
s
ent rea
d
/write f
l
a
gs as
b
it
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
laege
pet_expr: document the read
a
nd w
r
ite fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdool
a
ege
brea
k
up access relations into may_read/m
a
y_write/mu
s
t_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolae
g
e
pet_exp
r
_
ta
g
_
access: avoi
d
use of
t
a
rg
e
t
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
postpon
e
int
r
o
d
uct
i
on of acce
s
s relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
e
mit
.
c
: emit_
e
xpr
:
extr
a
ct out emit_acce
s
s_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ver
d
oolaege
drop
p
et_
e
xpr_access_
g
et_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
n
e
s
t
.
c: move is_s
u
b
_access to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdo
o
laege
tr
e
e2scop
.
c: ext
r
act_kill: up
d
ate kill expres
s
ion rat
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdoolaege
pet
_
ex
p
r_is_affine: avoid using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pe
t
_expr_f
i
lter: avoid usi
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
lae
g
e
pet
_
e
x
pr_access_updat
e
_domain: a
v
oid using
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr_access_get
_
must_access: a
v
oid u
s
ing
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_ex
p
r_access_get_id: avoi
d
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ve
r
do
o
laege
expr
.
c: access_add_ref_id
:
a
v
oid using
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c
:
access_c
o
llect_params: avoid using
access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
s
c
op
.
c: implie
s
_filter:
a
void usin
g
acces
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
sc
o
p
.
c
: access_
e
x
t
rac
t
_
c
o
nte
x
t: avoi
d
usi
n
g
a
c
ce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoola
e
ge
scop
.
c
:
expr_ext
r
act_context: avoid
using
access relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: e
x
tr
a
ct
o
ut shared dro
p
_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Ver
d
oo
l
aege
pet_expr_access_upd
a
t
e
_domain: minor cle
a
n-up of ex
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rd
o
ola
e
ge
fu
r
ther g
e
n
era
l
iz
e
compute_to_inner to support pet_s
c
op_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
generalize comput
e
_
to
_
inner to suppo
r
t pe
t
_scop_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
doolaege
scop
.
c: com
p
ute_to_inner: micro-optim
i
zation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verd
o
olae
g
e
tree
2
scop
.
c: is
_
nested
_
allo
w
ed: do not allo
w
nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
v
en Verdool
a
e
g
e
P
e
tScan::se
t
_u
p
p
er_bounds: us
e
declared size of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdool
a
ege
s
cop
.
c: restr
i
ct_
s
kip
:
update do
c
umen
t
ation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: scop_add_
i
nc: ta
k
e into account aff
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaeg
e
tree2s
c
op
.
c: mo
v
e up
ap
p
ly_af
f
ine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
tree2sco
p
.
c: s
c
op_from_non_affine_whi
l
e:
extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdoo
l
aege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaege
update
i
sl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
Verdoolaege
READ
M
E:
u
pdate LLVM/clang installa
t
ion instruc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
interface/e
x
tr
a
ct_interfa
c
e
.
cc:
e
xplici
t
l
y include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
updat
e
for change in arguments
o
f Compiler
I
nstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n Verdoolaege
pet
.
cc: add space between literal and ide
n
tifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoola
e
g
e
u
p
d
ate isl
for
support for re
c
ent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
pet
_
stm
t
_
f
rom_pet_tree: a
v
oid free of uni
n
itialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
S
v
en V
e
rdoolaege
scan
.
cc: fix t
y
po
in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ver
d
oolaege
pet_
s
cop_from_pet_stmt: do
n
ot
extra
c
t context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
erdoolaege
PetScan::e
x
t
ract_a
r
gument:
ha
n
dle pas
s
ing
o
f entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
o
laege
Makefile
.
am: ad
d
dummy C++ s
o
urce f
i
l
e
to pet_sc
o
p_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n
V
er
d
o
o
lae
g
e
handle
pencil ind
e
pendent
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
P
e
tScan: ke
e
p tr
a
ck of l
i
ne number of
c
urrent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verd
o
olaege
pet
.
cc: extract ou
t
PetASTConsumer::add
_
pragma_h
a
ndlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
ad
d
encapsulate
_
dyna
m
ic_c
o
ntrol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oo
l
aege
pe
t
_scop_from_pet_tree: creat
e
statements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
repl
a
ce pet_st
m
t_fr
o
m_pet_expr by pet_stmt_from_pet_
t
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n Verdool
a
ege
pe
t
_
stmt: use pet_tree to
r
epresent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Ve
r
doolae
g
e
scop
.
c
: e
x
t
r
a
ct out pet_
s
t
m
t
_is_af
f
ine_assume and pet_stmt
_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
scop
.
c: stmt_collec
t
_acc
e
sses: use pet_expr_foreac
h
_acces
s
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdo
o
laege
scop
.
c: stmt_c
o
llect_p
a
rams: use pet_
e
xpr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep trac
k
of indentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdool
a
ege
update t
e
st case o
u
tpu
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdool
a
eg
e
extract enum constants as their integer va
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
P
etScan::extract_int: sepa
r
ate out extr
a
c
t
ion
f
r
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
PetScan::ex
t
ract_unsigned: turn into a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
scan
.
cc
:
change textual
order of extract
_
un
s
igned
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
ge
p
et_check_code
.
c:
u
se pet_
e
xp
r
_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
export p
e
t_expr_extract
_
affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
pet_context: no longer keep
t
rack o
f
"unknown" va
l
ues
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoo
l
aege
p
e
t_expr_extract_affin
e
:
n
o long
e
r cr
e
ate new parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan::extract
_
scop: po
p
u
lat
e
pet_c
o
n
t
ext w
i
th paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
scan
.
cc: move
up
s
ta
t
ic get_array
_
type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
PetScan::get_
a
rray_size: c
a
c
he results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
Pe
t
Sca
n
::
s
et_upper_bounds:
extract out PetScan::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ve
r
do
o
laege
pe
t
_expr_is_equal: compare
i
ndex exp
r
essions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
pe
t
_ex
p
r
_
extrac
t
_affine:
exp
l
oit domain informa
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
a
d
d
p
et_contex
t
_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdool
a
ege
tree2scop
.
c
: scop_fr
o
m_
b
lock: col
l
ect affine continue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
o
o
l
aege
p
et_scop_
f
rom_pet_tree:
e
xtract pet_scop from
the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add functions
for
m
anipulating th
e
domain of a
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
dool
a
e
ge
pet
_
scop_restric
t
: also
r
e
s
trict virt
u
al a
r
ra
y
ext
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next