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 change in TargetOptions refcounting
2014-09-02
Sven Verdoolaege
up
d
a
t
e f
o
r change in TargetOptio
n
s refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
S
v
en
Verdoolae
g
e
up
d
ate for removal of llvm/ADT/OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
erdoolaege
interface/extract_inte
r
f
ace
.
c
c
: avoid
u
s
e
of So
u
rceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoolaeg
e
update for r
e
m
oval of
De
f
aultI
m
a
g
e
Name D
r
iver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
u
p
d
a
te isl f
o
r support fo
r
rec
e
nt clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven
Verdoolaege
pet_ex
p
r_new_una
r
y: take ty
p
e size argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven V
e
rdoolaege
pet_scop_coll
e
ct_domains: properly handle stateme
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pe
t
_
stmt_print_body: d
o
not print anything fo
r
kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n
Verdool
a
ege
fix quasi_affi
n
e test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
Verdo
o
l
a
e
ge
pet_
t
ree_du
m
p: fix typo in ou
t
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
do
o
laege
scop
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: scop_all
o
c: plug memory leak on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
erdo
o
laege
expr
.
c: extract_a
f
f
i
ne_mul: abort on error r
a
ther than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
e
r
doola
e
g
e
Pet
S
can
:
:set_upper_bounds: handle
a
rrays de
c
lared insid
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
d
eri
v
e access r
e
l
at
i
o
ns of call expres
s
ions from f
u
n
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoo
l
aege
ad
d
pet_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
add
pet_expr_access_g
e
t_a
u
gm
e
nted_doma
i
n_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
PetScan::ext
r
act_expr(C
a
llE
x
pr *): e
x
tra
c
t functi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
p
et_expr: keep track of fun
c
ti
o
n
s
ummar
i
es in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoolaege
pet_e
x
pr:
p
ut pet_expr_c
a
ll field
in substructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
int
r
oduce pet_func
t
ion_summar
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
do
o
la
e
ge
pet
_
expr_access_set_ac
c
ess
:
set re
a
d/write on no
n
-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break
up acces
s
relations
into may_read/
m
ay_write
/
must_writ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
add pet_union_map_
m
ove_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduc
e
pet_expr_access
_
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
lae
g
e
d
rop pet_expr_from_acces
s
_and_inde
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
expl
i
ci
t
ly ma
r
k
k
ill acces
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaeg
e
pe
t
_expr
:
represen
t
read/
w
r
ite flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_exp
r
:
document
th
e
read and write
field
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
break up ac
c
ess rela
t
ions int
o
may_read/may_write/must_
w
ri
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoola
e
ge
p
et_
e
xpr_tag_access:
a
void u
s
e of ta
r
get space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pos
t
pone
introducti
o
n
of access re
l
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doolaege
emit
.
c: emit_
e
xpr
:
extract out emit_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
ge
drop pet_expr
_
a
c
c
e
ss_ge
t
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
n
e
st
.
c: move is
_
sub_acce
s
s
t
o
e
xpr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
ola
e
g
e
tree2scop
.
c: extra
c
t_kill
:
update kill
e
x
pression
r
ather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoolaege
pet_expr_i
s
_affi
n
e
:
avo
i
d using
a
cc
e
ss relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
doola
e
ge
pe
t
_expr
_
filter: avoid
us
i
ng
a
c
cess
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet
_
expr_
a
cc
e
s
s
_update_domain: av
o
id us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aege
p
et_e
x
pr_
a
c
c
ess_
g
et_
m
ust_access: avoid using
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr
_
access_get_id: avoid
u
sing
a
ccess relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
expr
.
c:
a
c
cess_add
_
r
e
f_id: avoid usi
n
g access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
d
oolaege
scop
.
c: access_c
o
llect_params
:
avoid
u
s
i
ng access rel
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c: implies_filte
r
:
a
v
o
i
d
using
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoola
e
ge
scop
.
c
:
a
ccess_extract_c
o
nt
e
x
t
: avo
i
d using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
o
p
.
c:
e
xpr_extract_c
o
n
text: avoid
u
sin
g
access relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
o
ol
a
ege
s
co
p
.
c
:
ex
t
r
act o
u
t
shared drop_argume
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr
_
a
ccess
_
update_domain: minor clean-
u
p
of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further generalize com
p
u
t
e_t
o
_i
n
ne
r
to s
u
pport pet_scop
_
co
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
doola
e
g
e
generalize compute_to_in
n
er to
s
uppor
t
pet_sc
o
p_
c
ompute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
s
co
p
.
c: compute_to_inner: micro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaege
tree2
s
cop
.
c: is_
n
e
s
te
d
_allowed: do not allow
nesting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
v
en
Verdoolaege
P
e
t
Scan::
s
et_uppe
r
_bounds: use declar
e
d size of s
t
a
ti
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdool
a
ege
scop
.
c
:
restrict_
s
kip:
upda
t
e
d
o
cumentatio
n
t
o c
h
ange
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ve
n
Verd
o
olaege
tree2scop
.
c: scop_add_inc: ta
k
e into account affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
t
ree2
s
cop
.
c: move u
p
apply_
a
ffi
n
e_co
n
ti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
tree2scop
.
c:
scop_
f
rom_non_af
f
i
n
e
_whi
l
e: extract o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoolaege
update
isl to
version 0
.
1
3
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
Verdoolaege
R
E
ADME: update LL
V
M/cla
n
g installation instr
u
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolaege
i
n
terfa
c
e/extr
a
c
t
_interfac
e
.
cc: expli
c
itly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for c
h
a
nge i
n
ar
g
uments of CompilerInst
a
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pe
t
.
cc
:
a
d
d sp
a
ce between li
t
eral
a
nd ide
n
tifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ve
r
d
o
o
l
ae
g
e
update i
s
l for su
p
port for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
p
e
t_st
m
t_from_pet_tree: avoid free of u
n
ini
t
ialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
c
c:
f
ix ty
p
o in comm
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
pet
_
s
cop_from_pet_stmt:
do
not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
PetScan::extra
c
t_ar
g
ument: handle
p
a
s
s
i
ng of ent
i
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Ver
d
oo
l
ae
g
e
Makefil
e
.
a
m: add d
u
mm
y
C++ source f
i
le to pet
_
scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle pencil
i
ndependent pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
Pe
t
S
c
an: keep track of li
n
e num
b
er of curr
e
nt Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdool
a
ege
pet
.
cc: extract out PetAST
C
onsumer::add_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
Verdoolae
g
e
add encap
s
ulate_
d
ynamic_co
n
tr
o
l option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoola
e
ge
pet_scop_from_pet_tr
e
e:
c
r
e
ate s
t
atements di
r
ectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
repla
c
e p
e
t
_
stm
t
_fr
o
m
_
p
e
t_expr
b
y
p
et_stmt_from_p
e
t_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolaege
pet_stmt: use p
e
t_tree
t
o
represen
t
s
t
a
tement
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
sc
o
p
.
c: e
x
tract out pet_stm
t
_
i
s_affi
n
e_ass
u
me and pe
t
_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: stm
t
_collect_ac
c
esses: use p
e
t_expr
_
fo
r
each_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verd
o
olaege
s
c
op
.
c
:
stmt_collec
t
_param
s
: use pet_expr_f
o
r
each_acc
e
ss_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
keep trac
k
of indentation of e
x
t
ra
c
ted
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdo
o
l
aege
updat
e
test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
extract enum consta
n
ts as
their intege
r
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetScan
:
:
e
xtract_
i
n
t: se
p
arate out ext
r
a
ction fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
do
o
lae
g
e
PetS
c
an::
e
xtr
a
ct_unsign
e
d: turn into a
s
tatic functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
sc
a
n
.
c
c
: change text
u
al order
o
f
extr
a
ct_unsigned
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
p
e
t_check_code
.
c: use pet_expr_extract_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
ge
export pet_expr_ex
t
rac
t
_
a
f
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
pet
_
context: no longer keep track of
"unkn
o
wn" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
pet_
e
xpr_extra
c
t
_affine:
no lo
n
ge
r
cre
a
te new p
a
ramet
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
Pet
S
can
:
:
e
xt
r
a
ct_scop: popul
a
t
e
p
et_
c
o
n
text w
i
th parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
scan
.
cc
:
move up static get_array_type functi
o
n in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
PetScan::get_array_size
:
cache resu
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
P
e
tScan::
s
et_upper_bounds: ex
t
rac
t
o
u
t PetSc
a
n::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet_ex
p
r_is_e
q
ual: compare inde
x
exp
r
essions up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_expr
_
e
x
t
r
act_affine: exploit domain information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
o
lae
g
e
add pet_con
t
ext_get
_
gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2
s
cop
.
c
:
scop_from
_
block:
col
l
ect affin
e
cont
i
nue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_sc
o
p_from_pet_tree:
extract pet_s
c
op f
r
o
m the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
add func
t
ions
for manipulating the do
m
ain of a pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_s
c
op_res
t
ri
c
t
:
also
res
t
rict virtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
