repo.or.cz
/
splint-patched.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Remove unused headers (for library) from repository
2017-03-26
Mihail Groza
Remove un
u
sed he
a
ders (for
librar
y
) from re
p
ository
commit
|
commitdiff
|
tree
2017-03-26
Mihai
l
Groza
More re
f
actori
n
g an
d
completio
n
of l
i
b
r
ary
.
commit
|
commitdiff
|
tree
2017-03-26
Mi
h
ail Groz
a
D
elete unused sourc
e
file from
r
e
p
ository
.
commit
|
commitdiff
|
tree
2017-03-26
Mihail Groz
a
Re
f
actoring
of (most
l
y
U
N
IX related) li
b
ra
r
y
.
commit
|
commitdiff
|
tree
2017-03-21
Mihail
G
r
oza
Fix build fail
.
commit
|
commitdiff
|
tree
2017-03-21
Mi
h
a
i
l Groza
Update build
t
o fix in-place builds
.
commit
|
commitdiff
|
tree
2017-03-21
Mihail Groz
a
Split the standard & posix spec
i
ficatio
n
into individua
l
.
.
.
commit
|
commitdiff
|
tree
2017-03-17
Mihail Groza
S
ome file moving in repos
i
tory
.
commit
|
commitdiff
|
tree
2017-03-15
M
i
hail Groza
S
o
me
clean-up in a
r
guments passed fo
r
self-check
commit
|
commitdiff
|
tree
2017-03-15
Mihail
G
r
oz
a
Removed
s
ome useless/fals
e
comments
commit
|
commitdiff
|
tree
2017-03-15
Miha
i
l
Groza
Fix self-check due to p
r
evious commit
commit
|
commitdiff
|
tree
2017-03-15
M
ihail Gro
z
a
Some consi
s
tency cha
n
g
e
s to libra
r
y
& headers flags
.
commit
|
commitdiff
|
tree
2017-03-14
Mih
a
il G
r
oza
Fix parsing failure
f
or sel
f
-check
.
commit
|
commitdiff
|
tree
2017-03-14
M
i
h
ail
G
r
oz
a
A
void implicit initialization
+
minor
refacto
r
ing
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Gr
o
za
Change negati
v
e name for boo
l
ean
f
la
g
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Second (and la
s
t) part of
trans
i
tion from
n
ot
-
function
.
.
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
First part
o
f
transition fro
m
not-func
t
ion
header
.
commit
|
commitdiff
|
tree
2017-03-14
Mih
a
il Groza
C
onsistent naming of sta
n
dar
d
libra
r
y
and
h
eaders
.
commit
|
commitdiff
|
tree
2017-03-14
Miha
i
l
Groza
Be a bit less permissive in c
o
nst
r
ain
t
ex
p
ression pars
i
ng
.
commit
|
commitdiff
|
tree
2017-03-14
Mihail Groza
Cosmet
i
c changes to C
g
rammar
fi
l
e (no b
e
havioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
Mihail Groza
Yet
another parti
a
l fix for https://b
u
g
s
.
d
ebian
.
or
g
.
.
.
commit
|
commitdiff
|
tree
2017-03-13
M
ihail Groza
Parti
a
l
f
ix for
https:
/
/
bugs
.
deb
i
a
n
.
org/626552
commit
|
commitdiff
|
tree
2017-03-13
Mihail Gro
z
a
R
e
m
ove some unused
t
okens + minor
refactoring
commit
|
commitdiff
|
tree
2017-03-10
Mihail G
r
oza
Clean some
g
ar
b
age in
p
rep
r
ocessor-scann
e
r int
e
r
a
c
tion
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
Minor abst
r
action of C
s
canne
r
commit
|
commitdiff
|
tree
2017-03-10
Mihail Groza
Multiple
f
ixes to s
t
ring literal handling
commit
|
commitdiff
|
tree
2017-03-10
M
ih
a
il Gro
z
a
M
ino
r
twea
k
of
tes
t
suite
commit
|
commitdiff
|
tree
2017-03-09
Miha
i
l Groza
Remove custom support for
__const keyword
.
commit
|
commitdiff
|
tree
2017-03-07
Mihai
l
Groza
Si
l
e
n
ce a wa
r
ning
f
rom Undef
i
n
e
dBeh
a
v
i
o
u
rSanitizer
commit
|
commitdiff
|
tree
2017-03-07
Mihail
G
roza
M
odify C grammar file und
e
rstandi
n
g
o
f what i
n
itia
l
izer is
.
commit
|
commitdiff
|
tree
2017-03-07
Mihail Groza
D
o
n't install headers used to build Splint libraries
commit
|
commitdiff
|
tree
2017-03-07
Mihai
l
Groza
Minor adjus
t
ment of POSIX
l
ibrary
commit
|
commitdiff
|
tree
2017-03-06
Mihail
G
roz
a
Hand
l
e poss
i
ble nul
l
characte
r
inside string l
i
teral
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Fix
f
or https
:
//sf
.
net/p/splin
t
/bugs/15
commit
|
commitdiff
|
tree
2017-03-06
Mihail Groza
Mino
r
refactoring
and
c
o
smetic clean-
u
p
(no behavioural
.
.
.
commit
|
commitdiff
|
tree
2017-03-02
M
i
h
a
il Groza
Fix libra
r
y specification of ca
l
lo
c
()
commit
|
commitdiff
|
tree
2017-03-02
M
ihail
G
roz
a
Minor f
i
x for p
o
six
libra
r
y
.
commit
|
commitdiff
|
tree
2017-02-28
M
i
hail Gro
z
a
A
v
oid unnecessary testi
n
g when
c
onca
t
enating ex
p
ressions
commit
|
commitdiff
|
tree
2017-02-28
M
i
hail Groza
Correct order
o
f variable initial
i
z
ation
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Add su
p
por
t
for var
i
able dec
l
aration
in for
i
nitialization
.
.
.
commit
|
commitdiff
|
tree
2017-02-28
Mihail Groza
Min
o
r
c
o
s
metic
c
lean-up
commit
|
commitdiff
|
tree
2017-02-27
Mih
a
il G
r
oza
M
a
n page clea
n
-
up
.
commit
|
commitdiff
|
tree
2017-02-27
Mih
a
il Groza
C
o
rrec
t
ion for switch imbricated with if/el
s
e
block
.
commit
|
commitdiff
|
tree
2017-02-26
M
ihail Gr
o
za
F
i
x minor inconsistencies
i
n
l
ibrary consta
n
ts
commit
|
commitdiff
|
tree
2017-02-26
Mi
h
ail Gr
o
za
Som
e
duplicati
o
n in ve
r
s
i
on/n
a
me/date macros remov
e
d
commit
|
commitdiff
|
tree
2017-02-26
Mihail G
r
oza
Pr
e
vious submit failed
to
u
pdate heade
r
name in Ma
k
ef
i
le
.
.
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
Sma
l
l r
e
factor
i
ng without
a
ny behavi
o
r
al changes
.
commit
|
commitdiff
|
tree
2017-02-26
Mihail Groza
C
osmetic related refactoring
(
no
behavi
o
ural
c
hang
e
s)
commit
|
commitdiff
|
tree
2017-02-25
Mihail Groza
Minor refacto
r
ing (no fu
n
ctionality change) of C
grammar
.
commit
|
commitdiff
|
tree
2017-02-24
M
i
hail
Groz
a
Fix a parsi
n
g
error i
n
ini
t
i
alization of en
u
me
r
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Minor upda
t
e to standard/unix libr
a
ry
.
commit
|
commitdiff
|
tree
2017-02-24
Mi
h
ail G
r
o
z
a
F
i
x
h
andling
o
f D
u
ff'
s
device implemented us
i
ng for
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Minor streng
t
hening of as
s
er
t
s
.
commit
|
commitdiff
|
tree
2017-02-24
M
i
h
a
i
l
Groza
Fix proces
s
in
g
error
f
or variab
l
e
s
o
f t
y
pe function
.
.
.
commit
|
commitdiff
|
tree
2017-02-24
Mihail Groza
Work-ar
o
u
nd for
f
ailure to self-check
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail Groza
Support
f
o
r hh length modif
i
er in
p
rin
t
f/scanf-like
.
.
.
commit
|
commitdiff
|
tree
2017-02-22
Mihail G
r
oza
Clean
-
up
qualifier mixi
n
g
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail Groz
a
A
l
lo
w
mixed
s
tatem
e
nt
s
a
nd variable decl
a
rations (as
.
.
.
commit
|
commitdiff
|
tree
2017-02-20
Mi
h
ail Groz
a
Minor c
o
smetic clea
n
-up
.
commit
|
commitdiff
|
tree
2017-02-20
Mihail Groz
a
Cos
m
etic change
s
to error pr
i
nting
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail
G
r
oza
Fix build of
i
mports (mi
s
sing pa
t
h)
.
commit
|
commitdiff
|
tree
2017-02-17
Mihail Groza
Fix
b
ug exposed
b
y a previous co
m
m
i
t
.
commit
|
commitdiff
|
tree
2017-02-15
Miha
i
l Groza
Small refactoring of C gram
m
ar file
.
commit
|
commitdiff
|
tree
2017-02-15
Mi
h
a
il G
r
o
za
Le
s
s
p
ermissive sy
n
t
a
x
for notreached comment
.
commit
|
commitdiff
|
tree
2017-02-15
Mihail G
r
oza
Avoid unnece
s
s
a
ry parsing conflicts du
e
to typ
e
/id
.
.
.
commit
|
commitdiff
|
tree
2017-02-14
M
i
ha
i
l Groza
Corrected inconsistency in ha
n
dling p
r
e
p
ro
c
e
s
s
o
r
defin
i
tio
n
s
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Remove splint-
g
enerated fi
l
es fro
m
distribution
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Twe
a
k ig
n
ore rules for genera
t
e
d
files
.
commit
|
commitdiff
|
tree
2017-02-12
Mih
a
i
l Groza
Smart
e
r way of generating flag codes header
.
commit
|
commitdiff
|
tree
2017-02-12
Mihail Groza
Cl
e
an-up flags definitions
commit
|
commitdiff
|
tree
2017-02-10
Mihail
G
roza
N
o need to
save (generated) spec f
i
l
e
s in r
e
pository
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail Groza
M
ore twea
k
i
n
g
o
f
ignores
.
commit
|
commitdiff
|
tree
2017-02-10
Mihail
G
roza
Repositor
y
clean-up + i
g
n
ores upd
a
te
commit
|
commitdiff
|
tree
2017-02-10
M
i
hail Groza
Remove
u
ses of abort + c
o
smetic c
h
ang
e
s in preprocess
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
M
i
hai
l
Groz
a
Moved header dep
e
n
d
ent mac
r
o from the neve
r
-
inclu
d
e
.
.
.
commit
|
commitdiff
|
tree
2017-02-10
Mih
a
i
l
Groza
Make BAD* mac
r
os use custom exit
.
commit
|
commitdiff
|
tree
2017-02-09
Miha
i
l Groza
Make s
u
re memory clea
n
-up is done o
n
exits
.
commit
|
commitdiff
|
tree
2017-02-09
Mih
a
il
Groza
Cosmetic changes to some
e
rro
r
handlin
g
m
acros
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Gr
o
z
a
Fix
u
se-after-f
r
e
e
detected by valgrind
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Minor warnings/duplicates/cosmetic clean-up
.
commit
|
commitdiff
|
tree
2017-02-09
Mihail Groza
Re-activate
some
c
lean-
u
p that was skipped
.
commit
|
commitdiff
|
tree
2017-02-07
M
i
hail
Groza
Preproc
e
ss
o
r
hash
routin
e
s no longe
r
c
o
mpu
t
e name l
e
ngth
commit
|
commitdiff
|
tree
2017-02-07
Mih
a
il Groza
P
l
ug a
m
emory leak in preproce
s
sor h
a
ndling of define
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail
G
roza
R
e
cognize m
i
ssing parameter in macro definitions
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Ad
d
ed c
h
ecks for incorrect usage of __VA_ARGS_
_
(ISO
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Preprocessor st
o
ps proce
s
sing dir
e
ctives with
w
rong
.
.
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Anot
h
er
minor refactoring
of preprocessor library
.
commit
|
commitdiff
|
tree
2017-02-07
Mihail Groza
Small refactoring of pr
e
processor library
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
M
inor r
e
f
a
ctori
n
g of preproce
s
so
r
functionality
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail
G
roza
Minor clean
-
up of test ma
k
efile
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail Groza
Added support for variadic m
a
c
r
os (as in
C
99)
.
commit
|
commitdiff
|
tree
2017-02-06
Mihail
Groz
a
Added missing cases in switch
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail G
r
oza
Fix bug
detecting s
t
anda
r
d he
a
d
e
r
files
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix f
o
r prepr
o
c
ess
o
r
r
ed
e
fi
n
ition
o
f a enum
c
onsta
n
t
.
.
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Gro
z
a
Cosmet
i
c changes (
s
plit from upcom
i
ng commit)
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail
Groza
Cosm
e
tic changes to C grammar
commit
|
commitdiff
|
tree
2017-02-03
Mihai
l
G
r
oza
Remo
v
e useless gram
m
ar rule
.
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Made sur
e
all empty rul
e
s are
e
xplict (and
c
onsis
t
ent
)
commit
|
commitdiff
|
tree
2017-02-03
Mihail Groza
Fix parsing iss
u
e (in
t
roduced by
m
e)
.
commit
|
commitdiff
|
tree
2017-02-01
Mih
a
il Groza
Issue in old merge related
t
o
'ne
s
t
c
o
m
men
t
'
c
omme
n
t
.
commit
|
commitdiff
|
tree
next