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
expr.c: extract_affine_mul: abort on error rather than treating it as non-affine
2014-07-17
Sv
e
n Verdo
o
l
a
ege
expr
.
c: e
x
tract_af
f
i
n
e_
m
ul:
abort
o
n
e
rror rather
than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaeg
e
Pe
t
Sca
n
::set_
u
pper_bo
u
nds: ha
n
dle
a
rray
s
de
c
l
ared insi
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van Haas
t
re
g
t
a
l
low
s
pecification
o
f summary functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ver
d
ool
a
e
g
e
der
i
v
e
access rel
a
tio
n
s of call expressions
f
rom function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
add
p
et
_
ex
p
r_
m
ap_cal
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_ex
p
r_access_
g
et_augmented_
d
omain_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
P
etScan::extract
_
expr(CallExpr *)
:
extract functi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoo
l
ae
g
e
pet_
e
x
pr: keep track of funct
i
on su
m
m
aries
i
n call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: pu
t
pet_expr_c
a
l
l
field in s
u
bstruc
t
ure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduce pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
p
e
t_expr_access_se
t
_access: set
read/w
r
ite on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
break up access relations into may_
r
ead/may_write/mu
s
t_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
ad
d
pet_unio
n
_map_m
o
ve_
d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introduc
e
p
et_expr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
drop
pet_
e
xpr_f
r
om_
a
c
c
ess_and_in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
expli
c
i
t
ly mark kill
accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr: represent
read/write
flags
as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
o
o
l
a
eg
e
pe
t
_
e
xpr
:
doc
u
ment the
r
ea
d
an
d
write fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
b
r
e
a
k up ac
c
es
s
rela
t
ion
s
into ma
y
_read/may_w
r
i
te/m
u
st
_
write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdo
o
laege
pet_expr_tag_access: avoid u
s
e of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verdoolaege
postpone in
t
rod
u
c
t
ion
o
f
a
cces
s
relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
o
olaege
e
mit
.
c: emit_e
x
p
r: ex
t
ract out emit_access
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
d
r
op pe
t
_expr_access_ge
t
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
nest
.
c
: mo
v
e
is_sub_access
to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c
:
extr
a
ct_kill: update
k
ill
expression
rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
pet_expr_is_affine: avoid us
i
ng a
c
cess
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pe
t
_expr_filter: avoid us
i
ng access rel
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
pet_expr_acce
s
s_update_dom
a
in
:
avoid using acc
e
ss
relati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rdoolaege
pet_expr_acc
e
ss_get_must_access: avoi
d
using acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
p
et_ex
p
r
_
a
cc
e
s
s_get_id:
a
v
o
id using acce
s
s
relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
ex
p
r
.
c:
a
ccess_
a
dd_re
f
_
id: avo
i
d usi
n
g access r
e
la
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
scop
.
c: access_collect_p
a
rams: av
o
id using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c:
i
mplies_filter
:
avoid usin
g
access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
l
aeg
e
s
c
op
.
c: acc
e
s
s
_extract_c
o
n
t
ext: avoid
u
sing a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
s
c
op
.
c: expr_e
x
tract_context: avoi
d
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
scop
.
c
: extract out shared drop_argumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
pet_expr_acce
s
s_
u
p
date_domain: minor clean-up of ex
p
ress
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
f
ur
t
her gene
r
al
i
ze compute_to_
i
n
ner to
s
upport pet_sco
p
_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
g
e
nerali
z
e co
m
p
u
te
_
to_inner
to supp
o
rt pet
_
scop_compute_ou
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
scop
.
c: compute_
t
o_inn
e
r: micro-
o
ptimiz
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
S
v
en Verdoolaege
tree2scop
.
c: is_nested_al
l
o
wed: do not allow nesti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
S
ven
Ve
r
doola
e
ge
P
et
S
c
an::set_upper_b
o
un
d
s: use
d
e
c
lared size
of static
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
scop
.
c
: restrict_s
k
ip:
update d
o
cume
n
tation to ch
a
nge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n
V
e
r
doolaege
t
ree
2
s
cop
.
c: sc
o
p_add_inc: take into account aff
i
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
rd
o
olae
g
e
tree2
s
cop
.
c: m
o
v
e up
apply_a
f
fin
e
_contin
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdool
a
ege
tree2scop
.
c: scop_from_non_affin
e
_
w
hile: e
x
tra
c
t o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaeg
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update
isl to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaeg
e
README:
update LLVM/clang install
a
tion ins
t
ructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
inter
f
a
ce/extract_
i
nterface
.
cc: expli
c
itly inc
l
ude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n
Verdoo
l
aege
upda
t
e
for
change in arg
u
m
ents of Comp
i
l
erInstan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Ve
r
doolaege
pet
.
c
c: add spa
c
e b
e
twee
n
l
iteral and
i
dentifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolae
g
e
update isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_stmt_from_
p
et
_
tree: avoid fr
e
e of un
i
nitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoola
e
g
e
scan
.
cc:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
p
e
t_scop_
f
rom_pet_stmt: do
not extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetScan::extract_
a
rgument: handle
p
ass
i
ng of enti
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
Makefile
.
am: add dummy C++
s
ource file to
p
et_scop_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handle
pencil
i
ndep
e
nden
t
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verd
o
olaege
Pet
S
can: keep track of line number of curre
n
t
Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoo
l
aege
pe
t
.
cc: extract
out PetASTConsumer::add_pragm
a
_handler
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
laege
add encapsu
l
a
t
e_dynamic
_
control o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdo
o
laege
pet_scop_from_pet_tr
e
e: crea
t
e
s
tatemen
t
s
d
irectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
re
p
la
c
e pet_
s
tmt_from
_
pet_expr by
p
e
t_stmt_
f
rom_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolae
g
e
p
et_s
t
mt: use p
e
t
_
tree to represent statement body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
oolaege
scop
.
c: extract out pet
_
stmt_is
_
affine_
a
s
sume an
d
pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoo
l
aege
s
cop
.
c
:
stmt_collect_
a
ccess
e
s
:
use pet_ex
p
r_for
e
ach_acces
s
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
oo
l
aege
scop
.
c: stmt_collect_par
a
ms:
use
p
e
t
_
e
xpr_fo
r
each_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
keep track of inden
t
at
i
on of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
ext
r
act enum
c
onstant
s
as thei
r
in
t
eger values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoo
l
a
ege
PetScan::ex
t
ra
c
t_int: separate out e
x
traction
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan
:
:extr
a
ct
_
unsig
n
ed: turn i
n
to a static fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
s
c
an
.
cc:
change te
x
tual order
o
f extract
_
unsigned and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_check_code
.
c: u
s
e pet_expr_ex
t
ract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
export pet_expr_extract
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_con
t
e
x
t
: no long
e
r keep t
r
ack o
f
"
u
nkno
w
n" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
p
et_expr_extr
a
ct_a
f
fine: no l
o
ng
e
r create n
e
w
par
a
meters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
r
d
ool
a
ege
PetScan::extra
c
t
_scop
:
populate
p
et_
c
ontext with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
s
can
.
cc: move up stati
c
get_a
r
ray_type fu
n
ction in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n::get_array_size: cac
h
e results
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::set_upp
e
r_bounds: extract out PetSca
n
::ge
t
_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ola
e
g
e
p
et_
e
xpr
_
is_equal: compare index exp
r
essi
o
ns
up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
e
g
e
pet_expr_extract
_
a
f
fine: exploit domain
i
n
f
ormation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_c
o
ntext_get_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
tree
2
scop
.
c
:
scop_from_b
l
ock: collect affine contin
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop_from_pet_tree: ext
r
act
p
et_
s
cop from the root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
add functions for manip
u
lating the domain of a pet_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_scop_restrict
:
also
r
estrict virtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_co
n
text_
e
valuat
e
_expr: fi
r
st
i
nsert domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_
c
heck_code: remove tra
c
k
ing
o
f
assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
olaege
dro
p
pet_
s
cop
_
detect_parameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
pet_co
n
text
_
evaluat
e
_expr: also plug in
a
ffine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
separate out pet
_
context
_
evaluate_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_context_ma
r
k
_
a
ssi
g
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
PetScan::extract_scop:
clear writes
a
t
o
u
t
er leve
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan::e
x
tr
a
ct_scop:
l
ocally cons
t
ruct pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
PetSca
n
::extr
a
ct_scop: also add a
l
l pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
pet_ex
p
r_f
i
lter: av
o
id int
r
oduction of
c
onstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c
:
i
s
_simpl
e
_bound: hand
l
e higher dim
e
n
sional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
