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
update isl to version 0.14
2014-10-26
Sven Verdoolaege
update isl to version 0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
PetSc
a
n:
:
set_upper_bounds: fix typo breaking non-1
D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdoolaege
update
i
sl for
c
han
g
e in isl_m
a
p_sub
t
ract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verd
o
o
l
aege
update fo
r
c
hange
in
T
arg
e
tOpti
o
ns refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verd
o
o
l
aege
update for rem
o
val
o
f ll
v
m/ADT/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven
Ver
d
o
olaege
inter
f
a
c
e/extract_interf
a
ce
.
c
c: a
v
oid use of Sourc
e
Manage
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
ven Verdoolaege
u
pdate for
rem
o
val
o
f
De
f
aultI
m
ageName Driver constr
u
ctor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
ven V
e
rdo
o
l
aege
up
d
a
t
e is
l
for suppo
r
t for recen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven
Verdoolaege
pet_exp
r
_new_unary
:
t
a
k
e
type size
a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven
Verdoolaege
pet_scop_collect_domains: properly handle s
t
atements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pet_
s
tm
t
_
p
r
i
n
t_body:
d
o n
o
t print anything for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
f
ix
q
uasi_affine test ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pet
_
t
r
ee_dum
p
:
f
ix typo in ou
t
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verd
o
olaege
s
cop
.
c:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ver
d
o
o
laege
s
c
op
.
c: sc
o
p_allo
c
:
p
lug me
m
ory leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoolaege
expr
.
c
: ex
t
ract_aff
i
ne_m
u
l:
abort on
e
rr
o
r
rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven
Verdoolaege
PetScan::set
_
upper_bounds: handle a
r
r
a
y
s
d
e
c
lared insid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en van
Haas
t
regt
allow specific
a
t
i
on of sum
m
a
r
y functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ve
r
doolaege
d
e
r
ive access relations of ca
l
l expression
s
from fu
n
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
add p
e
t_e
x
pr_
m
a
p_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaeg
e
add p
e
t
_
expr_access_get_augmented_domain_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
e
r
d
o
olae
g
e
PetScan::ex
t
ract_expr(CallE
x
pr
*
): ex
t
ract
f
unction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
pet_exp
r
: keep
tr
a
ck of function su
m
ma
r
ies
i
n call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_expr
:
p
u
t
pet_expr_call fi
e
ld in su
b
structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verd
o
olaege
in
t
roduce pet_functi
o
n_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet_expr_
a
ccess_se
t
_access: set read/w
r
i
t
e on non-
e
mpty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
break up acc
e
ss
r
elations into may_read/ma
y
_w
r
i
t
e
/must_wr
i
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
oolaege
add p
e
t_un
i
on_
m
ap_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
i
n
troduce
p
et_ex
p
r_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
d
o
olaeg
e
drop
p
et_expr_fro
m
_a
c
cess_and_ind
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
explicitly mark kill a
c
c
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoo
l
aege
pet_expr: repre
s
ent read/
w
rite f
l
a
gs as
b
its
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
p
e
t_expr: document the r
e
ad a
n
d write fiel
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
bre
a
k
u
p access relations into may_read/
m
a
y_write/must_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
er
d
o
ola
e
ge
pet_expr_tag_access: avoid use of
target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
ool
a
ege
pos
t
p
o
ne introduction of access
relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
ol
a
ege
emit
.
c: emit_expr: extract out emit
_
access
_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
d
oola
e
ge
drop
p
et_exp
r
_acc
e
s
s_get_acc
e
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoola
e
ge
nest
.
c
: move
i
s
_sub_access
t
o
e
xpr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
tree2scop
.
c
: ext
r
a
ct_kill: update kill expressi
o
n rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ola
e
ge
pet_expr_is
_
aff
i
ne: avoid using access rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolae
g
e
pet_exp
r
_fi
l
t
e
r: avoid
u
sing access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pet_expr_a
c
cess_up
d
ate_domai
n
: av
o
id using
access rela
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_acce
s
s_get
_
must_access: avoid using acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
pet_ex
p
r
_access_ge
t
_i
d
:
a
voi
d
using
a
cc
e
ss r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
ex
p
r
.
c: acces
s
_add_ref_i
d
: av
o
id u
s
ing acce
s
s rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
s
c
op
.
c: access_col
l
ect_params: avoid using acce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolae
g
e
scop
.
c: impl
i
e
s_f
i
lter: avoid u
s
i
ng a
c
cess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
dool
a
ege
scop
.
c: access_
e
xtract_
c
ontex
t
: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
scop
.
c
:
expr_ex
t
ract_context: avoid us
i
ng access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
scop
.
c: ex
t
ract out shared d
r
o
p_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdool
a
ege
pet_expr_access
_
updat
e
_domain: minor clea
n
-up of ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
further general
i
ze comp
u
te_to
_
inner to s
u
pport p
e
t_scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
g
ener
a
lize co
m
p
ute_to_inner t
o
sup
p
ort pet
_
scop_compute
_
oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oolaege
scop
.
c: compu
t
e_to_in
n
er
:
micro-optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoolaege
t
ree2scop
.
c: is_nested_a
l
lo
w
ed: do not all
o
w ne
s
t
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven V
e
r
doolaege
PetScan::
s
et_upper_bound
s
: us
e
decl
a
red size of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
Verdoolaege
s
co
p
.
c:
restrict_skip: updat
e
documentation to ch
a
n
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaeg
e
tree2scop
.
c: scop_
a
d
d
_
i
n
c:
t
ake i
n
t
o
a
cc
o
unt affi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rdo
o
l
a
ege
tree2scop
.
c: mo
v
e up ap
p
ly_affine
_
conti
n
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
V
erdoo
l
aege
tree2scop
.
c
:
s
co
p
_from_non_aff
i
ne_while: ex
t
ra
c
t out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
o
lae
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
e
rdoolae
g
e
u
pdate isl to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verd
o
olaege
R
EADME: update LLVM/clang installation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
o
olaege
interface/extract_int
e
rface
.
cc: e
x
plicitly i
n
clud
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdo
o
laege
u
pd
a
t
e
for change in
a
rgumen
t
s
o
f
Co
m
pilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet
.
cc
:
add space between li
t
eral and identifi
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
up
d
ate isl for
support
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
pet_stmt_from_pet_tr
e
e: avoid free
of u
n
initialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaeg
e
scan
.
cc: fix typ
o
in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoo
l
aeg
e
p
e
t_
s
cop_from_
p
e
t_stmt: do
n
o
t extract context f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoola
e
ge
PetScan::extract_argument: handle passing of entir
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
M
akefile
.
am:
a
d
d d
u
mmy C++ source file to pet_
s
c
op_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
handle pencil indepe
n
dent prag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdo
o
laege
PetScan: ke
e
p tra
c
k of li
n
e
number of c
u
r
r
ent S
t
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pe
t
.
c
c
: extract
out
P
etA
S
TConsum
e
r:
:
a
d
d_pragma_
h
a
n
dlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdo
o
laeg
e
add en
c
apsulate
_
dynamic_co
n
tr
o
l
o
p
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ver
d
oolaege
pet_scop_f
r
om_pet_tree: create sta
t
e
m
en
t
s
d
ire
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
replace pet_stmt_fr
o
m
_
pet_e
x
pr by pet_stmt_from_pe
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdool
a
e
g
e
pet_stmt
:
u
s
e pet_tree t
o
represent state
m
e
n
t body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
scop
.
c
: e
x
trac
t
ou
t
pet_stmt_
i
s_
a
ffine_assume
and p
e
t_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
sco
p
.
c: stmt_collect_
a
cces
s
es: use p
e
t
_exp
r
_
foreach_acces
s
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
scop
.
c: st
m
t_co
l
lect_params: use pet_expr_foreach
_
access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolae
g
e
keep track of ind
e
ntation of extracted c
o
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update
t
est case output
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdool
a
e
g
e
ext
r
act
e
num c
o
nsta
n
ts as th
e
ir integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
PetScan::ext
r
act_int: separate out
extra
c
ti
o
n from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::
e
x
tr
a
ct_
u
nsi
g
ned:
t
urn into a static
f
u
n
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
sca
n
.
c
c
: change textual order of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
heck
_
c
o
de
.
c: u
s
e
pet
_
expr_
e
xtract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
export
pet_ex
p
r_extrac
t
_af
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_context:
no
longer keep track of "unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
p
e
t_expr_extract_affine: no longer c
r
e
a
te
new
par
a
meter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::extr
a
ct_s
c
op:
popu
l
ate
p
et_
c
onte
x
t w
i
th
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
scan
.
cc: move up
static get_
a
rray
_
ty
p
e func
t
ion in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaeg
e
PetSc
a
n::g
e
t_array_size: ca
c
he
r
esul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
PetScan::s
e
t_uppe
r
_bounds: extract out Pet
S
ca
n
::get_arr
a
y
_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_expr_is_equal
:
compare ind
e
x expr
e
s
sio
n
s up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_e
x
pr
_
extra
c
t_affine
:
exploit domain inform
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
add pet_context_get_g
i
st
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next