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
extract out pet_expr_access_move_dims
2014-03-21
Sven
V
e
r
d
oolaege
ex
t
ract
out pet_
e
xpr_access_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
o
laege
extract out
p
et_expr_access
_
get_parameter_
s
pac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
r
d
oolae
g
e
e
x
tract ou
t
pet_expr_access_get_d
a
t
a_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Ve
r
d
oolaege
extract ou
t
pet_expr_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extr
a
ct out
p
et
_
value_bounds_apply
to
a sepa
r
ate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdo
o
laege
m
o
ve pet_expr functions
t
o s
e
p
arate
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
scop
.
c: expr_writes:
u
se pe
t
_e
x
pr_foreach_acces
s
_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
scop
.
c
: expr_det
e
ct_parameter_accesses: use
p
et_expr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
pet
_
scop_d
e
te
c
t_parameter_accesses: rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
la
e
ge
scop
.
c: ex
p
r_
p
ropagate_
p
ar
a
ms:
u
se
pet_e
x
pr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
e
x
tract out pet_f
i
lt
e
r_insert_p
m
a to separate
f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
a
dd more
test cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ven
Verdoolaege
p
et_exp
r
: merg
e
unary, bina
r
y
and
t
e
r
nary types into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
extract
i
ntegers as
i
n
teger expr
e
s
s
ions rather
t
han
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
upda
t
e test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoo
l
aege
add s
u
p
port for int expres
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
pet_check_c
o
d
e
.
c
:
pass
a
l
o
ng iteration
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
la
e
ge
extract out s
h
are
d
pet_stmt_get_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xport pet_expr_f
r
om_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
l
a
eg
e
pet_scop_e
m
b
e
d: p
a
ss
is
l
_aff sc
h
edule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
lae
g
e
extract out pet_stmt_i
s
_ass
i
gn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
ve
n
Verdoolaege
extract
out comm
o
n pet_s
t
m
t
_
i
s_kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolaege
Pet
S
c
an::extract_increm
e
n
t: improve error mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n V
e
rdoolaege
support
log
i
cal operators in ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
s
u
pport int
M
od, int
C
e
il
a
n
d
intFloor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
provide getter a
n
d se
t
ter for detect-conditiona
l
-
a
ssignment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_check_code: dump iter
a
tion domains if they are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erd
o
olaege
pet_check_c
o
de: parse isl option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
sc
a
n
.
cc: ind
i
cator_function: coalesce
d
o
mai
n
before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolae
g
e
scop
.
c: fix typos in co
m
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scan
.
cc: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
l
a
ege
pet_
s
cop
_
res
t
rict_s
k
i
p: fix
typ
o
in erro
r
me
s
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
PetScan::
i
s_nested_al
l
owe
d
: check for skip conditio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoo
l
aege
print
.
c: print_pet_expr:
fix memo
r
y
m
a
n
agement an
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
drop dead me
t
h
od
P
etScan:
:
is
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
s
cop
.
c: embed_acces
s
: dr
o
p redundant
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
pe
t
_
s
c
o
p
_filter_s
k
ip:
avoid recom
p
utation of test expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rd
o
ol
a
e
g
e
PetScan::ext
r
act_
n
o
n
_
affine_co
n
dition: remove redund
a
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
V
erdoo
l
aege
s
eparate
out sh
a
r
e
d PetScan::up
d
ate
_
scop_st
a
r
t
_end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdool
a
ege
pet_expr_d
u
mp
:
only print expr->acc
.
ref_id if
i
t is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolae
g
e
s
c
op
.
c: stmt_pro
p
ag
a
t
e_par
a
ms: also u
p
date ac
c
esses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
scop
.
c: stmt_collect_
p
arams: also collect parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolae
g
e
scop
.
c: *_col
l
ect_params:
f
ix e
r
ror han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
pet_s
c
op_align_params: improve
e
rr
o
r
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pe
t
_
scop
_
align
_
pa
r
ams:
r
e
n
a
me "dim" var
i
a
b
le to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
PetScan
:
:extrac
t
_
n
ested:
p
l
u
g memory l
e
ak on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scan
.
c
c:
clear_assignment:
fix
l
ogic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oola
e
ge
PetScan::extract(IfStmt
*): clear assignments in body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan
:
:extract_in
f
inite_f
o
r: al
s
o clear a
s
s
ignments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoo
l
ae
g
e
PetScan
:
:
extract_for: alwa
y
s keep v
i
rtu
a
l iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Ver
d
oolaege
m
odify
t
est
s
/unsig
n
ed3
.
c
t
est
c
ase to us
e
the i
t
e
rator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en
V
e
rdoola
e
ge
when aut
o
detectin
g
only skip initial declara
t
ions
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdo
o
laeg
e
do not extract
loop around p
a
rtial body
when auto
d
e
t
ecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verd
o
olaege
PetScan::e
x
tr
a
ct_non_aff
i
ne_con
d
ition: t
a
k
e
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Verdool
a
ege
P
e
t
Scan::extract_for: do no
t
allow
i
nitia
l
value to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sv
e
n Ve
r
doolaege
Pe
t
Scan::extr
a
ct_fo
r
: clear assi
g
nment to iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
PetScan::unsupported: pass fixed c
h
ar
a
cter
s
tring
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
c
o
nfig
u
re
.
ac: add llv
m
-config -
-
system-li
b
s to CL
A
N
G_LIBS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
u
p
dat
e
isl f
o
r support for recent
clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven V
e
r
d
oolaege
Ma
k
efile
.
am: a
v
oid
u
se o
f
INCLUDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
S
v
en
Verdoolaege
AX_DETEC
T
_GIT_HEA
D
: detect
g
it version with newer versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sven Verd
o
olaege
README
:
add contact informat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
S
v
en Verdoola
e
ge
add
affine
a
ssumptio
n
s to the con
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdool
a
ege
parse __pencil_ass
u
me stateme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
S
v
en Verdool
a
ege
extract out PetScan::extract_argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven Ve
r
doolaege
add s
u
pport for structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rd
o
olaege
add pet_scop_colle
c
t_tagged_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
a
dd p
e
t_scop_co
l
lect_mu
s
t_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaeg
e
sco
p
.
c
:
e
xtr
a
ct out expr_coll
e
ct_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
oolaege
s
c
o
p
.
c
:
scop_colle
c
t_ac
c
esses: r
e
n
a
me "dim"
v
ariable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
laege
add pet_expr_
a
cces
s
_get_
t
a
g
ge
d
_may_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verd
o
olae
g
e
add
p
et_scop_collect_tagged_{may,mus
t
}_{reads
,
w
r
it
e
s}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
do
o
laege
export pet_e
x
pr_acce
s
s_get_may_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: expr_coll
e
ct_acce
s
s
e
s
: plug memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdool
a
ege
extract
o
ut
pet_clang_base
_
type
i
n
t
o separate file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
doolaege
scan
.
cc: extract out subscript
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
ool
a
eg
e
scop
.
c:
e
x
tract out *_i
s
_vi
r
tual_array functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
oola
e
ge
pe
t
_
e
xpr_f
r
om_inde
x
_
a
nd_depth: extract out
e
xtend_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
int
r
oduce p
e
t_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven V
e
rdoolaege
use isl_
*
_r
e
set_user instead of *_ano
n
ymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
update isl for
s
uppo
r
t
for member
a
cces
s
es
i
n
AS
T
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_
e
xpr_free: retu
r
n
struct pet_expr *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
V
erdoolaeg
e
Pet
S
can:
:
resolve_nested(struct pe
t
_stmt *):
remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdo
o
lae
g
e
P
e
t
Scan::resolve_nested
(
struct
p
e
t_e
x
pr *
)
:
remo
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
s
c
an
.
cc
:
comp
u
te_
w
rapping: remove unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
s
c
an
.
cc: e
x
tract_ski
p
_
s
eq
:
r
emove unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
sca
n
.
cc: un
i
v
e
rsally: rem
o
ve unused vari
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Ver
d
oolaege
PetScan::extract
_
affine:
r
emove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
Makefi
l
e
.
am: add dum
m
y C+
+
source fil
e
to
pet and pet_ch
e
c
k_
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoola
e
ge
stop linking in clan
g
libraries directly into pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
l
a
ege
also print clang
version when pr
i
nting pet version
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
ool
a
ege
READM
E
:
update la
t
est release of L
L
VM/clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sve
n
Ver
d
o
ola
e
ge
parse
.
c: remove spur
i
ous du
p
l
i
c
ate declaration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n Verdoo
l
aege
pet_scop_free: retu
r
n struc
t
p
e
t_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ven Verdoolaege
PetS
c
an:
:
ex
t
ract(Stmt
R
a
n
ge, b
o
ol, bool): break ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_scop_co
l
lect_{reads,wri
t
es}: take arg
u
m
e
n
ts
i
nto
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_s
c
op_coll
e
ct_{reads,w
r
i
t
es}: intersect
ranges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven V
e
rd
o
olaege
scan
.
cc:
extract_depth: use
correct dimensio
n
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
S
ven
Verdool
a
e
ge
p
e
t_
e
xpr_from_access
_
a
n
d_index: plug
memory l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sven
V
erdoolaege
co
n
figure
.
ac: rem
o
ve exp
l
icit depen
d
ence on gm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next