Public Git Hosting - splint-patched.git/search

2017-03-15	Mihail Groza	Removed some useless/false comments	commit \| commitdiff \| tree
2017-03-15	Mihail Groza	Fix self-check due to previous commit	commit \| commitdiff \| tree
2017-03-15	Mihail Groza	Some consistency changes to library & headers flags.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Fix parsing failure for self-check.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Avoid implicit initialization + minor refactoring.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Change negative name for boolean flag.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Second (and last) part of transition from not-function...	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	First part of transition from not-function header.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Consistent naming of standard library and headers.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Be a bit less permissive in constraint expression parsing.	commit \| commitdiff \| tree
2017-03-14	Mihail Groza	Cosmetic changes to C grammar file (no behavioural...	commit \| commitdiff \| tree
2017-03-13	Mihail Groza	Yet another partial fix for https://bugs.debian.org...	commit \| commitdiff \| tree
2017-03-13	Mihail Groza	Partial fix for https://bugs.debian.org/626552	commit \| commitdiff \| tree
2017-03-13	Mihail Groza	Remove some unused tokens + minor refactoring	commit \| commitdiff \| tree
2017-03-10	Mihail Groza	Clean some garbage in preprocessor-scanner interaction	commit \| commitdiff \| tree
2017-03-10	Mihail Groza	Minor abstraction of C scanner	commit \| commitdiff \| tree
2017-03-10	Mihail Groza	Multiple fixes to string literal handling	commit \| commitdiff \| tree
2017-03-10	Mihail Groza	Minor tweak of test suite	commit \| commitdiff \| tree
2017-03-09	Mihail Groza	Remove custom support for __const keyword.	commit \| commitdiff \| tree
2017-03-07	Mihail Groza	Silence a warning from UndefinedBehaviourSanitizer	commit \| commitdiff \| tree
2017-03-07	Mihail Groza	Modify C grammar file understanding of what initializer is.	commit \| commitdiff \| tree
2017-03-07	Mihail Groza	Don't install headers used to build Splint libraries	commit \| commitdiff \| tree
2017-03-07	Mihail Groza	Minor adjustment of POSIX library	commit \| commitdiff \| tree
2017-03-06	Mihail Groza	Handle possible null character inside string literal	commit \| commitdiff \| tree
2017-03-06	Mihail Groza	Fix for https://sf.net/p/splint/bugs/15	commit \| commitdiff \| tree
2017-03-06	Mihail Groza	Minor refactoring and cosmetic clean-up (no behavioural...	commit \| commitdiff \| tree
2017-03-02	Mihail Groza	Fix library specification of calloc()	commit \| commitdiff \| tree
2017-03-02	Mihail Groza	Minor fix for posix library.	commit \| commitdiff \| tree
2017-02-28	Mihail Groza	Avoid unnecessary testing when concatenating expressions	commit \| commitdiff \| tree
2017-02-28	Mihail Groza	Correct order of variable initialization.	commit \| commitdiff \| tree
2017-02-28	Mihail Groza	Add support for variable declaration in for initialization...	commit \| commitdiff \| tree
2017-02-28	Mihail Groza	Minor cosmetic clean-up	commit \| commitdiff \| tree
2017-02-27	Mihail Groza	Man page clean-up.	commit \| commitdiff \| tree
2017-02-27	Mihail Groza	Correction for switch imbricated with if/else block.	commit \| commitdiff \| tree
2017-02-26	Mihail Groza	Fix minor inconsistencies in library constants	commit \| commitdiff \| tree
2017-02-26	Mihail Groza	Some duplication in version/name/date macros removed	commit \| commitdiff \| tree
2017-02-26	Mihail Groza	Previous submit failed to update header name in Makefile...	commit \| commitdiff \| tree
2017-02-26	Mihail Groza	Small refactoring without any behavioral changes.	commit \| commitdiff \| tree
2017-02-26	Mihail Groza	Cosmetic related refactoring (no behavioural changes)	commit \| commitdiff \| tree
2017-02-25	Mihail Groza	Minor refactoring (no functionality change) of C grammar.	commit \| commitdiff \| tree
2017-02-24	Mihail Groza	Fix a parsing error in initialization of enumeration...	commit \| commitdiff \| tree
2017-02-24	Mihail Groza	Minor update to standard/unix library.	commit \| commitdiff \| tree
2017-02-24	Mihail Groza	Fix handling of Duff's device implemented using for...	commit \| commitdiff \| tree
2017-02-24	Mihail Groza	Minor strengthening of asserts.	commit \| commitdiff \| tree
2017-02-24	Mihail Groza	Fix processing error for variables of type function...	commit \| commitdiff \| tree
2017-02-24	Mihail Groza	Work-around for failure to self-check.	commit \| commitdiff \| tree
2017-02-22	Mihail Groza	Support for hh length modifier in printf/scanf-like...	commit \| commitdiff \| tree
2017-02-22	Mihail Groza	Clean-up qualifier mixing.	commit \| commitdiff \| tree
2017-02-20	Mihail Groza	Allow mixed statements and variable declarations (as...	commit \| commitdiff \| tree
2017-02-20	Mihail Groza	Minor cosmetic clean-up.	commit \| commitdiff \| tree
2017-02-20	Mihail Groza	Cosmetic changes to error printing.	commit \| commitdiff \| tree
2017-02-17	Mihail Groza	Fix build of imports (missing path).	commit \| commitdiff \| tree
2017-02-17	Mihail Groza	Fix bug exposed by a previous commit.	commit \| commitdiff \| tree
2017-02-15	Mihail Groza	Small refactoring of C grammar file.	commit \| commitdiff \| tree
2017-02-15	Mihail Groza	Less permissive syntax for notreached comment.	commit \| commitdiff \| tree
2017-02-15	Mihail Groza	Avoid unnecessary parsing conflicts due to type/id...	commit \| commitdiff \| tree
2017-02-14	Mihail Groza	Corrected inconsistency in handling preprocessor definitions.	commit \| commitdiff \| tree
2017-02-12	Mihail Groza	Remove splint-generated files from distribution.	commit \| commitdiff \| tree
2017-02-12	Mihail Groza	Tweak ignore rules for generated files.	commit \| commitdiff \| tree
2017-02-12	Mihail Groza	Smarter way of generating flag codes header.	commit \| commitdiff \| tree
2017-02-12	Mihail Groza	Clean-up flags definitions	commit \| commitdiff \| tree
2017-02-10	Mihail Groza	No need to save (generated) spec files in repository...	commit \| commitdiff \| tree
2017-02-10	Mihail Groza	More tweaking of ignores.	commit \| commitdiff \| tree
2017-02-10	Mihail Groza	Repository clean-up + ignores update	commit \| commitdiff \| tree
2017-02-10	Mihail Groza	Remove uses of abort + cosmetic changes in preprocessor...	commit \| commitdiff \| tree
2017-02-10	Mihail Groza	Moved header dependent macro from the never-include...	commit \| commitdiff \| tree
2017-02-10	Mihail Groza	Make BAD* macros use custom exit.	commit \| commitdiff \| tree
2017-02-09	Mihail Groza	Make sure memory clean-up is done on exits.	commit \| commitdiff \| tree
2017-02-09	Mihail Groza	Cosmetic changes to some error handling macros.	commit \| commitdiff \| tree
2017-02-09	Mihail Groza	Fix use-after-free 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 clean-up that was skipped.	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Preprocessor hash routines no longer compute name length	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Plug a memory leak in preprocessor handling of define...	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Recognize missing parameter in macro definitions.	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Added checks for incorrect usage of __VA_ARGS__ (ISO...	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Preprocessor stops processing directives with wrong...	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Another minor refactoring of preprocessor library.	commit \| commitdiff \| tree
2017-02-07	Mihail Groza	Small refactoring of preprocessor library.	commit \| commitdiff \| tree
2017-02-06	Mihail Groza	Minor refactoring of preprocessor functionality.	commit \| commitdiff \| tree
2017-02-06	Mihail Groza	Minor clean-up of test makefile.	commit \| commitdiff \| tree
2017-02-06	Mihail Groza	Added support for variadic macros (as in C99).	commit \| commitdiff \| tree
2017-02-06	Mihail Groza	Added missing cases in switch.	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Fix bug detecting standard header files.	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Fix for preprocessor redefinition of a enum constant...	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Cosmetic changes (split from upcoming commit).	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Cosmetic changes to C grammar	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Remove useless grammar rule.	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Made sure all empty rules are explict (and consistent)	commit \| commitdiff \| tree
2017-02-03	Mihail Groza	Fix parsing issue (introduced by me).	commit \| commitdiff \| tree
2017-02-01	Mihail Groza	Issue in old merge related to 'nestcomment' comment.	commit \| commitdiff \| tree
2017-02-01	Mihail Groza	Some code clean-up of preprocessor code.	commit \| commitdiff \| tree
2017-01-31	Mihail Groza	Minor changes aimed at better self-checking.	commit \| commitdiff \| tree
2017-01-31	Mihail Groza	Clean-up of flags controling tracing of bison generated...	commit \| commitdiff \| tree
2017-01-31	Mihail Groza	Minor fixes for glitches in cstring.	commit \| commitdiff \| tree
2017-01-26	Mihail Groza	Correct handling of unary + operation.	commit \| commitdiff \| tree
2017-01-26	Mihail Groza	Two useless/empty bison reductions removed.	commit \| commitdiff \| tree
2017-01-25	Mihail Groza	Various minor fixes for compiler/linter (other then...	commit \| commitdiff \| tree
2017-01-23	Mihail Groza	Some clean-up of memory routines (+ some regression...	commit \| commitdiff \| tree
2017-01-21	Mihail Groza	Minor changes to boolean inclusion/declarations/definitions.	commit \| commitdiff \| tree
next

Patched version for SPLint (Secure Programming Lint)

RSS Atom