andersk Git - splint.git/history - src/constraintExpr.c

]> andersk Git - splint.git/history - src/constraintExpr.c

2003-03-31	drl7x	Committing after merging Evan's changes.	blob \| commitdiff \| raw
2003-03-29	evans1629	* empty log message *	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	constraintExpr.c passes splintme without having to...	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	Fixed some splintme errors.	blob \| commitdiff \| raw \| diff to current
2003-03-02	drl7x	Updated the copyright on source code files.	blob \| commitdiff \| raw \| diff to current
2003-01-03	drl7x	Fixed fatal bug involving bounds checking of expression...	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-04	evans1629	Committing my cosmetic code changes and fix of the...	blob \| commitdiff \| raw \| diff to current
2002-11-29	drl7x	Fixed bug in handling of sizeof	blob \| commitdiff \| raw \| diff to current
2002-07-23	drl7x	Fixed internal bug that occured when dumping bounds...	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-11	evans1629	Temporarily set flags to splintme without warnings.	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-01-09	evans1629	Moved doc/lclint.1 to doc/splint.1	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-01-06	evans1629	Renamed lclintMacros.nf splintMacros.nf	blob \| commitdiff \| raw \| diff to current
2002-01-06	evans1629	Cleaned up flags to generate manual help.	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Updated copyright date.	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-10-08	drl7x	Added a comment with standard header giving copyright...	blob \| commitdiff \| raw \| diff to current
2001-09-05	drl7x	changed PLUS to BINARYOP_PLUS	blob \| commitdiff \| raw \| diff to current
2001-09-05	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-20	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-12	drl7x	Added klugdy support for malloc (sizeof type * expr...	blob \| commitdiff \| raw \| diff to current
2001-08-08	drl7x	Made cosmetic improves to messages.	blob \| commitdiff \| raw \| diff to current
2001-07-26	drl7x	Fixed bug with things like char * c [] = {"dfd", "dfdf...	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-20	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-16	drl7x	Fixed bugs in the constant removal code for binary...	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-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-15	dlaroche	Runs on test suite wu-ftpd and bind without crashing...	blob \| commitdiff \| raw \| diff to current
2001-06-13	dlaroche	The code almost work.	blob \| commitdiff \| raw \| diff to current
2001-06-08	dlaroche	Lots of changes. Code is mostly annotated. Still...	blob \| commitdiff \| raw \| diff to current
2001-06-06	dlaroche	EXtensive code clean up. Almost passes LCLint.	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-05-31	drl7x	Updteing for cert move	blob \| commitdiff \| raw \| diff to current
2001-04-29	drl7x	Added (limited) support for implicit annotations.	blob \| commitdiff \| raw \| diff to current
2001-03-03	drl7x	Run LCLint on the code on cleaned things up a like.	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	Added files	blob \| commitdiff \| raw \| diff to current

git-cvsimport mirror of splint

RSS Atom

This page took 0.385426 seconds and 54 git commands to generate.