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
S
v
en Verdoolaege
pet 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
update isl to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verd
o
olaege
PetS
c
an::set
_
upper_bou
n
ds: fix typo brea
k
ing non-1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdoolaeg
e
up
d
ate
i
sl for change
in
i
sl_map_subtr
a
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven V
e
rdo
o
laege
update
f
or change in
T
arget
O
ptions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
S
ven V
e
rdo
o
laege
update for remo
v
al of
llvm/ADT/Owni
n
gPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Verdo
o
laege
interface
/
ex
t
r
a
ct_interface
.
cc: avo
i
d use of SourceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en Ver
d
ool
a
ege
update for removal o
f
DefaultI
m
ageName Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n
V
erdoolaege
update isl for
s
u
pport for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven V
e
r
d
oolae
g
e
pet_expr_new_unary: take type s
i
ze argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
S
ven Verdo
o
laege
p
et_scop_collect_doma
i
n
s: properly handl
e
s
t
ateme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
oolaege
pet_st
m
t_print_body:
d
o
not print anything for
k
i
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fix quasi_affine t
e
st case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdoolaege
pet_tree_dum
p
:
fix typo in
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en
V
erdoolaege
scop
.
c: fi
x
t
y
po in
c
o
m
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaege
scop
.
c: scop_al
l
oc: plug memory leak on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doolaege
expr
.
c:
e
xtract_affine_mul: ab
o
rt
o
n e
r
ror rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Verdo
o
laege
PetSca
n
:
:set_uppe
r
_bounds: handle arr
a
ys
d
e
c
lared
i
nside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en Verdoolaege
derive
a
cce
s
s relations
of c
a
l
l
expressions fr
o
m func
t
ion
.
.
.
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
Sven
V
erdoo
l
aege
add pet_e
x
p
r_a
c
c
ess_ge
t
_a
u
gmented_doma
i
n_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
P
e
tScan::
e
xtract
_
e
xpr(CallExpr *): extract function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr: kee
p
t
ra
c
k of fu
n
ction summaries in
call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
pet_ex
p
r: put
pet_expr_call fi
e
ld
in substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
eg
e
i
n
troduce
p
et_fu
n
ction_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
a
e
g
e
p
et_
e
xpr_acc
e
ss_s
e
t_access: set read/write on non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
break up access r
e
l
a
t
ions into
m
ay_read/may_write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolae
g
e
add p
e
t
_
un
i
on_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoo
l
aege
introdu
c
e pet
_
ex
p
r_access_ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
a
ege
dro
p
pet_expr_from_acce
s
s
_
and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
ol
a
ege
e
xplic
i
tly
mark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
pe
t
_
e
xpr:
represent read
/
wri
t
e fl
a
gs as b
i
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
pet_expr
:
document
t
he
read a
n
d write fiel
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
bre
a
k up access r
e
l
ations
i
nt
o
m
ay_rea
d
/may_write/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_expr_tag_ac
c
ess: avoid use of target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
p
ostpon
e
intro
d
uct
i
on
of
access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
e
m
it
.
c: emit_exp
r
:
e
xtract out emit_acces
s
_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
dr
o
p pe
t
_expr_a
c
c
ess_get_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolae
g
e
nest
.
c: move
is_
s
ub
_
access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
tree
2
scop
.
c: extra
c
t_kill:
u
pdate kill expression rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
p
e
t
_e
x
pr_
i
s_affine: avoid using acce
s
s
rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_
e
xpr_filter:
avoid us
i
ng acc
e
s
s
rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
pet_e
x
p
r
_access_update_domain:
a
void us
i
ng access
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
r
d
o
ola
e
ge
pet_expr_acc
e
ss_get_
m
ust
_
access: av
o
id using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
er
d
o
o
laege
pet_expr_access_get_i
d
:
avoid using access rel
a
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
x
pr
.
c: access_add_ref_id: avo
i
d using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
s
c
op
.
c:
acces
s
_collect_
p
arams: avoid using a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
erdoola
e
ge
scop
.
c: implies_fil
t
er: avoid using acc
e
ss relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
scop
.
c: access_extr
a
ct_context: av
o
id
usi
n
g ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoo
l
a
e
g
e
scop
.
c: expr_extract_co
n
t
e
xt
:
avoid
using
a
ccess re
l
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract out share
d
drop_ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
pet_e
x
pr_acce
s
s_update_domain: minor clean-u
p
o
f
expressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
fu
r
ther
g
eneralize c
o
mpute_to_inner to support
pet_scop_co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
o
ola
e
ge
g
e
nera
l
ize comput
e
_to_i
n
ner to
support pet_sc
o
p_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
scop
.
c: co
m
pu
t
e_to
_
inner: micro-opt
i
mi
z
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaege
t
ree2
s
cop
.
c:
i
s_nested_allo
w
ed: do
n
ot allow nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Ve
r
doolaege
PetSc
a
n::set
_
u
p
per_
b
ounds: us
e
declare
d
si
z
e of stat
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
e
n Verdoolaeg
e
scop
.
c:
r
estri
c
t_ski
p
: update
d
ocumentati
o
n to
c
h
a
nge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
tree2scop
.
c: scop_add_inc: t
a
ke into account affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doo
l
ae
g
e
tree2sco
p
.
c: mov
e
up apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolae
g
e
tree2scop
.
c: scop_fr
o
m_non_af
f
ine_wh
i
le: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
pe
t
0
.
0
5
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
V
erdoola
e
ge
update isl to
ve
r
sion 0
.
1
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update LL
V
M/
c
lang in
s
tallation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rd
o
ol
a
ege
interface/extra
c
t
_
interf
a
ce
.
cc:
e
xpl
i
citly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Ver
d
ool
a
ege
upda
t
e for change in ar
g
uments
o
f Com
p
iler
I
ns
t
a
nc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
p
e
t
.
cc: add space b
e
tw
e
en
l
iteral and identi
f
ier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Ve
r
doo
l
a
ege
u
p
date isl for support for recent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
r
dool
a
ege
pet_stmt_fr
o
m_pet_tr
e
e: avoid
fr
e
e of uninitiali
z
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
S
v
e
n Ver
d
oo
l
a
ege
scan
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verd
o
olae
g
e
pet_scop_from_pet_stmt: do n
o
t ex
t
ract
c
o
n
text f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
V
e
r
d
o
olaege
P
e
tScan::extract_argume
n
t: handl
e
passing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
Makefile
.
a
m: ad
d
dummy C++ s
o
ur
c
e
file to
p
e
t
_
scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven V
e
r
doolaege
h
a
ndle pencil inde
p
e
n
dent pragma
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
PetScan: k
e
ep track
o
f line
n
u
mb
e
r
o
f cur
r
ent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdo
o
laege
pet
.
cc: extra
c
t out PetASTConsumer::add_
p
ragma_handler
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add encapsulate_dy
n
a
m
ic_contr
o
l o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Ve
r
doo
l
aege
pet_scop_from_
p
et_tree: cr
e
ate statement
s
direc
t
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
replace pe
t
_stmt_fr
o
m_p
e
t_expr by pet_stmt_from_p
e
t_t
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
oolaeg
e
pet
_
s
tmt: u
s
e pe
t
_tree to repre
s
ent
statem
e
nt body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
scop
.
c: extract out pet_stmt_i
s
_affine
_
assu
m
e and
pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verd
o
o
la
e
ge
sc
o
p
.
c: stmt_c
o
llect_acc
e
ss
e
s: us
e
pet_expr_fore
a
ch_
a
ccess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
s
c
op
.
c
: stmt_collect_params:
u
se
pet_ex
p
r_
f
ore
a
c
h_acc
e
ss
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Ve
r
d
o
olae
g
e
keep track of indentat
i
on of extra
c
ted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
up
d
at
e
test ca
s
e out
p
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
e
xtrac
t
enum cons
t
ants
as their in
t
eger values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erd
o
olaege
Pe
t
Scan::ex
t
ract_int: separat
e
out
e
xtraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetS
c
an
:
:
extract_unsigned
:
turn int
o
a
static fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
scan
.
cc:
change tex
t
u
a
l or
d
er
of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
pet_ch
e
ck_code
.
c: u
s
e
p
e
t_exp
r
_
extract_
a
f
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
e
x
port pet_expr
_
ex
t
r
a
ct_a
f
fin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
pet_c
o
n
t
ext:
n
o longer keep
t
rack of "unknown" v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_expr_
e
x
t
ract_a
f
f
in
e
: no lo
n
g
er c
r
eate
n
ew parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdool
a
ege
PetScan::extract_scop:
popu
l
at
e
pet_context with
par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
do
o
laege
scan
.
c
c:
m
o
v
e up static get_array_t
y
pe functio
n
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
P
e
tS
c
an::get_array_si
z
e: cache re
s
ul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
etScan::
s
et_up
p
er_bounds: extrac
t
out PetScan::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_ex
p
r_is_equal: co
m
p
a
re in
d
ex ex
p
r
essions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pe
t
_
e
xpr_extract_affine: exploit dom
a
in information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_context_get_gis
t
_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next