andersk Git - splint.git/history

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

2001-06-18	dlaroche	Added check of user specified post conditions. postchecking	blob \| commitdiff \| raw
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-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-18	drl7x	Added basic support for simple loops.	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	Passes the standard LCLint test suite. YAAAAAAYYYY!!!!!	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-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

git-cvsimport mirror of splint

RSS Atom

This page took 0.287786 seconds and 32 git commands to generate.