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 Verdoolaege
pet 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
updat
e
isl
to
v
ersion 0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
Pet
S
ca
n
:
:
s
et_upper_bo
u
nds: fix typo
b
r
eaking n
o
n
-
1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sve
n
Verdoolaege
update is
l
for ch
a
nge in isl_map_s
u
btract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoo
l
a
e
ge
update for ch
a
nge in TargetOpti
o
ns refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sve
n
V
e
rdoolaege
u
pdate for
r
em
o
val
o
f llv
m
/A
D
T/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
i
nterface/ext
r
act_interface
.
cc: avoid use of S
o
urceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update for removal of DefaultImag
e
Name
D
river
constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaeg
e
update isl
for support
for rec
e
nt
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
pet_e
x
pr_n
e
w_u
n
a
r
y
: t
a
ke
type size argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven V
e
r
d
ool
a
e
ge
pet_scop
_
c
ollect_domains: properly handle statem
e
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
laege
pet
_
stmt
_
print_body: do
n
o
t
p
rint a
n
ything
f
or kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
fix quasi_affine test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doolaege
pet_tree_dump: fix typo in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c:
f
ix typo in co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: scop_alloc:
p
lug
m
emory leak on er
r
o
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
d
o
olaege
expr
.
c: ext
r
act_affine_mul: abor
t
on error rather
than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Ve
r
d
oolaege
PetS
c
an::set_up
p
e
r
_bounds
:
h
andle arrays decla
r
ed inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en van Haast
r
egt
allow specifi
c
ation of summary
fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
de
r
ive access relat
i
o
ns of call exp
r
essions from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add
p
et_expr_
m
ap_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aeg
e
add pet_expr_access_get_augme
n
ted
_
dom
a
in_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
PetScan::ex
t
ra
c
t
_
expr(Ca
l
lExpr *): extrac
t
fun
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr:
k
e
e
p t
r
ack of
function summaries in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_e
x
pr
:
put pet_expr_cal
l
field in
subs
t
r
u
c
ture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doo
l
a
ege
introd
u
ce pet
_
function_sum
m
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
pet_expr_access_set_access: set read/wri
t
e on n
o
n-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
b
reak up acce
s
s
r
elation
s
into may_read/may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
ad
d
p
e
t
_union_ma
p
_
m
ove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
o
olaeg
e
i
n
trodu
c
e pet_expr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdo
o
la
e
ge
drop
pet_exp
r
_f
r
om_acces
s
_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
x
pl
i
citl
y
mark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet
_
expr: represent r
e
ad/write flags
a
s bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n V
e
rdoolaege
pet_expr: document
the read and
w
rite fiel
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
olaege
b
reak
u
p access rel
a
tions into may_read/may_write/must_
w
rite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_expr_
t
ag_access: avoid use of targe
t
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oola
e
ge
postpone introduction of access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
emit
.
c: emit_exp
r
: ext
r
a
ct
o
ut emi
t
_acc
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
rop pet_
e
xpr_acc
e
ss_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoola
e
ge
ne
s
t
.
c: move is_s
u
b_
a
cce
s
s to e
x
pr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
do
o
laege
tr
e
e2scop
.
c: extract_kill: update kill expr
e
s
s
i
on rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolae
g
e
pet_expr_is_a
f
f
ine
:
avo
i
d using
access rela
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdool
a
ege
p
e
t
_
e
x
pr_filter: avoid u
s
i
n
g access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_
u
pdate_d
o
m
ain
:
a
v
o
id
u
sing access re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_exp
r
_
a
ccess
_
g
et_must_acce
s
s: avoid us
i
ng access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
pet_expr_access_get_id: avoi
d
usi
n
g
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
expr
.
c:
a
ccess_add_ref_id: avoid using
access
r
elati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laege
scop
.
c
:
a
c
c
e
ss_collect_
p
arams: avoid using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
scop
.
c: implies_f
i
lter: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoo
l
aege
scop
.
c: ac
c
e
s
s_
e
xtract_context:
a
void u
s
i
n
g
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: e
x
pr_extract_context: avoid using access re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolae
g
e
sco
p
.
c: extract ou
t
shared
d
ro
p
_
a
r
g
u
men
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
Verdoolaege
pet_exp
r
_a
c
cess_update_d
o
m
ain: minor
clean-up of expressio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
ge
further ge
n
eralize com
p
ute_to_inner to support pet_
s
cop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
g
ene
r
alize comput
e
_to_inner to suppo
r
t pet_scop_compute_o
u
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: compute_
t
o_inner
:
micro-optim
i
z
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolae
g
e
tree2scop
.
c: is_nested_allo
w
ed: do not all
o
w nes
t
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdo
o
l
a
ege
Pe
t
Scan::s
e
t_upper_bou
n
ds: use decl
a
red size of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
scop
.
c:
res
t
rict_skip
:
updat
e
docu
m
entation to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
tr
e
e2scop
.
c: scop_add
_
i
n
c: t
a
ke in
t
o account affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
er
d
ool
a
ege
tree2sc
o
p
.
c
: mo
v
e up a
p
ply_affine_
c
ontin
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Ver
d
oola
e
ge
t
ree2scop
.
c:
scop_from_non_af
f
ine_while: e
x
tract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
upda
t
e isl
t
o ve
r
s
ion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
V
erd
o
ola
e
ge
RE
A
DME
:
update LLVM/clang installation in
s
tr
u
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
interface/extract_interface
.
cc: e
x
plic
i
tly i
n
clude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n Verdoo
l
aege
updat
e
for change in arguments of Com
p
ilerI
n
s
t
ance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
p
et
.
cc: add sp
a
ce between literal and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
V
erdoolaege
update
i
s
l f
o
r support for
r
ecent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
pet_stmt_from_pet_tre
e
:
a
void free o
f
uninitializ
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sv
e
n Verdoola
e
g
e
scan
.
cc:
fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oola
e
ge
pet_sco
p
_from_
p
et_stmt:
d
o not extract con
t
ext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaeg
e
Pet
S
can::extr
a
ct_a
r
gument: handl
e
pas
s
ing
o
f entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
Makefil
e
.
am: add d
u
mm
y
C++ source
fi
l
e to pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
han
d
le pencil independent pr
a
gmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ve
r
do
o
laege
Pe
t
S
c
an: kee
p
t
rack of lin
e
numbe
r
of
c
u
r
rent
S
tmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verd
o
ol
a
ege
pet
.
cc: e
x
t
r
a
ct out PetASTCo
n
sumer::add_pr
a
gm
a
_h
a
n
dlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
add encapsulate_dynamic_co
n
trol option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdo
o
laege
pet_sc
o
p
_from_
p
et_tr
e
e: cr
e
a
te s
t
atements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoolaege
r
e
pla
c
e
pet_st
m
t_from_
p
et
_
e
xpr by
pet_
s
tmt_fr
o
m_p
e
t_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet_stmt: use p
e
t_tree to repres
e
nt
s
tate
m
en
t
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
s
c
op
.
c: extract out pet
_
st
m
t_is_affin
e
_ass
u
me and
p
et_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c:
s
tmt_collect_
a
ccesses: u
s
e pet
_
e
x
pr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
sc
o
p
.
c: stmt_collect_param
s
: use
p
et_expr_foreac
h
_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
erdoolaege
keep tra
c
k of indentation of ex
t
ract
e
d c
o
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
update test case out
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
extract enum constants
a
s thei
r
integer
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
PetSc
a
n
::extract_int:
s
epar
a
t
e
out extra
c
tion from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
PetScan::extract_unsigned:
turn into
a
s
tatic fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
s
can
.
cc: change t
e
xtual orde
r
of e
x
tract_u
n
signed
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check_code
.
c
:
use pet_
e
x
pr_ex
t
ract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
expor
t
pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_
c
on
t
ext: no longe
r
keep track of "unknown"
v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
pet_expr_ex
t
ra
c
t
_
affi
n
e: no longer create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
ol
a
ege
Pet
S
can::extract_scop: populate pet_con
t
ext with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaege
s
c
an
.
c
c: move up static get_array_t
y
pe functi
o
n i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::
g
et_
a
rray_
s
ize
:
cache resu
l
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::set_upper_bou
n
ds: extract out PetS
c
an::g
e
t_
a
rray_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
e
t_exp
r
_is_equal: compare index expressions up
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet
_
expr_extrac
t
_aff
i
n
e:
expl
o
it
d
omain info
r
mation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
