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
tree2scop.c: extract out scop_from_tree_expr
2015-01-13
Sve
n
Ve
r
dool
a
ege
t
ree
2
scop
.
c: ex
t
ract
out scop_
f
rom_tree_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sve
n
Verdoolaege
PetSca
n
::ex
t
r
a
ct_argument: on
l
y pe
r
f
orm wr
i
t
e
detection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-16
Sven Verdoolaege
en
c
apsu
l
at
e
loop con
t
aining continue/br
e
ak when
e
ncapsulatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-21
Sv
e
n Verdoolaege
pet_st
m
t_bu
i
ld
_
a
s
t_ex
p
rs: igno
r
e express
i
on
a
rguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-06
Sven Ve
r
doola
e
ge
imp
r
ove handling
o
f fun
c
tion summa
r
ies
with structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
pet 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
update isl t
o
vers
i
on 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven V
e
rd
o
olaege
Pe
t
Scan::set_up
p
er_bound
s
: fix typo breaking n
o
n-1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven Verdo
o
l
a
e
g
e
update isl fo
r
change in i
s
l_map_subtra
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven
Ve
r
doolaeg
e
upda
t
e
f
or chan
g
e
in
TargetOptions
r
efcoun
t
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verd
o
o
laege
update for remova
l
o
f llv
m
/ADT/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
interface/extract_interface
.
cc: avoid use of
S
ourc
e
Manage
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ver
d
ool
a
ege
update for remova
l
of
D
efault
I
mageName
D
r
iver construc
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Verdoolaege
upda
t
e
isl
f
o
r
s
u
pport for recent
c
la
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
S
v
en V
e
r
d
oolaege
pet_expr_new_
u
n
a
r
y
: take type size argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdoolaege
p
e
t_scop_collect_d
o
mains: prop
e
rly handle
s
tatements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pet_stm
t
_pr
i
nt_body:
d
o not p
r
i
n
t
a
n
y
t
hing for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
Verdool
a
ege
fix
quasi_affine
test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolae
g
e
pe
t
_tree_du
m
p: fix typo in out
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdool
a
ege
s
c
op
.
c
:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdool
a
ege
scop
.
c: scop
_
allo
c
: plug memory l
e
ak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
e
xpr
.
c: ex
t
ract_
a
ffine_mul: abort o
n
error
r
a
ther than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdo
o
laege
PetScan::set_u
p
pe
r
_
b
ounds: handle a
r
rays
d
eclared inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ve
r
doo
l
aege
derive access relation
s
of c
a
ll expres
s
ions from fu
n
c
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
a
d
d pet_ex
p
r
_map_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ve
r
doo
l
aege
add pet_expr_acce
s
s
_get_augmented
_
domain_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
PetS
c
an::extract_expr(CallExpr *): extra
c
t
function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
pe
t
_expr: keep track of f
u
n
ction summari
e
s
i
n call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
pet_ex
p
r:
put
p
et_expr
_
call fiel
d
in substructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
i
n
tr
o
duce pet_function_s
u
mm
a
ry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_acces
s
_set_access: set rea
d
/write
o
n n
o
n-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolae
g
e
b
rea
k
u
p access re
l
ations into may_r
e
a
d/
m
ay_write/mus
t
_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
add pet_unio
n
_map_move_
d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
in
t
roduce pet_e
x
pr_access_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoola
e
g
e
drop pet
_
expr_from_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdool
a
ege
explici
t
ly mar
k
k
i
l
l
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_e
x
pr: r
e
present
r
ead/w
r
ite flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
pet_expr: d
o
cument
the read and write
fie
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
laege
break up acce
s
s relations into may_rea
d
/m
a
y_write/
m
ust_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
p
et_expr_tag_a
c
cess:
a
void u
s
e of target
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
postpon
e
i
n
t
r
od
u
c
tion of access relat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
emit
.
c: em
i
t_expr: extr
a
ct out emit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
drop pe
t
_expr_access_
g
et_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdool
a
ege
n
est
.
c
: mo
v
e is_sub_access
t
o
exp
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olae
g
e
t
r
ee2sco
p
.
c: extract_
k
ill: update kill ex
p
res
s
ion rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
o
o
laege
pet_expr
_
is
_
affine: avoid using access
relat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
pet
_
expr_fi
l
ter:
avoid using
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
ae
g
e
pet_expr_acc
e
ss_update_domai
n
: avo
i
d using access
r
e
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
do
o
laege
pet
_
expr_access_get_
m
ust_access: avoid using a
c
c
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdoolaege
pet_expr_acces
s
_
g
e
t
_
i
d
:
a
v
oid using access
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
xpr
.
c:
access
_
a
dd_
r
ef_i
d
: avoid using acces
s
r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
sc
o
p
.
c: acc
e
ss_
c
ollec
t
_para
m
s
:
a
void using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
sc
o
p
.
c: impli
e
s_filte
r
: avoid using acc
e
ss r
e
la
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
scop
.
c: acc
e
s
s
_
extract_context: avoid using a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
o
lae
g
e
scop
.
c: expr_e
x
tra
c
t_
c
ontext: a
v
oid usi
n
g ac
c
e
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaege
sc
o
p
.
c: extr
a
ct out sha
r
ed drop
_
arg
u
me
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
p
e
t_
e
x
pr_access_update_doma
i
n: min
o
r clean-up
o
f
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoo
l
aege
further generali
z
e
compute_to_inner to support pet
_
scop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
olaege
generali
z
e compu
t
e
_
t
o
_inner to support pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oolaeg
e
scop
.
c
:
compute_to_inner: micro-op
t
i
mizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
er
d
o
olaeg
e
tree2
s
c
o
p
.
c:
is_ne
s
t
ed_allowed: do n
o
t all
o
w
nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
erdo
o
la
e
ge
Pet
S
can::set_upper_bounds: use declared
size of stati
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
e
r
d
o
olaege
sco
p
.
c: restr
i
c
t
_ski
p
:
up
d
ate documentation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven V
e
rd
o
ol
a
e
g
e
tree
2
scop
.
c:
scop_a
d
d
_
inc: take into account a
f
f
i
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erd
o
olaege
tree2sc
o
p
.
c: mo
v
e up apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
tree
2
s
cop
.
c
: scop_from
_
non_aff
i
ne_wh
i
le: ex
t
r
act
o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rd
o
olaege
update i
s
l to version 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
ven Ver
d
o
ol
a
ege
README: u
p
d
ate LLVM/clang i
n
s
t
allation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
e
r
doolaege
interface/extra
c
t
_
interface
.
cc: explicitly
include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
r
d
o
ol
a
ege
update for change in argument
s
of CompilerI
n
stance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
o
o
laege
pet
.
cc
:
add s
p
ace between literal and identi
f
ie
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
u
pdate isl for
su
p
p
o
rt for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
p
et_stmt_from_pet
_
tree: avoid free of u
n
initia
l
ized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven V
e
rd
o
olaege
scan
.
cc: fix typo i
n
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
V
e
rdoolaege
pet_scop_
f
rom_pet
_
stm
t
:
do
n
ot extract
c
ontext from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
o
laege
PetScan:
:
ext
r
act
_
ar
g
ument
:
ha
n
dle
p
assing of entire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
oolaege
Make
f
ile
.
am:
add dummy C++ source fi
l
e t
o
p
et
_
scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
handle
pencil ind
e
pendent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
Pet
S
c
a
n: keep t
r
ack of line number
o
f c
u
rrent Stm
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
pet
.
c
c
:
extr
a
ct o
u
t Pe
t
A
STConsum
e
r::a
d
d_pragma_h
a
n
dlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
ad
d
encapsulate_d
y
namic_
c
ontrol opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
pet_scop_from_pet_tree: creat
e
stateme
n
ts directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Ve
r
do
o
laege
replace
p
e
t_
s
tmt_from_
p
et_
e
x
p
r by pet_stmt_from
_
pe
t
_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
r
d
oolaeg
e
pet_stmt
:
use
pet_tree to repre
s
en
t
statement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoola
e
ge
scop
.
c: extract out pe
t
_s
t
mt_i
s
_affine_assume
and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
scop
.
c: stmt_coll
e
ct_accesses:
u
s
e pet_expr_forea
c
h_access
_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
scop
.
c: stmt_
c
olle
c
t_param
s
: use pet_expr
_
foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
keep tra
c
k of indentation of ex
t
r
a
c
ted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update test case o
u
t
puts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
e
xtract e
n
um constants as th
e
ir integer v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolae
g
e
PetScan::extract
_
int: separate out extracti
o
n
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
Pe
t
Sca
n
::extract_unsig
n
ed: turn i
n
to a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
scan
.
cc:
change textual order of
e
x
tract_unsig
n
ed and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
e
t
_
check_code
.
c:
u
se pet_expr
_
extra
c
t_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
export pet_ex
p
r_ex
t
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoo
l
a
e
ge
p
e
t
_context: no lon
g
er k
e
ep track of "unknown" val
u
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_e
x
pr_extract
_
af
f
ine: no longer
c
r
eate new par
a
met
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
P
e
tScan:
:
extract_scop: populate pet_context with
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
scan
.
cc: move u
p
static get_array_ty
p
e funct
i
o
n
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next