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
rename pet_expr_foreach_access to pet_expr_map_access
2013-07-17
Sven
Verdoolaeg
e
re
n
am
e
p
et_
e
x
pr_fore
a
c
h
_
acc
e
s
s
to p
e
t_
e
xpr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven
Verdo
o
laege
replace pe
t
_expr_foreach_
a
ccess by
pet_expr_f
o
reach_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sve
n
Verdoolaege
scan
.
cc: remove_nested_parameters
:
use pet_expr_foreach
_
acce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven Ve
r
doolaege
scop
.
c: ex
p
r_embed: use pet_expr_foreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoola
e
ge
skip c
o
mpound statement
w
ith only statements th
a
t we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
S
v
en Verdoolaege
p
et_array_embed: i
m
prove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaege
pet_scop_add: plug memory
leak o
n
e
rro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
S
ven Ve
r
doolaeg
e
p
e
t 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ver
d
oo
l
ae
g
e
update
isl
t
o version 0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-22
Sven V
e
r
d
oolaege
config
u
re
.
ac
:
explicitly link in ll
v
m bitreader compon
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven
V
e
r
doolaeg
e
PetScan::scan: fix ch
e
ck for scop
b
ein
g
prop
e
r part
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
ven Ve
r
doo
l
a
e
ge
P
e
tSca
n
:
:extr
a
ct_in
t
: us
e
i
s
l_va
l
_
int_from_chunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
update i
s
l f
o
r
isl_val_int_f
r
o
m
_
c
h
u
nks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Verdoolae
g
e
e
x
t
e
n
d start of
s
cop t
o
sta
r
t
o
f line
if first
t
oken
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sv
e
n Ver
d
oolaege
pars
e
.
c: on
l
y
p
arse fi
e
l
d
s corresponding to t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
sc
a
n
.
c
c
:
f
ix typos in
commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verd
o
olaege
pet_scop_f
r
om_pet_stmt: fix
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
scan
.
c
c
:
compute_
w
r
a
pping: us
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
scan
.
cc:
c
an_wrap: u
s
e
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdool
a
ege
PetScan::extract_for: use isl_val to
r
e
p
r
esent loo
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en
Verdool
a
eg
e
s
can
.
cc: avo
i
d_overflow:
use i
s
l
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n
Verdoolaege
P
e
tScan::extract_affine_add: use i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
scan
.
cc: set_parameter_bounds: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verd
o
olaege
P
e
tScan::extract_aff
i
ne:
use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
PetScan::
e
xt
r
a
c
t_in
t
: r
e
tu
r
n
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
Verdoolaege
upda
t
e
isl
f
or
i
sl_val
a
bstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
stop destroying MyDiagnosticPrinter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sve
n
Verdoolae
g
e
up
d
ate is
l
to versio
n
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sven Verdoolaege
s
cop
.
c:
a
dd missing in
c
l
ud
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sv
e
n Verdo
o
laeg
e
pet_che
c
k_
c
od
e
.
c:
add mis
s
i
n
g
i
nclude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sven Verdoolaege
Makefile
.
a
m
: decla
r
e test extensions for parallel test
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
S
ven V
e
rdo
o
l
a
ege
pet_che
c
k_co
d
e:
b
et
t
e
r support for s
c
he
d
ules
t
hat are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdool
a
ege
pet_check_code
.
c: add_
a
ssignment: c
o
m
pletely
r
emove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
e
rdoola
e
ge
update for change in argumen
t
s
of
c
la
n
g's He
a
derS
e
arch
O
ption
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven V
e
rdoolaege
u
pdate for
c
hange i
n
a
r
guments o
f
c
l
an
g
's
Compil
e
rInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n Verdoolaeg
e
u
p
d
ate isl for
s
u
p
port
for rece
n
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-09
Sve
n
Verdool
a
e
g
e
derive offset informati
o
n from location of scop and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-08
Sven Verdoo
l
a
e
ge
pet_scop: keep tr
a
ck of start and end file offs
e
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
Sven Verdoolaege
su
p
port (C sty
l
e) casts in statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-01-03
Sven Verdo
o
laege
scop
.
c: fix typo
s
in
c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
Sven Ver
d
oolaege
updat
e
isl for
missing
in
c
lude in i
n
t
e
rfac
e
/python
.
c
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-26
Sven Ve
r
do
o
lae
g
e
keep track of string representatio
n
of floati
n
g point
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-24
S
ve
n
V
erdoolaege
parse
.
c:
extract_double: fix r
e
turn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sve
n
Verdool
a
e
g
e
u
p
date isl
t
o version 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
pe
t
0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
update isl to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
update
for cha
n
ge
in the construc
t
or of
t
he clang Driver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolae
g
e
update isl for support
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n
Verdoolaege
c
o
nf
i
gur
e
.
a
c: chec
k
if Target
I
nfo::CreateTargetInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl for supp
o
rt for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
S
ven Verdoola
e
ge
u
pdate
i
s
l for change
in
A
ST
p
rin
t
ing callback i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
e
n Ve
r
doolaege
ad
d
t
est for ver
i
fy
i
ng the correctness of the isl code
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdoolaege
p
e
t_
s
cop_anonymize: als
o
remove user pointers from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rd
o
olaege
scop
_
extract_from_C_sou
r
ce: a
n
onym
i
ze scop a
f
ter
u
pd
a
tin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
e
n
V
erdoolaeg
e
a
d
d support for (single) d
e
clarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaege
pet_sc
o
p_
c
ollect_arra
y
s: s
k
i
p
arrays
t
hat
a
lrea
d
y
appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
r
d
oolaege
extract ou
t
PetScan:
:
a
s
sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
e
n
Ve
r
dool
a
ege
PetScan::mark
_
w
rite: handle NULL access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolae
g
e
extract ou
t
pe
t
_scop_add_arra
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n
V
erdool
a
ege
pet_array_free: ret
u
rn N
U
LL p
o
in
t
er of ty
p
e struct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoolaege
fix
u
se of
DiagnosticOptions for older clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven V
e
rdoolae
g
e
u
pdate
fo
r
cha
n
ge i
n
clang's Preprocess
o
rOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n Ver
d
oola
e
ge
u
p
da
t
e fo
r
change in
clang's HeaderSearchOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven V
e
rd
o
o
l
a
ege
update for chang
e
in clang'
s
Dia
g
n
osticOpti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
scop_extract_from_C_s
o
urce: tak
e
TargetOptions
object
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven
Verdoolaege
PetS
c
an::extract: also
cl
e
ar
assig
n
me
n
ts in while l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven
V
erdoolaege
c
lear
_
assi
g
n
m
ents: also consid
e
r decremen
t
s and increments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
v
en
Ver
d
oolaege
confi
g
ure
.
a
c
:
che
c
k for getExpansio
n
Loc in clang
/
Bas
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven
V
er
d
oolaege
configu
r
e
.
ac: link against
s
ame LLVM components
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
Sven Ve
r
doolae
g
e
PetScan
:
:ext
r
act_ar
r
a
y: use
dec
l
ared s
i
ze on VLA p
a
ramet
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
Sven
V
erdoolaeg
e
Pe
t
Scan::scan: use expansion off
s
e
t to determine if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sv
e
n Verdoolaege
Pet
S
can::extract_for: also
check whether bound is simp
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
e
g
e
use isl_pw_aff_tdiv
_
q and
i
s
l_pw_aff_tdiv_r
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
update i
s
l for isl_pw_aff_tdiv_q
and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
s
u
pport modulo
operatio
n
i
n statemen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolaege
inclu
d
e
/pet
.
h: fix
t
ypo
i
n doc
u
mentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolae
g
e
make avoiding overf
l
ows o
n
sign
e
d integ
e
s opti
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
dool
a
eg
e
update isl for rename of
!
isl_set_dim_h
a
s_
{
lower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdoolaege
scan
.
c
c: a
d
d missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
S
v
en
V
e
r
doolaege
on
l
y require libya
m
l fo
r
compil
i
ng the pet exec
u
tabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
ve
n
V
e
rdool
a
ege
pe
t
0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n Ver
d
oolaege
configure
.
ac: allow specification of g
m
p locat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
update isl to version 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
R
E
ADME: ment
i
o
n support
f
or non-a
f
fine cond
i
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
R
E
ADME: update to latest release of
c
l
ang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
scop_add_break:
try and merge filt
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
su
p
port bre
a
k and
continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet_exp
r
_filter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
s
cop
.
c: ex
t
r
a
c
t out in
s
ert_filter_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
scop
.
c: e
x
tract out args
_
in
s
ert_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
add
p
e
t
_
scop
_
a
llo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
PetScan:
:
e
x
tract(I
f
Stmt *)
:
extr
a
ct o
u
t extr
a
ct_non_a
f
fine_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verd
o
olaeg
e
han
d
le generi
c
conditions
is for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
p
et_scop_emb
e
d:
t
ake map
p
ing fr
o
m vi
r
tual to
real iterato
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
PetScan::
e
xt
r
act_for: ren
a
me va
r
iable "dim" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scop
.
c
: ex
t
ract out
i
n
terna
l
ize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
rd
o
olae
g
e
sc
a
n
.
c
c
: move has_
n
est
e
d up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoola
e
g
e
scan
.
cc: move i
s
_nes
t
ed
_
paramete
r
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
ha
n
dle
non
-
a
ffine cond
i
tions in while
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
dool
a
ege
scan
.
cc:
extract o
u
t PetScan::ex
t
ract
_
affine_whi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next