andersk Git - splint.git/history

]> andersk Git - splint.git/history - test/null6.lcd

2002-02-12	drl7x	Put instruction files from web site into CVS developmen... splint-3_0_1_6	blob \| commitdiff \| raw
2002-02-11	drl7x	Put .c and .expect files for new test cases into the...	blob \| commitdiff \| raw \| diff to current
2002-02-05	drl7x	Fixed automake related problems.	blob \| commitdiff \| raw \| diff to current
2002-02-05	drl7x	Fixed bug preventing +showconstraintlocation from being...	blob \| commitdiff \| raw \| diff to current
2002-01-22	drl7x	Added test cases for stringliteral initalization checking	blob \| commitdiff \| raw \| diff to current
2002-01-18	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-01-17	drl7x	Fixed buffer overflow in cscanner.l	blob \| commitdiff \| raw \| diff to current
2002-01-14	drl7x	Got gmake to work on test suit. (Changed the cleanout...	blob \| commitdiff \| raw \| diff to current
2002-01-10	drl7x	Patched bug in splint --help flags full	blob \| commitdiff \| raw \| diff to current
2002-01-10	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-01-10	drl7x	splint now tried to define a symbol based on the curren...	blob \| commitdiff \| raw \| diff to current
2002-01-09	drl7x	Added doc/Makefile.am to get make dist to work.	blob \| commitdiff \| raw \| diff to current
2002-01-08	drl7x	Fixed the readme file based on the information on the...	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Removed more temorary files.	blob \| commitdiff \| raw
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-11-27	drl7x	Tried to fix some problems with the configuration system.	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-10-06	evans1629	Fixes for 3.0.0.18:	blob \| commitdiff \| raw \| diff to current
2001-09-27	evans1629	Fixed problems with DOS file format.	blob \| commitdiff \| raw \| diff to current
2001-09-26	drl7x	Small additions to library	blob \| commitdiff \| raw \| diff to current
2001-09-25	evans1629	Fixed unsignedcompare test. Removed diag for unclosed...	blob \| commitdiff \| raw \| diff to current
2001-09-12	evans1629	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-27	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-22	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-08-12	drl7x	REmoved references to the full working directory of...	blob \| commitdiff \| raw \| diff to current
2001-07-30	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-29	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-24	drl7x	Made make lint work. Although exprNode_doSwitchExpr...	blob \| commitdiff \| raw \| diff to current
2001-07-24	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-20	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-16	drl7x	Fixed bugs in the constant removal code for binary...	blob \| commitdiff \| raw \| diff to current
2001-07-12	evans	* empty log message *	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	Added some new test cases also merged with Dave Evans...	blob \| commitdiff \| raw \| diff to current
2001-06-25	dlaroche	Fixed library dump support so that buffer constraint...	blob \| commitdiff \| raw \| diff to current
2001-06-19	dlaroche	Merged with Dave Evans's changes.	blob \| commitdiff \| raw \| diff to current
2001-06-05	dlaroche	updating to make tree consistent for start at cert	blob \| commitdiff \| raw \| diff to current
2001-04-29	drl7x	Simple modification to tests. ImplictConstraints042601	blob \| commitdiff \| raw \| diff to current
2001-03-03	drl7x	CVS Run LCLint on the code on cleaned things up a like.	blob \| commitdiff \| raw \| diff to current
2001-03-02	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	Added some expect files.	blob \| commitdiff \| raw \| diff to current
2001-01-15	drl7x	Added new tests.	blob \| commitdiff \| raw \| diff to current
2001-01-04	drl7x	moved test suit from home	blob \| commitdiff \| raw \| diff to current
2000-12-23	drl7x	Added some new tests: sizeof, and bufferTest.	blob \| commitdiff \| raw \| diff to current
2000-08-02	drl7x	Finshed basic merge. Still trying to get it through...	blob \| commitdiff \| raw \| diff to current
2000-06-21	drl7x	Commiting Merge of changes made in semester and ver 2.5M	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.514906 seconds and 61 git commands to generate.