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
PetScan::extract_affine: use isl_val
2013-05-29
Sven Verdoola
e
ge
PetS
c
an::extract_a
f
f
i
ne: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven V
e
r
doolae
g
e
PetScan::extract_int: retu
r
n isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdool
a
e
g
e
up
d
ate isl
f
or isl_
v
a
l
abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven
Verdoolaege
stop des
t
r
o
ying MyD
i
agnostic
P
rint
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
update isl to versio
n
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-21
Sven
V
e
r
doolaege
scop
.
c
:
add
m
i
s
sing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-21
Sven Verdoolaege
pet_check_code
.
c: add
m
iss
i
n
g
inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-21
Sven
Verdoola
e
ge
Ma
k
efile
.
am: d
e
clare t
e
s
t
exte
n
sions for pa
r
allel tes
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sv
e
n Verdoolaege
p
e
t_chec
k
_code: better support for schedules t
h
at
are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
S
v
en Verd
o
o
laege
pet_check_
c
o
de
.
c:
a
d
d
_
assignm
e
nt: comple
t
ely remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
erdoolae
g
e
upd
a
t
e
f
or change in arguments
o
f clang'
s
Header
S
earch
O
ptio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
S
ve
n
Verdoolae
g
e
up
d
ate for ch
a
ng
e
i
n arg
u
me
n
t
s
of cl
a
ng
'
s
C
om
p
ilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolae
g
e
update isl
f
or su
p
port
f
or re
c
en
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-09
Sve
n
Verdoolaege
deriv
e
offs
e
t inform
a
t
io
n
from location of
scop and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-08
S
ven Ve
r
dool
a
ege
pet
_
scop: keep t
r
ack of s
t
art
a
n
d
end file offsets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-05
Sven V
e
rd
o
olaege
sup
p
ort
(
C
s
t
yle
)
casts in s
t
ate
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-01-03
Sven Ve
r
do
o
laege
scop
.
c:
fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-27
Sven Verdoolaege
update isl for mis
s
ing include in
i
nterf
a
ce/
p
ython
.
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-26
Sven Ver
d
o
o
l
a
ege
keep track of string representation of float
i
ng p
o
int
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-24
Sv
e
n
V
erdoolaege
p
arse
.
c: ext
r
a
c
t_d
o
uble: fi
x
return
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven V
e
rdoolaege
up
d
ate isl to versi
o
n 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdool
a
e
g
e
pet 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
upd
a
te
is
l
to versi
o
n 0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
ege
u
p
d
a
te
for change in
the constru
c
tor o
f
the c
l
ang Dr
i
ve
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
r
d
o
olaege
upda
t
e isl f
o
r support for re
c
ent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
erdoolaege
configure
.
ac: check
i
f
T
a
r
getI
n
f
o
:
:
C
reate
T
argetInfo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verd
o
olaege
u
p
date is
l
for support
f
o
r r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
update isl fo
r
c
h
ange in AST printing
call
b
ack interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Ve
r
doolaeg
e
add test for verifying the c
o
r
r
ectness
o
f the isl c
o
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdoolaege
pet
_
s
cop_anony
m
iz
e
: al
s
o remove user p
o
inters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n
Verdoolaege
scop
_
extr
a
ct_fro
m
_C_sourc
e
: anonymi
z
e scop after updating
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
olaege
add support for (single) d
e
c
l
ara
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
pet_scop
_
coll
e
ct_arra
y
s
: sk
i
p arr
a
ys t
h
at alrea
d
y ap
p
ear
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
ven
V
e
rdoolae
g
e
extr
a
ct out PetSca
n
::
a
ssign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sve
n
Verdoolaege
Pet
S
can::mark_write
:
handle NULL acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
olaege
extract out pet
_
scop_add_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoo
l
aeg
e
pet_arr
a
y
_
f
r
e
e: r
e
t
urn NULL pointer of t
y
p
e struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sve
n
Verd
o
olae
g
e
fix u
s
e of Di
a
gnosticOptions for
o
lder cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ver
d
oolaege
u
pdat
e
for cha
n
ge in clang's PreprocessorOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n Verdoolaege
u
pdate fo
r
change in
clang's HeaderSea
r
c
h
O
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n V
e
rdoolaege
u
pda
t
e f
o
r change in cla
n
g
'
s DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaeg
e
scop_
e
xtract_from_C_sour
c
e:
t
ake
T
ar
g
etOptions object
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven
V
erdoolae
g
e
PetS
c
an::extract: also clear assignmen
t
s
i
n
w
h
i
l
e loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Ver
d
oolaege
c
l
e
a
r_assign
m
ents
:
als
o
cons
i
d
er d
e
c
r
e
m
ent
s
a
n
d
increments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Ve
r
d
o
olaeg
e
configure
.
ac: ch
e
ck fo
r
ge
t
ExpansionLoc in clang/Ba
s
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven
Verdoolaege
configure
.
a
c:
l
ink aga
i
n
s
t same LLVM compon
e
nts as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
S
ven Verdoolaege
PetSc
a
n::e
x
tract
_
array:
u
se declared s
i
ze on V
L
A p
a
rameter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
Sv
e
n
Verdoolaege
PetScan
:
:scan
:
use
e
xp
a
n
s
ion offse
t
to
d
etermine if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
v
en Verdoolae
g
e
PetScan::extra
c
t
_for: also c
h
ec
k
w
h
ether boun
d
is
simp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
use isl_pw_af
f
_tdiv_q
a
nd isl_p
w
_
aff_
t
div_r instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolae
g
e
update isl
f
or isl_pw_aff_
t
div_q and
i
sl_pw_aff_
t
div_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoola
e
g
e
supp
o
rt
m
odulo
o
peration in
s
tatemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven
V
erdoolaege
include
/
p
e
t
.
h: fix ty
p
o i
n
d
oc
u
m
en
t
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven V
e
r
d
o
olaege
make avoi
d
ing over
f
lows on signed integes optional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
d
oolaeg
e
update
i
sl
f
or
r
ena
m
e
of !isl_
s
et_
d
im_ha
s
_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sve
n
Verdoolaege
scan
.
cc: add missi
n
g include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
S
v
en
V
erdoola
e
ge
only require li
b
yaml for
c
ompiling
t
he pet
executabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n
V
e
r
d
o
o
laege
pet 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
S
v
en Verdo
o
laege
configure
.
ac: allow s
p
ecific
a
tion of gmp
locatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
update
isl t
o
version
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdo
o
la
e
ge
READM
E
: ment
i
on
s
upport for
non
-
affine conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verd
o
olaege
README
:
up
d
at
e
t
o
latest
release of
c
l
an
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
Verdo
o
l
a
ege
scop_add_
b
re
a
k: try and merge filt
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
laege
support b
r
eak
a
n
d
cont
i
nue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
a
d
d pet_ex
p
r_filter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ve
n
V
e
rdoolae
g
e
scop
.
c
: ex
t
r
a
ct out inser
t
_fi
l
t
e
r
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
scop
.
c: extract ou
t
args_insert_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Ve
r
doola
e
ge
add pet_scop_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
Pe
t
Scan::e
x
tract(I
f
St
m
t
*
): extract o
u
t extract_non
_
af
f
ine_if
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
handle generic co
n
d
i
tions is
for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
rdoolaeg
e
pet
_
scop_embed: take mapping from vi
r
tual to real iterator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
Pet
S
can::
e
xtract_for: rename
v
ari
a
b
l
e "d
i
m" to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Ver
d
o
o
laege
scop
.
c:
extract out inte
r
n
a
lize_iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
sc
a
n
.
c
c:
move
has_nested up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdo
o
laege
s
c
an
.
c
c
:
move i
s
_nested
_
p
aramet
e
r u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
h
an
d
le non-affine
cond
i
tions i
n
while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoo
l
aege
scan
.
cc: extract out
P
etScan::extract
_
a
f
fine_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
scan
.
cc: move sco
p
_add_array up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
er
d
oo
l
aege
sc
a
n
.
c
c: move create_te
s
t_access up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
e
r
doo
l
aege
pet_scop_f
i
lter: all
o
w filt
e
r
s
with non-z
e
ro-dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
scan
.
cc
:
extract
o
ut ident
i
ty_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
s
c
an
.
cc:
e
xtr
a
ct out infi
n
ite_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
r
d
oolaege
add pet_scop_rese
t
_
c
o
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
scop
.
c
: fix typ
o
in comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoolaege
PetScan
:
:extract_for: r
e
m
o
ve
i
n
corr
e
ct optimization
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n V
e
rdoolaege
su
p
port
decr
e
ment and increment oper
a
ti
o
n
s in st
a
tements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdool
a
e
ge
scan
.
cc: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
d
oolae
g
e
scan
.
cc: fix
typos in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verd
o
o
l
a
ege
PetScan::ne
s
t
e
d_access: chec
k
t
h
at
nes
t
ed access does
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaeg
e
PetScan::extract_non_affi
n
e_c
o
ndition
:
resolve n
e
sted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolaege
P
etScan::extr
a
ct_a
c
cess_expr: remove dup
l
ication b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
doo
l
aege
cache assig
n
ed values
in then and else branch of
i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en V
e
rdoola
e
ge
pet_sco
p
_col
l
e
c
t_arrays: also
c
o
l
l
ect arrays t
h
at onl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolae
g
e
scan
.
cc: add_parameter_bounds
:
d
o
u
b
le ch
e
ck that there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolae
g
e
pet_scop_
r
estrict: proj
e
c
t
out unnamed
p
aram
e
ters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolae
g
e
PetScan::reso
l
ve_nest
e
d: detect and remove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaege
PetScan:
:
extract_nested:
in
s
ert out
e
r f
i
lters in earlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
mark __pet_test_*
v
a
riabl
e
s as uniquely
_
defined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdoolaege
pet
_
a
r
r
a
y
: add uniquely_defined attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
e
r
doolaege
support any affine condi
t
ion
in
a
w
hile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next