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
scop.c: fix typo in comment
2012-11-08
Sven Verdoola
e
ge
extract out
PetScan::ass
i
gn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en Verdo
o
laege
Pet
S
can::mark_
w
rit
e
: handle
NULL ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n Ve
r
doolae
g
e
extract ou
t
pet_scop_add
_
ar
r
ay
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n
Ver
d
o
olaeg
e
pe
t
_array_free: ret
u
rn NULL pointer of
t
ype
struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoo
l
aege
fix use of DiagnosticOptions
f
o
r older clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdo
o
laege
u
p
d
ate for c
h
ange in clan
g
'
s
Preproc
e
ssorOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
e
rdool
a
ege
update for
c
h
ange in cla
n
g's HeaderSea
r
c
h
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Ver
d
oo
l
aege
update for
change in clang's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoo
l
aege
s
cop_extract_from_
C
_source: take Targ
e
t
Opt
i
ons obje
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoolaege
PetScan::extract
:
a
l
s
o clear as
s
ignments in while loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sve
n
Verdo
o
lae
g
e
c
l
ear_ass
i
gnmen
t
s: also consi
d
er decrements and increments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
S
v
en Verdool
a
ege
co
n
figure
.
ac:
c
heck
f
or getExpan
s
ionL
o
c in clang/Basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verd
o
olae
g
e
configure
.
ac
:
link
a
g
ainst same LLVM componen
t
s
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
Sven Verdoolaeg
e
Pe
t
Sc
a
n::extract_array: use declared size on VLA parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
Sv
e
n
Verdoolaege
PetScan::scan: use expansi
o
n offset to dete
r
mine if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
PetS
c
an::ex
t
r
act_for:
a
lso check whether bound i
s
simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
us
e
isl_pw_a
f
f_td
i
v
_
q and
i
sl_pw_aff
_
tdi
v
_r inst
e
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
V
erdoolaege
update isl
for isl_pw
_
a
f
f
_
tdiv_q and isl
_
pw_aff_tdi
v
_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaege
support mo
d
ulo operation in stat
e
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdo
o
la
e
ge
include
/
pet
.
h
:
fix typo
i
n d
o
cumen
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolaege
ma
k
e avoidin
g
over
f
l
o
ws on signed in
t
eges
op
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
rdoolaege
u
pdate
isl for
r
e
name o
f
!isl_
s
et_dim_has_{lower,upp
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven Ver
d
oolaege
scan
.
cc: add
missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
S
v
en Verd
o
olae
g
e
only requi
r
e l
i
byaml
for
c
o
m
pil
i
ng the pe
t
executabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
pet 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven
V
erdoolaege
config
u
r
e
.
ac: al
l
ow specification
of gmp location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
up
d
ate
i
sl to version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
README: men
t
ion suppo
r
t f
o
r no
n
-affin
e
conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaeg
e
RE
A
DME:
update to latest release of clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
scop_a
d
d
_
break:
try a
n
d
m
erge filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verdoolaeg
e
support br
e
a
k
and continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
add pet_expr_fil
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scop
.
c: extract out in
s
ert_fi
l
t
er_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Ver
d
oo
l
aege
scop
.
c: extract
o
ut a
r
gs_insert_
a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet
_
scop_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
PetScan
:
:extr
a
ct(IfStmt *): extract out extract_non_a
f
f
i
ne_if
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
erdoolaege
handle generi
c
c
o
nd
i
t
ions
is
f
or loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pet_scop_embed
:
tak
e
mapping from v
i
rtual to
r
eal
i
t
er
a
t
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
PetScan::extract_for:
r
e
name variab
l
e
"
d
i
m" to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdool
a
ege
scop
.
c:
extra
c
t
out internalize_i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
scan
.
cc:
move h
a
s
_nested up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
s
c
a
n
.
cc
:
move is_nested_
p
a
ramete
r
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
e
ge
h
andle non-affine conditions i
n
wh
i
le loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
scan
.
c
c
: extract out PetSca
n
::extract_affine_wh
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
s
c
an
.
cc: move sco
p
_a
d
d_array
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
scan
.
cc: move create_test
_
access
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
pet
_
scop_filter: allow filters
w
i
t
h no
n
-zero-dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
scan
.
cc: e
x
tract out ident
i
t
y_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc: extr
a
ct out infi
n
ite_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
Verdoolae
g
e
a
dd pet_scop_rese
t
_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdo
o
la
e
ge
scop
.
c:
fix ty
p
o in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoolaege
PetSc
a
n::extrac
t
_for: re
m
o
v
e incorre
c
t optim
i
za
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoola
e
ge
s
u
pport
decremen
t
and inc
r
ement operations i
n
state
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
s
ca
n
.
c
c:
f
ix white
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
laege
s
c
an
.
cc
:
fix typos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdool
a
ege
PetSca
n
:
:nested_
a
cce
s
s: check that nested acces
s
doe
s
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n V
e
r
d
oolaege
PetScan::extrac
t
_non_affine_co
n
diti
o
n: resolv
e
neste
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
PetScan::extract_access_expr: remove du
p
lic
a
tion by
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
cache as
s
i
gn
e
d values in then and
e
l
s
e branch of if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
e
r
d
oolaege
pet_s
c
o
p_collect_arrays: also coll
e
c
t arrays t
h
at only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdool
a
eg
e
sc
a
n
.
cc:
add_parameter
_
b
o
unds: double check tha
t
there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoolaege
pet_scop_restric
t
: project out unnam
e
d
parameter
s
f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
PetScan::resol
v
e_nested: detec
t
and remove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Ver
d
oo
l
aege
PetS
c
an::e
x
tract_nested: inse
r
t outer filters in e
a
rlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
mark __pet_test_*
v
ariables as uniq
u
ely_defi
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_ar
r
a
y
:
a
dd uniquely_d
e
f
ined attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
erdoolaege
support
a
ny affine cond
i
ti
o
n
i
n a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven V
e
rdoolaege
add PetScan
:
:tr
y
_extr
a
ct_affine_conditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
erd
o
olaege
make
d
etection of conditional
a
ssignment o
p
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
v
e
n Verd
o
ol
a
ege
pass pet_options
t
o
PetScan instead o
f
o
n
ly the autodetect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
avoid
nega
t
iv
e
a
r
ray indices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
V
erdoolaeg
e
pet: all
o
w specific
a
tion of isl opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoola
e
g
e
scop
.
c
: expr_extract_context:
don't a
s
sume access is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
S
v
en Verdo
o
l
a
ege
add pet
_
e
xpr
_
i
s_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdo
o
laege
adjust to chan
g
e in number of
a
rguments o
f
DeclRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
doolae
g
e
link in
new -lcla
n
g
Ed
i
t w
h
en a
v
ai
l
abl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaege
updat
e
isl for su
p
por
t
for r
e
cent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
av
o
i
d
o
verflows on
si
g
n
e
d integers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract_for: relax requirement
on
i
n
c
rement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pe
t
Scan::ex
t
r
a
ct_f
o
r
: u
p
date context with respect
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
represent loop increment as
isl_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
allow s
l
i
g
h
tly more
generic
c
ompound increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verd
o
olaege
P
e
tScan::ext
r
a
ct(IfStmt *): update c
o
ntext with r
e
spect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
try an
d
extr
a
ct condition of t
e
r
n
ary operato
r
as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
pet_scop_from_
p
et_stmt: ex
t
r
act
context constrai
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olae
g
e
pe
t
_s
c
o
p
_
restr
i
ct: update contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rdo
o
l
ae
g
e
pet_scop_emb
e
d: upda
t
e
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoo
l
aege
pet_sco
p
_add: c
o
mbine (intersect) contexts of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
add pet_scop_restric
t
_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract_affine: don't bother with w
r
apping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoo
l
aege
Pet
S
can::extract_conditi
o
na
l
_
a
ssignment: sim
p
lify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
represent con
d
i
tio
n
s us
i
n
g
isl_p
w
_
a
f
fs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
do
o
laege
P
e
tScan::
e
x
t
ract_for: compute gis
t
b
efore
t
es
t
ing
w
het
h
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::
e
xtract_for: only compute
i
s_s
i
mp
l
e o
n
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
PetSc
a
n::extr
a
ct_
f
or
:
make
d
o
m
ain r
e
fer to the virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doola
e
ge
PetScan::extract_for: also call can_w
r
ap on non-s
i
mple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSc
a
n::ex
t
ract_for: e
x
plicitly
keep track of w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
scan
.
cc:
s
trided_domain: return parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaeg
e
limit pa
r
a
m
e
t
ers in
c
o
n
text
t
o
po
s
s
i
b
le va
l
ues of correspond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdo
o
laege
PetSca
n
::e
x
tract_
i
mpli
c
i
t
_affine: s
i
mplify
com
p
uta
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next