andersk Git - splint.git/history

]> andersk Git - splint.git/history - lib

2009-10-25	bpringlemeir	Add more cvsignore files.	tree \| commitdiff
2009-10-24	bpringlemeir	Update configure and makefile to aclocal/automake 1...	tree \| commitdiff
2004-09-25	evans1629	Fixed declarations of inptr_t and uintptr_t.	tree \| commitdiff
2004-07-31	evans1629	Fixed problem with NULL being changed.	tree \| commitdiff
2004-05-21	evans1629	Added va_copy to standard.h.	tree \| commitdiff
2003-11-02	evans1629	Fixed localtime/gmtime null anntation.	tree \| commitdiff
2003-09-11	herbert	Removed obsolete OS/2 test makefiles.	tree \| commitdiff
2003-06-13	evans1629	Added missing signal.h information to posix.h	tree \| commitdiff
2003-04-20	evans1629	Making fixes for Microsoft Visual C++ compiler.	tree \| commitdiff
2003-04-20	evans1629	Added support for ISO C99 _Bool and stdbool bool/true...	tree \| commitdiff
2003-04-16	evans1629	Added linux builtin type in inet.h to unix library.	tree \| commitdiff
2003-03-06	drl7x	Added support for the _Bool type	tree \| commitdiff
2003-03-06	drl7x	In response to [ 689702 ] Missing C99 __func__ predefin...	tree \| commitdiff
2002-12-08	drl7x	#if 0 the code in cscanner.l causing fatal bugs in...	tree \| commitdiff
2002-12-04	evans1629	Fixed but with multiple globals clauses reported by...	tree \| commitdiff
2002-09-07	evans1629	Committed my changes (but there are several splintme...	tree \| commitdiff
2002-07-08	evans1629	- library fixes:	tree \| commitdiff
2002-07-03	evans1629	Fixed pre-processing bug reported by Adam Clarke. ...	tree \| commitdiff
2002-07-02	evans1629	Fixed annotations on struct iovec and struct msghdr...	tree \| commitdiff
2002-07-01	drl7x	Apparently splint does not correctly handle the case...	tree \| commitdiff
2002-06-25	drl7x	Fixed unix.h so splint could parse it so that splint...	tree \| commitdiff
2002-05-31	evans1629	Committed to enable merge.	tree \| commitdiff
2002-03-25	evans1629	Fixed creation of temp files.	tree \| commitdiff
2002-03-18	evans1629	Fixed anytype resolution.	tree \| commitdiff
2002-03-02	evans1629	Fixed line numbering when multi-line macro parameters...	tree \| commitdiff
2002-02-18	herbert	Updated documentation and Makefiles (LCLint -> splint),	tree \| commitdiff
2002-01-22	drl7x	Fixed bug in string initialization checking.	tree \| commitdiff
2002-01-19	drl7x	Hopefully fixed configuration program caused by running... splint-3_0_1_4	tree \| commitdiff
2002-01-18	drl7x	* empty log message *	tree \| commitdiff
2002-01-10	drl7x	splint now tried to define a symbol based on the curren...	tree \| commitdiff
2002-01-09	evans1629	Moved doc/lclint.1 to doc/splint.1	tree \| commitdiff
2002-01-07	drl7x	* empty log message *	tree \| commitdiff
2002-01-07	drl7x	Fixed problems in library headers.	tree \| commitdiff
2002-01-07	evans1629	Put manual in CVS	tree \| commitdiff
2002-01-06	evans1629	Cleaned up flags to generate manual help.	tree \| commitdiff
2002-01-05	evans1629	Remade libraries.	tree \| commitdiff
2002-01-04	evans1629	Added manual test cases.	tree \| commitdiff
2002-01-02	evans1629	Fixed state clauses. Added obvious loop exec checking.	tree \| commitdiff
2001-12-31	evans1629	Updated copyright date.	tree \| commitdiff
2001-12-31	evans1629	Added checking for union initializers.	tree \| commitdiff
2001-12-30	evans1629	Added legacy flag for unix lib.	tree \| commitdiff
2001-12-30	evans1629	Fixed branch state bug with definitely null values...	tree \| commitdiff
2001-12-29	evans1629	Renaming - LCLint => Splint	tree \| commitdiff
2001-12-19	drl7x	Modified configure.ac to new longer check for c++.	tree \| commitdiff
2001-12-06	drl7x	additional buffer checking annotations	tree \| commitdiff
2001-12-05	drl7x	* empty log message * Alpha-3_0_0_19	tree \| commitdiff
2001-11-30	drl7x	* empty log message *	tree \| commitdiff
2001-11-30	drl7x	* empty log message *	tree \| commitdiff
2001-11-29	drl7x	Fixed double requires clauses in posix.h	tree \| commitdiff
2001-11-27	drl7x	Tried to fix some problems with the configuration system.	tree \| commitdiff
2001-10-17	drl7x	Made some additional changes to the makefile. Now...	tree \| commitdiff
2001-10-17	drl7x	I'm trying to fix some of the problems with the Makefile.	tree \| commitdiff
2001-10-16	evans1629	Added doc/ directory	tree \| commitdiff
2001-10-14	evans1629	Updated build to use automake files created by Tim...	tree \| commitdiff
2001-09-26	drl7x	Small additions to library	tree \| commitdiff
2001-09-25	drl7x	Added usleep to unix.h in library.	tree \| commitdiff
2001-09-24	drl7x	Updated library headers to include some missing functions.	tree \| commitdiff
2001-09-24	drl7x	Updated specifications in the unix library. Added...	tree \| commitdiff
2001-09-23	evans1629	Added fileTable tracking of open files, so they may...	tree \| commitdiff
2001-08-27	evans	* empty log message *	tree \| commitdiff
2001-08-19	evans	* empty log message *	tree \| commitdiff
2001-08-15	drl7x	* empty log message *	tree \| commitdiff
2001-08-12	drl7x	* empty log message *	tree \| commitdiff
2001-08-01	evans	* empty log message *	tree \| commitdiff
2001-07-30	evans	* empty log message *	tree \| commitdiff
2001-07-28	evans	* empty log message *	tree \| commitdiff
2001-07-25	evans	* empty log message *	tree \| commitdiff
2001-07-24	evans	* empty log message *	tree \| commitdiff
2001-07-20	evans	* empty log message *	tree \| commitdiff
2001-07-18	evans	* empty log message *	tree \| commitdiff
2001-07-18	evans	* empty log message *	tree \| commitdiff
2001-07-16	drl7x	made strncat use size_t	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-10	evans	* empty log message *	tree \| commitdiff
2001-07-09	evans	* empty log message *	tree \| commitdiff
2001-07-06	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-03	dlaroche	Updating to use the LEnsures and LRequires instead...	tree \| commitdiff
2001-06-25	dlaroche	Fixed library dump support so that buffer constraint...	tree \| commitdiff
2001-06-18	dlaroche	Changed to used /\ and requires instead of bufferConstraint	tree \| commitdiff
2001-04-29	drl7x	Added (limited) support for implicit annotations.	tree \| commitdiff
2000-11-29	drl7x	copy lib from lcclint-2.5q version.	tree \| commitdiff
2000-06-13	drl7x	Initial revision	tree \| commitdiff

git-cvsimport mirror of splint

RSS Atom

This page took 0.189387 seconds and 7 git commands to generate.