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

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

[splint.git] / src / constraintResolve.c

2010-01-28	bpringlemeir	Convert some llassert() to llassertfatal(), as we shoul...	blob \| commitdiff \| raw
2003-12-08	drl7x	Fixed off by one bug involving arrays initialized with...	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-04-11	drl7x	Fixed some /@i@/ comments in the code.	blob \| commitdiff \| raw \| diff to current
2003-04-07	drl7x	Removed /bee:.../ comments.	blob \| commitdiff \| raw \| diff to current
2003-03-31	drl7x	Pushed back constraintResolve.c to the previous version.	blob \| commitdiff \| raw \| diff to current
2003-03-29	evans1629	* empty log message *	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	fixed some /@i---@/ comments.	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	Fixed previously ignored splintme errors in constraintR...	blob \| commitdiff \| raw \| diff to current
2003-03-02	drl7x	Updated the copyright on source code files.	blob \| commitdiff \| raw \| diff to current
2002-09-05	drl7x	Fixed bug cause spurious bounds errors.	blob \| commitdiff \| raw \| diff to current
2002-03-11	evans1629	Temporarily set flags to splintme without warnings.	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-08	drl7x	Added annotation to fix lint warning.	blob \| commitdiff \| raw \| diff to current
2002-01-07	evans1629	Updated manual, suppressed warning in constraintResolve.c	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	Adding redundantconstraints flags. Set constraintor...	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-11-29	drl7x	Work around for the MaxSet(c) >= sizeof c -1 simplifica...	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-08	drl7x	Added a comment with standard header giving copyright...	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-08	drl7x	Made cosmetic improves to messages.	blob \| commitdiff \| raw \| diff to current
2001-07-27	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-05	drl7x	Added basic support for switch statements	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-05-31	drl7x	Updteing for cert move	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-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-12-23	drl7x	Prewinter break editing commit. prewinterbreak	blob \| commitdiff \| raw \| diff to current
2000-11-29	drl7x	We're now able to generate Maxset constraints for fixed...	blob \| commitdiff \| raw \| diff to current
2000-11-20	drl7x	If checking mostly works. Boolean expression are handled.	blob \| commitdiff \| raw \| diff to current
2000-10-31	drl7x	pre addition of functino level annotations.	blob \| commitdiff \| raw \| diff to current
2000-10-13	drl7x	Converted to new API for constraintExpr	blob \| commitdiff \| raw \| diff to current
2000-10-03	drl7x	It mostly works but it has a convolted API that needs... oct3uglyapi	blob \| commitdiff \| raw \| diff to current
2000-09-27	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2000-09-25	drl7x	Saving version preented on 092200 simplyconstraintterm	blob \| commitdiff \| raw \| diff to current
2000-09-22	drl7x	Most of the constraint resolving works.	blob \| commitdiff \| raw \| diff to current

git-cvsimport mirror of splint

RSS Atom

This page took 0.516631 seconds and 61 git commands to generate.