andersk Git - splint.git/history

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

2003-08-13	evans1629	Fixed scanf %x problem.	blob \| commitdiff \| raw
2003-07-18	evans1629	Fixed problem with shadow parameters.	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-22	evans1629	Fixes after removing -unrecogcomments flag for make...	blob \| commitdiff \| raw \| diff to current
2003-04-21	evans1629	Fixes for win32	blob \| commitdiff \| raw \| diff to current
2003-04-14	evans1629	Fixed all /@i...@/ tags (except 1).	blob \| commitdiff \| raw \| diff to current
2003-04-12	drl7x	Fixed /@i@/ warning in splintme	blob \| commitdiff \| raw \| diff to current
2003-04-11	drl7x	Fixed some /@i@/ comments in the code.	blob \| commitdiff \| raw \| diff to current
2003-03-06	drl7x	Fixed bug 672239 sizeof(array[0]) gives NULL derefenc...	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	Fixed splintme errors in constraint.c that had previous...	blob \| commitdiff \| raw \| diff to current
2003-03-02	drl7x	Updated the copyright on source code files.	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-09-07	evans1629	Committed my changes (but there are several splintme...	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-16	evans1629	Fixed problem with loop guards in loop test effects...	blob \| commitdiff \| raw \| diff to current
2002-03-15	evans1629	Fixed bug in usymtab clearing derived sRefs when exitin...	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-02-06	evans1629	Fixed internal bug for if ((a[0][1]) != 0)	blob \| commitdiff \| raw \| diff to current
2002-02-04	drl7x	Fixed problem with handleing oldsytle function declarat...	blob \| commitdiff \| raw \| diff to current
2002-01-25	drl7x	Fixed bug reproted by Jim Francis. Bug was triggered...	blob \| commitdiff \| raw \| diff to current
2002-01-22	drl7x	Fixed bug in string initialization checking.	blob \| commitdiff \| raw \| diff to current
2002-01-17	evans1629	Fixed handling of array dimensions (bug reported by...	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-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
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	Fixed handling of wide character strings (L"test").	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Fixed handling of __FUNCTION__	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Added checking for union initializers.	blob \| commitdiff \| raw \| diff to current
2001-12-29	evans1629	Renaming - LCLint => Splint	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-07	evans1629	string literal initialization sizes	blob \| commitdiff \| raw \| diff to current
2001-10-06	evans1629	do..while control flow fix in exprNode.c	blob \| commitdiff \| raw \| diff to current
2001-10-06	evans1629	Fixes for 3.0.0.18:	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-20	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-01	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-27	evans	* empty log message *	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-24	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-21	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-13	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-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-12	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	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-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	Removed the unused data type environmentTable.	blob \| commitdiff \| raw \| diff to current
2001-06-06	dlaroche	EXtensive code clean up. Almost passes LCLint.	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-02	drl7x	Added files	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	Readded files.	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	got rid of files in case directory.	blob \| commitdiff \| raw
2001-03-01	drl7x	commitng to fix cvs archive. Code works with gcc272...	blob \| commitdiff \| raw \| diff to current
2001-01-15	drl7x	Making changes to try to support loops.	blob \| commitdiff \| raw \| diff to current
2000-11-29	drl7x	Passes the standard LCLint test suite. YAAAAAAYYYY!!!!!	blob \| commitdiff \| raw \| diff to current
2000-10-31	drl7x	pre addition of functino level annotations.	blob \| commitdiff \| raw \| diff to current
2000-09-22	drl7x	Most of the constraint resolving works.	blob \| commitdiff \| raw \| diff to current
2000-09-14	drl7x	Periodic commit	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 3.411207 seconds and 89 git commands to generate.