andersk Git - splint.git/search

]> andersk Git - splint.git/search

2003-06-10	evans1629	Made allocations involving sizeof work correctly (test...	commit \| commitdiff \| tree
2003-06-09	evans1629	Changes to fix malloc size problem.	commit \| commitdiff \| tree
2003-06-07	evans1629	Fixed problem with russian characters.	commit \| commitdiff \| tree
2003-04-29	evans1629	Renamings to avoid conflicts with type names.	commit \| commitdiff \| tree
2003-04-22	evans1629	Fixed overly agressive assertions (from checking splint...	commit \| commitdiff \| tree
2003-04-22	evans1629	Fixes after removing -unrecogcomments flag for make splintme.	commit \| commitdiff \| tree
2003-04-21	evans1629	Fixes for win32	commit \| commitdiff \| tree
2003-04-20	evans1629	Fixed inclusion problems with osd.h.	commit \| commitdiff \| tree
2003-04-20	evans1629	Making fixes for Microsoft Visual C++ compiler.	commit \| commitdiff \| tree
2003-04-20	evans1629	Added support for ISO C99 _Bool and stdbool bool/true...	commit \| commitdiff \| tree
2003-04-20	evans1629	Incorporated path for file inclusion in cpplib.c.	commit \| commitdiff \| tree
2003-04-16	evans1629	Added linux builtin type in inet.h to unix library.	commit \| commitdiff \| tree
2003-04-14	evans1629	Fixed all /@i...@/ tags (except 1).	commit \| commitdiff \| tree
2003-04-12	evans1629	Testing CVS setup. Changed src/Makefile.am to reflect...	commit \| commitdiff \| tree
2003-03-29	evans1629	* empty log message *	commit \| commitdiff \| tree
2002-12-18	evans1629	Improved tracking of state change locations. Added...	commit \| commitdiff \| tree
2002-12-15	evans1629	ADded numabstract types.	commit \| commitdiff \| tree
2002-12-13	evans1629	Fixed parsing problem with multiple inclusions of alt typedefs.	commit \| commitdiff \| tree
2002-12-12	evans1629	Added code to support CSV output (-csv flag).	commit \| commitdiff \| tree
2002-12-12	evans1629	Added support for +longint and +shortint and associated...	commit \| commitdiff \| tree
2002-12-12	evans1629	Cleaned up code problems reported by make splintme.	commit \| commitdiff \| tree
2002-12-12	evans1629	Added sizesigns.c and sizesigns.expect. I can't actually...	commit \| commitdiff \| tree
2002-12-12	evans1629	Readded configure	commit \| commitdiff \| tree
2002-12-12	evans1629	Remove empty configure file. This should not be in CVS.	commit \| commitdiff \| tree
2002-12-04	evans1629	Fixed but with multiple globals clauses reported by...	commit \| commitdiff \| tree
2002-12-04	evans1629	Committing my cosmetic code changes and fix of the...	commit \| commitdiff \| tree
2002-09-07	evans1629	Committed my changes (but there are several splintme...	commit \| commitdiff \| tree
2002-07-11	evans1629	Added pointers.c and pointers.h to CVS.	commit \| commitdiff \| tree
2002-07-08	evans1629	Fixed emptyret flag problem. ("emptyreturn" -> "emptyret...	commit \| commitdiff \| tree
2002-07-08	evans1629	- library fixes:	commit \| commitdiff \| tree
2002-07-05	evans1629	Update test results.	commit \| commitdiff \| tree
2002-07-05	evans1629	Added chararrylit test case.	commit \| commitdiff \| tree
2002-07-03	evans1629	Fixed pre-processing bug reported by Adam Clarke. ...	commit \| commitdiff \| tree
2002-07-02	evans1629	Fixed annotations on struct iovec and struct msghdr in unix.h	commit \| commitdiff \| tree
2002-05-31	evans1629	Committed to enable merge.	commit \| commitdiff \| tree
2002-05-20	evans1629	Added splint.spec file contributed by Heiko Abraham	commit \| commitdiff \| tree
2002-04-28	evans1629	Fixed manual typo.	commit \| commitdiff \| tree
2002-03-30	evans1629	Fixed problem with comman line redefinitions (no filename).	commit \| commitdiff \| tree
2002-03-25	evans1629	Testing update message.	commit \| commitdiff \| tree
2002-03-25	evans1629	Fixed creation of temp files.	commit \| commitdiff \| tree
2002-03-18	evans1629	Fixed anytype resolution.	commit \| commitdiff \| tree
2002-03-17	evans1629	Removed unexport's from makefile. They don't seem...	commit \| commitdiff \| tree
2002-03-17	evans1629	Added llgrammar_gen2.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added signature_gen.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added llgrammar_gen.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added cgrammar_tokens.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added htmlfileformat flag.	commit \| commitdiff \| tree
2002-03-17	evans1629	Fixed internal error for stray type names in structure...	commit \| commitdiff \| tree
2002-03-17	evans1629	Fixed problem with unnamed unions within struct definitions.	commit \| commitdiff \| tree
2002-03-17	evans1629	Fixed problem with print format for +showalluses.	commit \| commitdiff \| tree
2002-03-16	evans1629	Fixed problem with resetting null state after error...	commit \| commitdiff \| tree
2002-03-16	evans1629	Fixed problem with loop guards in loop test effects...	commit \| commitdiff \| tree
2002-03-15	evans1629	Fixed bug in usymtab clearing derived sRefs when exiting scope.	commit \| commitdiff \| tree
2002-03-13	evans1629	o Make lltok an abstract type, a pointer to structure...	commit \| commitdiff \| tree
2002-03-12	evans1629	Win32 problems	commit \| commitdiff \| tree
2002-03-11	evans1629	Temporarily set flags to splintme without warnings.	commit \| commitdiff \| tree
2002-03-02	evans1629	Fixed line numbering when multi-line macro parameters are used.	commit \| commitdiff \| tree
2002-02-19	evans1629	Added grammar support for compound literals. (Reported...	commit \| commitdiff \| tree
2002-02-19	evans1629	Integrated Herbert Martin Dietze's changes for OS/2.	commit \| commitdiff \| tree
2002-02-13	evans1629	Fixed warning message for shiftsigned flag. (Reported...	commit \| commitdiff \| tree
2002-02-11	evans1629	Added warnsysfiles flag to manual.	commit \| commitdiff \| tree
2002-02-10	evans1629	Fixed bug with unrecognized files in #line commands.	commit \| commitdiff \| tree
2002-02-10	evans1629	Extended grammar to support designators in initializers.	commit \| commitdiff \| tree
2002-02-10	evans1629	Fixed but with parenthesized pointer declarations.	commit \| commitdiff \| tree
2002-02-07	evans1629	Fixed bug with FIELDASSIGN	commit \| commitdiff \| tree
2002-02-06	evans1629	Fixed internal errors for field assignments --- this...	commit \| commitdiff \| tree
2002-02-06	evans1629	Fixed internal bug for if ((a[0][1]) != 0)	commit \| commitdiff \| tree
2002-02-06	evans1629	Fixed internal bug for enum lists defined in structures...	commit \| commitdiff \| tree
2002-02-05	evans1629	Relaxed grammar to allow null external declarations.	commit \| commitdiff \| tree
2002-02-05	evans1629	Added test case for division by zero.	commit \| commitdiff \| tree
2002-02-05	evans1629	Forgot to commit multiVal.c	commit \| commitdiff \| tree
2002-01-17	evans1629	Fixed handling of array dimensions (bug reported by...	commit \| commitdiff \| tree
2002-01-10	evans1629	Added install.html to CVS.	commit \| commitdiff \| tree
2002-01-10	evans1629	Fixed problem with identifyFlag revealed by splint...	commit \| commitdiff \| tree
2002-01-09	evans1629	Reviewed DRL's manual changes. Moved bounds flags...	commit \| commitdiff \| tree
2002-01-09	evans1629	still trying to add doc files	commit \| commitdiff \| tree
2002-01-09	evans1629	Moved doc/lclint.1 to doc/splint.1	commit \| commitdiff \| tree
2002-01-09	evans1629	Removed /bin/csh from tainted/Makefile	commit \| commitdiff \| tree
2002-01-08	evans1629	Added win32/ files to CVS	commit \| commitdiff \| tree
2002-01-08	evans1629	Added winconfig.h	commit \| commitdiff \| tree
2002-01-08	evans1629	Fixed up for win32 building (winconfig.h required)	commit \| commitdiff \| tree
2002-01-07	evans1629	Removed stray hashTable.c file	commit \| commitdiff \| tree
2002-01-07	evans1629	Updated manual, suppressed warning in constraintResolve.c	commit \| commitdiff \| tree
2002-01-07	evans1629	Put manual in CVS	commit \| commitdiff \| tree
2002-01-06	evans1629	Renamed lclintMacros.nf splintMacros.nf	commit \| commitdiff \| tree
2002-01-06	evans1629	Cleaned up flags to generate manual help.	commit \| commitdiff \| tree
2002-01-06	evans1629	Manual flags.	commit \| commitdiff \| tree
2002-01-05	evans1629	Generating flag manual; separated ARG_STRING into filename...	commit \| commitdiff \| tree
2002-01-05	evans1629	unrecognizeddirective->unrecogdirective	commit \| commitdiff \| tree
2002-01-05	evans1629	Remade libraries.	commit \| commitdiff \| tree
2002-01-05	evans1629	Renamed truenull nullwhentrue and falsenull falsewhennull	commit \| commitdiff \| tree
2002-01-04	evans1629	Added manual files	commit \| commitdiff \| tree
2002-01-04	evans1629	Added manual test cases.	commit \| commitdiff \| tree
2002-01-03	evans1629	Changed checking of complete descruction so +strictdestroy is no	commit \| commitdiff \| tree
2002-01-03	evans1629	Fixed checking for shift expressions.	commit \| commitdiff \| tree
2002-01-02	evans1629	Fixed state clauses. Added obvious loop exec checking.	commit \| commitdiff \| tree
2001-12-31	evans1629	Fixed preds.expect for name change.	commit \| commitdiff \| tree
2001-12-31	evans1629	Updated copyright date.	commit \| commitdiff \| tree
2001-12-31	evans1629	Fixed bug in uentry_makeVarFunction reported by Alexander Mai.	commit \| commitdiff \| tree
2001-12-31	evans1629	Changed grammer to allow multiple /@fallthrough@...	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

This page took 1.331266 seconds and 3 git commands to generate.