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
pet 0.07
2014-07-09
Sv
e
n
va
n
H
a
astregt
allow sp
e
cifica
t
ion of
s
ummary functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en
V
e
r
d
oola
e
g
e
deri
v
e
access relations of cal
l
expressions from function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add
p
et_expr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
d
o
olaeg
e
ad
d
pet_ex
p
r_acce
s
s_get_aug
m
ented_domai
n
_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoolaege
PetSc
a
n::extract
_
expr(C
a
llExpr *)
:
extract f
u
nction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_expr: keep track of functi
o
n su
m
m
aries
i
n call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr: put pet_
e
x
pr_call field in substruct
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
int
r
oduce pet_f
u
ncti
o
n
_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_exp
r
_a
c
cess_set_a
c
c
e
ss:
set rea
d
/writ
e
on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
b
reak up
a
ccess
r
e
lations int
o
may_r
e
ad/may_write/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdool
a
ege
a
dd
p
et_union_map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
introduce pet_expr_acces
s
_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
drop pet_expr
_
f
r
om_access_and_
i
n
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
oola
e
ge
explicitl
y
mark kill
accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laeg
e
p
e
t_
e
x
pr
:
r
e
pr
e
sent read/write f
l
ags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet
_
expr:
do
c
ument the
r
ead and w
r
ite field
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
l
aege
b
reak up
access
relations into may_r
e
a
d
/
may_
w
ri
t
e/mu
s
t_w
r
i
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_tag_access: avoi
d
use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
postpone int
r
oduc
t
io
n
of access re
l
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
emit
.
c: emit_ex
p
r: e
x
t
ract
out emit_acc
e
ss_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
drop pet_expr_acce
s
s_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolaeg
e
nest
.
c: mov
e
is_
s
ub_access to
expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doo
l
aeg
e
tree2scop
.
c: extract_
k
ill: u
p
d
ate kill ex
p
ress
i
on r
a
the
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_is_aff
i
ne: avoid u
s
ing access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
pet_
e
xpr_filter
:
avoid using access rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
pet_expr_access_update_dom
a
in: avoid
using
a
ccess rela
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr_access_
g
et
_
mus
t
_
a
ccess: avoid
u
sing access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ve
n
Verd
o
ol
a
e
ge
pet_e
x
pr_
a
ccess_get_
i
d:
a
voi
d
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
aege
expr
.
c: acce
s
s_add_ref
_
id: avoid usi
n
g access rel
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
ae
g
e
scop
.
c: acce
s
s
_colle
c
t_pa
r
ams: avoid us
i
ng access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
scop
.
c: implies_filt
e
r:
avoid using
access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
scop
.
c: access_
e
x
tr
a
ct_context: avoid using
a
cc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c
:
expr_extract_context: avoid using acc
e
ss rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c
:
extract out shared drop_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdool
a
ege
p
et_expr_
a
cc
e
ss_update_domain: m
i
nor
c
lean-up of ex
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
e
r
d
oolaege
further
g
e
n
e
ralize c
o
mpute_to_in
n
er to support
pet_scop
_
comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
generalize
c
o
mpute_to_i
n
ne
r
t
o
s
up
p
o
r
t
pet
_
scop_comput
e
_o
u
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
erdool
a
ege
scop
.
c: compute_
t
o_inner: mic
r
o
-optimiz
a
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
e
r
doolaege
tree2scop
.
c:
i
s
_n
e
sted_allowed: do no
t
allow
n
esting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
erdoolaege
PetSc
a
n::s
e
t_upper_bounds
:
us
e
dec
l
a
red size of
st
a
tic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Ver
d
oolaege
scop
.
c:
restrict_skip:
u
p
date
documen
t
ation
t
o change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
t
ree
2
scop
.
c: scop_add_inc: t
a
ke
i
n
t
o
acco
u
n
t
affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdoolaege
t
r
ee2scop
.
c: move
u
p
a
pply_a
f
fine_con
t
inue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
tree2sco
p
.
c: sco
p
_from_non
_
aff
i
ne_while: extract ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoola
e
ge
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verd
o
olaege
update isl to
v
er
s
ion 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Verdool
a
e
ge
README: update
LLVM/
c
lang installat
i
o
n
instructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoo
l
aeg
e
i
nterface/extr
a
ct
_
inte
r
face
.
cc: expl
i
citly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
update for change
i
n
arguments of Com
p
ilerIn
s
tance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaeg
e
pet
.
cc: add spac
e
betwe
e
n
literal and iden
t
ifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
p
date isl for supp
o
rt for
r
ec
e
nt clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
Verdoolaege
p
e
t_stmt_
f
rom_pet_tree: avoid free
of
u
n
i
nitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
cc
:
fix ty
p
o in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoola
e
ge
pet_scop_from_p
e
t_st
m
t: do not extra
c
t c
o
ntext fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
olaege
Pe
t
Sc
a
n::extrac
t
_argument
:
handle p
a
ssing
o
f
entir
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdoola
e
g
e
Makefile
.
am: add dum
m
y C++ sou
r
ce file to p
e
t_scop
_
cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven
Verdoo
l
aege
h
andle pencil independ
e
nt pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
ae
g
e
PetScan: keep track
o
f line number of
c
urrent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
pet
.
cc: extract out PetASTConsumer::add_pragma_handlers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsu
l
ate_dy
n
amic_co
n
trol option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
e
rdoolaege
pet_s
c
op_from_pet_tree:
create st
a
tements directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
ge
rep
l
ace
p
et_stmt_from_p
e
t_expr b
y
pet_stmt_
f
r
o
m
_
p
e
t_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
p
e
t_s
t
m
t: use
p
et_tree to represe
n
t st
a
tem
e
nt bo
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoo
l
a
e
ge
scop
.
c: e
x
tr
a
c
t
out pet_s
t
m
t
_
is_affine_assume and pet_
s
tmt_
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: s
t
mt_coll
e
c
t
_
acces
s
es
:
use pet_ex
p
r
_
foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
V
e
rdo
o
laege
scop
.
c: s
t
mt_col
l
e
c
t_params: u
s
e
p
et_expr_f
o
rea
c
h_access_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
keep track of inde
n
tation of ex
t
racte
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
d
oola
e
g
e
u
p
date test
case output
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
extract
enum const
a
nts as their
i
nteger
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
PetSc
a
n::extract_int: sep
a
rate out
e
xtraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoo
l
a
e
ge
PetSc
a
n::ext
r
act_u
n
signe
d
: turn
i
nt
o
a static functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
sc
a
n
.
cc:
change
text
u
al order of
e
xtract_unsign
e
d and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
g
e
pet_check_code
.
c
: use pet_exp
r
_extract_a
f
fine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
e
xpor
t
pet_ex
p
r_extr
a
c
t_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
e
rdool
a
ege
pet_context: n
o
l
o
nger kee
p
track o
f
"un
k
nown
"
values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pet_ex
p
r_ex
t
ract_aff
i
ne: no longer creat
e
new parameter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetScan:
:
e
xtrac
t
_scop: populate pet_
c
ontext with parame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
scan
.
cc:
m
o
v
e
up
s
t
a
t
i
c g
e
t_
a
rray_type
f
unction
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::ge
t
_
array_size:
cache resu
l
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
Pe
t
Scan:
:
set_upper_
b
ounds: extr
a
c
t out PetS
c
a
n
::get_ar
r
ay_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
pet_exp
r
_is_equal: compa
r
e index expressions
u
p t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet
_
expr_ext
r
act_
a
ff
i
ne: e
x
p
l
oit do
m
ain informat
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
a
dd pet_c
o
n
t
ext_get_gist_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoo
l
aege
tree2sc
o
p
.
c: scop
_
from_block: collect affine
c
ontinue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
pe
t
_scop_from_p
e
t_tree: extract pet_scop from the
root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
ege
add f
u
nctions
f
or m
a
n
i
pul
a
t
ing th
e
domain of
a pet_conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_scop_restrict: a
l
so restr
i
c
t vir
t
ual a
r
ray
extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
pet_context_e
v
aluate_
e
xpr: first inser
t
domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
o
olaege
pet_check_code: rem
o
v
e t
r
ac
k
ing
of assignmen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop_detect_para
m
eter_ac
c
e
s
s
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_context_evaluate_expr: also plug in affine e
x
pres
s
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
s
eparate ou
t
pet_context_eval
u
ate_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_c
o
ntext_mar
k
_assigned
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
P
etScan::extract_sco
p
: clear wri
t
es at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ve
r
doolae
g
e
PetScan::extract_scop: locally cons
t
r
u
ct pet_c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
PetSca
n
:
:extract_scop:
a
lso ad
d
all
p
e
t
_ar
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
p
e
t_e
x
pr_filter: avoid
i
ntrodu
c
tion of
c
onstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
tree2scop
.
c:
is
_
simp
l
e
_
bound: handle higher
dime
n
siona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2sc
o
p
.
c: valid_fo
r
_each_
i
teration:
handl
e
higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaege
tree2scop
.
c: ad
d
_implicati
o
n: handle higher dimen
s
i
o
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next