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.06
2014-10-26
Sven V
e
r
d
oolaege
pet 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdo
o
laege
update isl to ver
s
ion 0
.
1
4
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
V
e
rdoolaege
PetScan::set_
u
pper_bounds:
fix
t
y
po breaking non
-
1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
Sven
Verdoolaege
u
pdate isl for change in isl_map_su
b
tract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sve
n
Ver
d
oola
e
ge
update for change
i
n
Targ
e
tOptions refcounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
updat
e
for removal of llvm/ADT/
O
wningPt
r
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdo
o
laege
i
n
terface/extract
_
interfac
e
.
cc: avoid use
of
S
ourceManage
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
ve
n
Verdo
o
l
a
ege
update for remo
v
al of
D
efau
l
tImageNam
e
Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdo
o
l
aege
u
pd
a
te isl for support for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdo
o
laege
pet
_
expr_new_unary: take ty
p
e size argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Ver
d
oolaege
pet_scop_collect_domai
n
s:
properly handle statements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en V
e
rdoolaege
pet
_
stmt_print_body: do not print anythin
g
for ki
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Ver
d
o
olaege
fi
x
qu
a
si_affine test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
pe
t
_tre
e
_dump: fix typ
o
i
n
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
Ver
d
oolaege
scop
.
c
:
scop_allo
c
: plu
g
memo
r
y le
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n
Verdoo
l
aege
expr
.
c: extract_aff
i
ne_mul: abort on error rath
e
r than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaeg
e
PetScan:
:
set_up
p
er
_
bounds: h
a
ndle ar
r
ays
decla
r
ed
inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven van
Haastregt
allow speci
f
ic
a
tion of summary fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
derive acce
s
s re
l
ations of c
a
l
l
expression
s
fro
m
function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet_expr_m
a
p_c
a
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add pet_expr_a
c
cess_
g
et_augmented_do
m
ain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
P
e
tScan::extract
_
expr(
C
a
l
lExpr *):
extract fu
n
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
ol
a
ege
pet_ex
p
r: keep tr
a
ck of
f
u
n
ct
i
o
n
summaries in ca
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_expr: put pet_ex
p
r
_call field
i
n substructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introd
u
ce pet_funct
i
on_s
u
mma
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolae
g
e
pet_expr_access_set_access: se
t
read/write on non-empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaeg
e
break up access relat
i
ons in
t
o may_read/ma
y
_w
r
ite
/
must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oo
l
a
ege
add pet_u
n
i
o
n_map_
m
ove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
introduce pet_expr_acc
e
ss_
t
y
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
drop pet_expr
_
f
rom_ac
c
ess_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
explicitly mark kil
l
a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_ex
p
r: represent r
e
a
d
/write flags as
b
i
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: docume
n
t
t
he read and write
fie
l
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
break
up access relati
o
ns
int
o
m
ay_r
e
ad/may
_
write/mu
s
t_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr_ta
g
_access:
avoid use of
target s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
postpo
n
e introduction
o
f acce
s
s relati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
l
aege
e
m
i
t
.
c:
e
m
i
t_
e
xpr: extract out em
i
t_access_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoo
l
a
ege
drop pet_e
x
pr_access_get_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
ne
s
t
.
c: m
o
v
e i
s
_sub_a
c
cess to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
tree2scop
.
c: e
x
t
r
ac
t
_kill: update kill
expression rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
aege
pet_expr
_
i
s
_affine: avoid usin
g
acces
s
re
l
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_filter: avoid using acc
e
ss relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
pet_expr_acces
s
_update_domain: avo
i
d
u
sing a
c
c
e
s
s
re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolaege
pet
_
expr_
a
ccess_get
_
must_access: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laeg
e
pet_expr_a
c
cess_get_id: avoid
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
expr
.
c: access_add_ref_
i
d
: av
o
id
using access relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
scop
.
c: ac
c
e
s
s_collect_params
:
avoid using a
c
cess re
l
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
s
cop
.
c: implies_filter: avoid using a
c
c
e
s
s
r
e
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c: access_e
x
t
ract_conte
x
t: avoid
u
s
ing access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
oolaege
sco
p
.
c: e
x
pr_extract_cont
e
x
t: avoi
d
us
i
ng access re
l
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract out sha
r
e
d
drop_
a
r
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aeg
e
pet_exp
r
_access_update_d
o
main: minor c
l
ean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
o
olaege
fur
t
h
e
r
generalize compu
t
e_to_inner to
s
up
p
ort p
e
t_
s
cop_c
o
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
generali
z
e com
p
u
te_to_inner to
s
upport pet_s
c
op_compute_oute
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: com
p
u
t
e_to_inner: micro-opt
i
m
i
z
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolaege
tree2scop
.
c: is_nested_a
l
lowed: do not allow ne
s
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven
Verdoolaege
PetScan::set_upper_bounds
:
use declared siz
e
of sta
t
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
scop
.
c: restrict_skip
:
u
pdate doc
u
menta
t
ion to
change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c: s
c
o
p_add_inc: take into accou
n
t affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Ver
d
oolaege
tree2scop
.
c: mo
v
e up
a
pply_
a
ffine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
r
ee2scop
.
c: scop
_
from_non_affine_while: ext
r
a
c
t
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven
Ver
d
oola
e
ge
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
ool
a
e
g
e
update i
s
l to
v
ers
i
o
n 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verdoolae
g
e
README: updat
e
LLVM/
c
lang installation i
n
struc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
inte
r
face/extrac
t
_interface
.
cc: explicitly in
c
lude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
r
doo
l
aege
update for c
h
an
g
e
i
n arg
u
ments
o
f C
o
m
p
i
l
erInst
a
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdool
a
ege
pet
.
cc
:
add spac
e
b
etween l
i
teral
and identifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update isl for sup
p
ort for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ver
d
oolaege
pet
_
stmt
_
from_
p
et
_
tree: avoid f
r
e
e
of uninitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
scan
.
c
c
: fix typ
o
in
c
o
mme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laeg
e
pet_scop_from_pe
t
_stmt: do
n
ot extract
context
f
ro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
e
n
Verd
o
olaege
PetSca
n
::extract
_
argument: han
d
le passin
g
of entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n V
e
rdoolaeg
e
Makefile
.
am: a
d
d dummy C+
+
source file to
pet_s
c
o
p
_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
rdo
o
laege
ha
n
dle
p
enci
l
i
n
depe
n
dent
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdo
o
l
a
ege
PetScan: keep trac
k
of line
numbe
r
o
f
current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
c
c
:
extract out Pe
t
ASTConsumer::add_pragma_hand
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsul
a
te
_
dyna
m
ic_control optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoola
e
ge
pet_scop_from_pet_t
r
ee: cr
e
a
t
e stateme
n
t
s directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verd
o
olae
g
e
repl
a
ce pe
t
_stmt_from_pet_
e
xpr by pet_stmt_from_
p
et_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdoo
l
ae
g
e
p
e
t
_stmt: use pet_tree to repr
e
sent s
t
atement
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdo
o
laege
s
c
op
.
c
: extr
a
ct ou
t
p
et_stm
t
_is_affine_ass
u
me and pet_s
t
mt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
olaege
scop
.
c: stmt_collect
_
ac
c
esses:
u
se p
e
t_
e
xpr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
o
l
aege
scop
.
c:
stmt_collect
_
p
arams: use pet_expr_for
e
ac
h
_access_e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
V
e
r
doolaeg
e
kee
p
tr
a
ck
o
f indentation of extracted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ve
n
V
erdoola
e
ge
u
pdate
test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
ol
a
ege
extract enum constants as their in
t
eger values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
PetScan::extract_int: separat
e
out ext
r
ac
t
ion from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
P
e
tS
c
a
n
::extract_
u
nsig
n
ed: t
u
rn
i
nto a static
fu
n
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olae
g
e
scan
.
c
c:
c
hang
e
t
ex
t
ual orde
r
of extract_u
n
signed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_ch
e
ck_code
.
c: use pet_e
x
p
r
_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
export pet_expr_
e
x
t
ract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
p
e
t_context: no longer keep t
r
ack of
"unk
n
own" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdo
o
laege
pe
t
_exp
r
_ex
t
ract_affine: n
o
longer
create new p
a
rameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetSc
a
n::extract_
s
cop:
p
o
p
u
late pet_co
n
text with parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
sc
a
n
.
cc:
m
ove up s
t
a
t
i
c
g
e
t_arra
y
_
t
ype
f
u
n
c
tion in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSca
n
::get_arr
a
y_size: cache
r
esults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolae
g
e
PetScan::set_upper_b
o
un
d
s: ext
r
act ou
t
PetScan::ge
t
_array_s
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
pet_expr_is
_
eq
u
al: compa
r
e
i
n
dex express
i
ons up to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaeg
e
pet
_
expr_ex
t
r
a
c
t
_affine: exploit dom
a
in
i
n
format
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
