andersk Git - splint.git/history

]> andersk Git - splint.git/history - src/flags.def

2004-07-31	evans1629	Fixed problem with NULL being changed.	blob \| commitdiff \| raw
2003-11-05	evans1629	Added realrelatecompare flag.	blob \| commitdiff \| raw \| diff to current
2003-07-10	evans1629	Fixed problem with global struct assignments.	blob \| commitdiff \| raw \| diff to current
2003-06-10	evans1629	Made allocations involving sizeof work correctly (test...	blob \| commitdiff \| raw \| diff to current
2003-06-09	evans1629	Changes to fix malloc size problem.	blob \| commitdiff \| raw \| diff to current
2003-06-07	evans1629	Fixed problem with russian characters.	blob \| commitdiff \| raw \| diff to current
2003-04-20	evans1629	Making fixes for Microsoft Visual C++ compiler.	blob \| commitdiff \| raw \| diff to current
2003-04-14	evans1629	Fixed all /@i...@/ tags (except 1).	blob \| commitdiff \| raw \| diff to current
2002-12-20	drl7x	Added the flags likely-bounds, likely-bounds-write...	blob \| commitdiff \| raw \| diff to current
2002-12-18	evans1629	Improved tracking of state change locations. Added...	blob \| commitdiff \| raw \| diff to current
2002-12-15	evans1629	ADded numabstract types.	blob \| commitdiff \| raw \| diff to current
2002-12-12	evans1629	Added code to support CSV output (-csv flag).	blob \| commitdiff \| raw \| diff to current
2002-12-12	evans1629	Added support for +longint and +shortint and associated...	blob \| commitdiff \| raw \| diff to current
2002-09-07	evans1629	Committed my changes (but there are several splintme...	blob \| commitdiff \| raw \| diff to current
2002-07-08	evans1629	Fixed emptyret flag problem. ("emptyreturn" -> "emptyr...	blob \| commitdiff \| raw \| diff to current
2002-07-08	evans1629	- library fixes:	blob \| commitdiff \| raw \| diff to current
2002-04-28	evans1629	Fixed manual typo.	blob \| commitdiff \| raw \| diff to current
2002-03-25	evans1629	Fixed creation of temp files.	blob \| commitdiff \| raw \| diff to current
2002-03-17	evans1629	Added htmlfileformat flag.	blob \| commitdiff \| raw \| diff to current
2002-03-17	evans1629	Fixed problem with print format for +showalluses.	blob \| commitdiff \| raw \| diff to current
2002-03-16	evans1629	Fixed problem with resetting null state after error...	blob \| commitdiff \| raw \| diff to current
2002-03-13	evans1629	o Make lltok an abstract type, a pointer to structure...	blob \| commitdiff \| raw \| diff to current
2002-03-02	evans1629	Fixed line numbering when multi-line macro parameters...	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	Fixed bug in string initialization checking.	blob \| commitdiff \| raw \| diff to current
2002-01-18	drl7x	Added the flag warnsysfiles (default +) if this flag...	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	Adding redundantconstraints flags. Set constraintor...	blob \| commitdiff \| raw \| diff to current
2002-01-07	evans1629	Put manual in CVS	blob \| commitdiff \| raw \| diff to current
2002-01-06	evans1629	Cleaned up flags to generate manual help.	blob \| commitdiff \| raw \| diff to current
2002-01-05	evans1629	Generating flag manual; separated ARG_STRING into filen...	blob \| commitdiff \| raw \| diff to current
2002-01-05	evans1629	unrecognizeddirective->unrecogdirective	blob \| commitdiff \| raw \| diff to current
2002-01-04	evans1629	Added manual test cases.	blob \| commitdiff \| raw \| diff to current
2002-01-03	evans1629	Changed checking of complete descruction so +strictdest...	blob \| commitdiff \| raw \| diff to current
2002-01-03	evans1629	Fixed checking for shift expressions.	blob \| commitdiff \| raw \| diff to current
2002-01-02	evans1629	Fixed state clauses. Added obvious loop exec checking.	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Updated copyright date.	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Changed configure.ac to incorporate Nelson Beebe's...	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Fixed processing of unrecognized pre-processor directiv...	blob \| commitdiff \| raw \| diff to current
2001-12-30	evans1629	Added legacy flag for unix lib.	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-11-27	drl7x	Tried to fix some problems with the configuration system.	blob \| commitdiff \| raw \| diff to current
2001-10-13	evans1629	Changed BADBRANCH to avoid gcc warnings.	blob \| commitdiff \| raw \| diff to current
2001-10-07	evans1629	string literal initialization sizes	blob \| commitdiff \| raw \| diff to current
2001-09-05	drl7x	* 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-08	drl7x	Made cosmetic improves to messages.	blob \| commitdiff \| raw \| diff to current
2001-08-01	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-25	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-22	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-18	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-06	drl7x	Added a patch so that buffer overflow checking is not...	blob \| commitdiff \| raw \| diff to current
2001-07-05	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-03	dlaroche	Merged code tree with Dave Evans's version. Many chang...	blob \| commitdiff \| raw \| diff to current
2001-06-19	dlaroche	Merged with Dave Evans's changes.	blob \| commitdiff \| raw \| diff to current
2001-06-18	dlaroche	Added check of user specified post conditions. postchecking	blob \| commitdiff \| raw \| diff to current
2001-05-04	drl7x	Added support for or constraints.	blob \| commitdiff \| raw \| diff to current
2001-04-29	drl7x	Added (limited) support for implicit annotations.	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	commitng to fix cvs archive. Code works with gcc272...	blob \| commitdiff \| raw \| diff to current
2000-12-23	drl7x	Prewinter break editing commit. prewinterbreak	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.679165 seconds and 72 git commands to generate.