andersk Git - splint.git/history

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

2002-01-02	evans1629	Fixed state clauses. Added obvious loop exec checking.	blob \| commitdiff \| raw
2001-12-31	evans1629	Updated copyright date.	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Added checking for union initializers.	blob \| commitdiff \| raw \| diff to current
2001-12-30	evans1629	Fixed branch state bug with definitely null values...	blob \| commitdiff \| raw \| diff to current
2001-12-29	evans1629	Renaming - LCLint => Splint	blob \| commitdiff \| raw \| diff to current
2001-12-06	drl7x	additional buffer checking annotations	blob \| commitdiff \| raw \| diff to current
2001-11-29	drl7x	Fixed double requires clauses in posix.h	blob \| commitdiff \| raw \| diff to current
2001-11-27	drl7x	Tried to fix some problems with the configuration system.	blob \| commitdiff \| raw \| diff to current
2001-10-16	evans1629	Added doc/ directory	blob \| commitdiff \| raw \| diff to current
2001-10-14	evans1629	Updated build to use automake files created by Tim...	blob \| commitdiff \| raw \| diff to current
2001-09-26	drl7x	Small additions to library	blob \| commitdiff \| raw \| diff to current
2001-09-25	drl7x	Added usleep to unix.h in library.	blob \| commitdiff \| raw \| diff to current
2001-09-24	drl7x	Updated library headers to include some missing functions.	blob \| commitdiff \| raw \| diff to current
2001-09-24	drl7x	Updated specifications in the unix library. Added...	blob \| commitdiff \| raw \| diff to current
2001-08-27	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-19	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-15	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-18	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-16	drl7x	made strncat use size_t	blob \| commitdiff \| raw \| diff to current
2001-07-12	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-10	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-05	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-03	dlaroche	Updating to use the LEnsures and LRequires instead...	blob \| commitdiff \| raw \| diff to current
2001-06-25	dlaroche	Fixed library dump support so that buffer constraint...	blob \| commitdiff \| raw \| diff to current
2000-11-29	drl7x	copy lib from lcclint-2.5q version.	blob \| commitdiff \| raw \| diff to current
2000-06-13	drl7x	Initial revision	blob \| commitdiff \| raw \| diff to current

git-cvsimport mirror of splint

RSS Atom

This page took 0.193996 seconds and 33 git commands to generate.