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
add support for __pencil_kill
2015-01-13
Sven Verdoolaeg
e
add
suppor
t
for __
p
encil
_
k
il
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
S
ven Verdoolaege
t
ree2scop
.
c
:
e
xtract
o
u
t
sc
o
p_from_tr
e
e_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verd
o
olaege
Pet
S
can::extra
c
t_argument: only perform
write detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-16
Sven
V
erdoolaege
enca
p
sulate loop containing continue/br
e
ak whe
n
encapsula
t
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoola
e
g
e
pet_st
m
t_bui
l
d_ast
_
exprs:
i
gno
r
e
expression argume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-06
Sven Verdoolaege
improve handli
n
g of function summaries with structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
pe
t
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
e
g
e
updat
e
i
s
l t
o
versi
o
n 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ve
n
Verdoolaege
P
etScan::se
t
_upper_b
o
und
s
: fi
x
typo brea
k
in
g
non
-
1D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-16
S
ven
V
e
rdoolaege
update
i
s
l for change in isl_map_subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sv
e
n Verdoolaege
u
pdate for cha
n
ge in TargetOptions refc
o
u
n
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-02
Sven
Verdoolaege
u
p
date
fo
r
remova
l
of ll
v
m/ADT
/
OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verd
o
olaege
int
e
rf
a
ce/extract_interface
.
cc: avoi
d
use of SourceManager
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Ve
r
doolaege
updat
e
for re
m
ova
l
of DefaultImageName Driver cons
t
ruc
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven
Verdoolaege
upd
a
te is
l
for s
u
p
port for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verdoolaege
pet_expr_ne
w
_u
n
ary:
t
ake
t
ype size argume
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven V
e
rd
o
olaege
p
e
t_s
c
op_collect_
d
om
a
ins:
properly
h
a
nd
l
e stat
e
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Ver
d
oolae
g
e
pet
_
stmt_print_body: do not
print anything
f
or kill
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
fix quas
i
_a
f
f
i
ne test cas
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verd
o
olae
g
e
pet
_
t
re
e
_dum
p
: fix typo
in output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdool
a
ege
scop
.
c: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoola
e
ge
s
c
op
.
c: sc
o
p
_
al
l
oc: plug
m
em
o
r
y
le
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
do
o
laege
ex
p
r
.
c
: extract_
a
ff
i
ne_mul: abort on
e
rror
rather
t
h
an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Ver
d
ool
a
ege
PetScan::set_
u
pper_bounds: handle arra
y
s declared inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sv
e
n Ver
d
oolaeg
e
de
r
ive access relations of call expr
e
s
sio
n
s from
function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
add pet_
e
xpr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoo
l
aege
add pet_e
x
pr_access_
g
et_a
u
gm
e
nt
e
d_d
o
main_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
Verdo
o
laege
P
etSc
a
n::e
x
trac
t
_
e
xpr(CallExpr *): extract func
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr: keep track of function summarie
s
in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
pe
t
_expr: pu
t
p
e
t_expr_cal
l
fie
l
d in sub
s
tructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
do
o
lae
g
e
i
n
trodu
c
e
pet_function_summary
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoolaege
p
et_exp
r
_a
c
ce
s
s_set_access: set
read/writ
e
on no
n
-
e
m
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
break up acc
e
ss relations int
o
m
ay_read/may_
w
rite/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
add pe
t
_
u
nion_map_move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoo
l
aege
introduce
pet_
e
xpr_access
_
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
d
r
op
pet_e
x
pr_
f
rom_access_and_
i
n
d
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
e
x
plicitl
y
mark
ki
l
l
a
ccesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
p
e
t
_expr
:
repr
e
sent
rea
d
/w
r
i
t
e
flags a
s
bi
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
olaege
pet_expr: document the
read and write
f
ields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up access r
e
lations into ma
y
_
r
ead/may_write/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
pet_expr_tag_access: avoid use of target space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
d
o
o
l
aege
p
o
stpone introdu
c
tion of access
r
e
l
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
emit
.
c: emit_expr:
e
xt
r
act out emit
_
access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
r
op pet_
e
xpr_access_
g
et_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
nest
.
c:
m
o
v
e
i
s_s
u
b_access
t
o
ex
p
r
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
oola
e
ge
tre
e
2scop
.
c: extract_kill: u
p
date kill ex
p
ression rath
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet
_
ex
p
r_is_aff
i
ne: av
o
id us
i
ng acc
e
ss relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_filter: avoid using access relat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
pet_
e
xpr_acce
s
s_update_doma
i
n:
a
v
o
id using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
pet_e
x
pr_access_
g
et_must_acce
s
s
: avoi
d
using acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ve
r
d
o
olaege
pet_
e
xpr_access_get_i
d
: avoid usin
g
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
oolaege
expr
.
c: access_add_r
e
f_id:
a
void using
ac
c
ess re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sco
p
.
c: access_
c
ollect_par
a
ms: avoid using acc
e
s
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
sco
p
.
c:
i
mplies_
f
ilter: a
v
oid
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doolae
g
e
scop
.
c
:
a
ccess_ext
r
act_
c
ontext: avoid usi
n
g access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
scop
.
c: e
x
pr
_
extrac
t
_context: avoid
using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: extract out sha
r
ed drop_a
r
gument
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
pet_expr_access_update_
d
omain: minor clean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further generalize
compute_to_inner
to support pet_scop_com
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
gene
r
alize c
o
m
p
u
te_
t
o_inner to suppor
t
pet_scop_com
p
ute_out
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaeg
e
sc
o
p
.
c
:
c
o
mpute_to_inner
:
m
icro-optimization
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven Verdoolae
g
e
tre
e
2s
c
op
.
c: is_n
e
sted_a
l
l
ow
e
d: do not allow nesti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sv
e
n Ver
d
oolaeg
e
PetScan::set_upper_b
o
unds: us
e
declared
size
o
f st
a
tic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoola
e
ge
sc
o
p
.
c
: r
e
s
trict_skip
:
update docu
m
e
ntation to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdoolaege
tree2sco
p
.
c
:
s
c
o
p
_add_inc: take into accoun
t
affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: mo
v
e
u
p ap
p
ly_a
f
fine_cont
i
nue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n
V
erdool
a
ege
tree2scop
.
c: scop_f
r
om_
n
on_af
f
ine_whi
l
e: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
aege
update
i
sl to v
e
r
sion
0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Verdoo
l
ae
g
e
README: update LLVM/
c
lang installation ins
t
ructions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
dool
a
ege
interf
a
c
e/extract_interfa
c
e
.
cc: explicitly in
c
lude
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ve
r
doolaeg
e
update fo
r
change
in arguments o
f
Co
m
p
i
l
erInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdo
o
laege
pet
.
c
c: add space
b
etween
lite
r
al and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
e
n Verdoo
l
aege
u
pdate
isl for
s
up
p
or
t
f
or recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
ve
n
Verdo
o
l
a
ege
pet_stmt_from_pe
t
_tree: avoi
d
fr
e
e
o
f
unin
i
t
i
alized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sve
n
Verd
o
olaege
scan
.
c
c: fix
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoola
e
ge
pe
t
_s
c
o
p
_from_pe
t
_stmt: do not
extract context from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaeg
e
PetSc
a
n::extract_argument: h
a
nd
l
e passing o
f
entire
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaeg
e
M
a
k
efile
.
am: add
dummy C
+
+ s
o
urc
e
file to pe
t
_sc
o
p_cmp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verd
o
olaege
h
a
ndle
p
en
c
il independ
e
nt pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
PetScan:
k
e
ep tra
c
k of line number of cur
r
ent Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
pet
.
cc:
e
xt
r
act out PetASTCo
n
sumer::add_prag
m
a_handl
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
add
enca
p
su
l
at
e
_dynamic_control option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoola
e
ge
pe
t
_s
c
o
p
_
f
rom_pet_tr
e
e: cr
e
ate s
t
a
t
em
e
nts
directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
replace pet_s
t
mt_from_pet_expr by pet_stmt_from_
p
et_t
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoo
l
a
ege
pet_stmt
:
us
e
pet_
t
ree to represent statemen
t
bo
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdo
o
laege
scop
.
c
:
extr
a
ct out pet_stmt
_
i
s
_affine_assume and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaeg
e
sc
o
p
.
c:
stmt_collect_access
e
s: use
p
e
t
_expr_forea
c
h_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
scop
.
c
: s
t
mt_coll
e
ct_params: use pe
t
_expr
_
foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
keep track o
f
in
d
entation of ext
r
a
cted
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
lae
g
e
update te
s
t case ou
t
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
extract enum constants as
their integer values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aeg
e
PetScan::extra
c
t_int: separat
e
out extraction from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laege
PetScan:
:
extrac
t
_
u
nsigned: turn into
a
static
f
u
n
ct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
s
c
a
n
.
c
c
:
change
t
ex
t
ual or
d
er of ex
t
ract_unsig
n
ed and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
ola
e
ge
pet_check_code
.
c: use
p
et_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
export pet_e
x
pr
_
extract_aff
i
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context: no longer
k
e
e
p track
of "
u
n
k
n
own" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oo
l
aege
pet_expr_extract_affine:
n
o longer create new pa
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
g
e
PetScan::extract
_
scop:
p
opul
a
te pet_con
t
ext with
p
arameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next