andersk Git - splint.git/shortlog

]> andersk Git - splint.git/shortlog

2001-06-18	dlaroche	Added check of user specified post conditions. postchecking	commit \| commitdiff \| tree
2001-06-18	dlaroche	Changed to used /\ and requires instead of bufferConstraint exportPreAlpha	commit \| commitdiff \| tree
2001-06-18	dlaroche	Changed to used /\ and requires instead of bufferConstraint	commit \| commitdiff \| tree
2001-06-15	dlaroche	Runs on test suite wu-ftpd and bind without crashing...	commit \| commitdiff \| tree
2001-06-13	dlaroche	The code almost work.	commit \| commitdiff \| tree
2001-06-08	dlaroche	Lots of changes. Code is mostly annotated. Still...	commit \| commitdiff \| tree
2001-06-06	dlaroche	Removed the unused data type environmentTable.	commit \| commitdiff \| tree
2001-06-06	dlaroche	EXtensive code clean up. Almost passes LCLint.	commit \| commitdiff \| tree
2001-06-05	dlaroche	updating to make tree consistent for start at cert	commit \| commitdiff \| tree
2001-05-31	drl7x	Updating for cert move	commit \| commitdiff \| tree
2001-05-31	drl7x	Updteing for cert move	commit \| commitdiff \| tree
2001-05-04	drl7x	Added support for or constraints.	commit \| commitdiff \| tree
2001-04-29	drl7x	Simple modification to tests. ImplictConstraints042601	commit \| commitdiff \| tree
2001-04-29	drl7x	Added (limited) support for implicit annotations.	commit \| commitdiff \| tree
2001-03-03	drl7x	Removed some .out files.	commit \| commitdiff \| tree
2001-03-03	drl7x	CVS Run LCLint on the code on cleaned things up a like.	commit \| commitdiff \| tree
2001-03-03	drl7x	Run LCLint on the code on cleaned things up a like.	commit \| commitdiff \| tree
2001-03-02	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-03-02	drl7x	Added Makefile cvsWorks0302_2001	commit \| commitdiff \| tree
2001-03-02	drl7x	Added files for test case.	commit \| commitdiff \| tree
2001-03-02	drl7x	Add one last file?	commit \| commitdiff \| tree
2001-03-02	drl7x	Add test files to repository.	commit \| commitdiff \| tree
2001-03-02	drl7x	Added test to repository	commit \| commitdiff \| tree
2001-03-02	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-03-02	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-03-02	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-03-02	drl7x	Added files	commit \| commitdiff \| tree
2001-03-02	drl7x	Code seems to work...	commit \| commitdiff \| tree
2001-03-01	drl7x	Added files to the repository.	commit \| commitdiff \| tree
2001-03-01	drl7x	Added test to the repository.	commit \| commitdiff \| tree
2001-03-01	drl7x	Added some expect files.	commit \| commitdiff \| tree
2001-03-01	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-03-01	drl7x	Readded files.	commit \| commitdiff \| tree
2001-03-01	drl7x	Added files	commit \| commitdiff \| tree
2001-03-01	drl7x	Added header files.	commit \| commitdiff \| tree
2001-03-01	drl7x	got rid of files in case directory.	commit \| commitdiff \| tree
2001-03-01	drl7x	commitng to fix cvs archive. Code works with gcc272...	commit \| commitdiff \| tree
2001-01-18	drl7x	Added basic support for simple loops.	commit \| commitdiff \| tree
2001-01-15	drl7x	Added new tests.	commit \| commitdiff \| tree
2001-01-15	drl7x	Making changes to try to support loops.	commit \| commitdiff \| tree
2001-01-04	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-01-04	drl7x	moved test suit from home	commit \| commitdiff \| tree
2000-12-23	drl7x	Added some new tests: sizeof, and bufferTest.	commit \| commitdiff \| tree
2000-12-23	drl7x	Prewinter break editing commit. prewinterbreak	commit \| commitdiff \| tree
2000-11-29	drl7x	Handles ftpd.c in wu-ftp without crashing.	commit \| commitdiff \| tree
2000-11-29	drl7x	copy lib from lcclint-2.5q version.	commit \| commitdiff \| tree
2000-11-29	drl7x	Passes the standard LCLint test suite. YAAAAAAYYYY!!!!!	commit \| commitdiff \| tree
2000-11-29	drl7x	We're now able to generate Maxset constraints for fixed...	commit \| commitdiff \| tree
2000-11-20	drl7x	If checking mostly works. Boolean expression are handled.	commit \| commitdiff \| tree
2000-11-01	drl7x	Fixed stupid bug in constraintGeneration.c	commit \| commitdiff \| tree
2000-10-31	drl7x	pre addition of functino level annotations.	commit \| commitdiff \| tree
2000-10-13	drl7x	Converted to new API for constraintExpr	commit \| commitdiff \| tree
2000-10-03	drl7x	It mostly works but it has a convolted API that needs... oct3uglyapi	commit \| commitdiff \| tree
2000-09-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2000-09-25	drl7x	Saving version preented on 092200 simplyconstraintterm	commit \| commitdiff \| tree
2000-09-22	drl7x	Most of the constraint resolving works.	commit \| commitdiff \| tree
2000-09-14	drl7x	Periodic commit	commit \| commitdiff \| tree
2000-08-03	drl7x	* empty log message * merged25q	commit \| commitdiff \| tree
2000-08-02	drl7x	Put files created for constraint handling in the reposi...	commit \| commitdiff \| tree
2000-08-02	drl7x	Took 2 temp files out of the repository.	commit \| commitdiff \| tree
2000-08-02	drl7x	Fixed stupid bug in constraintList causing a segfault.	commit \| commitdiff \| tree
2000-08-02	drl7x	Finshed basic merge. Still trying to get it through...	commit \| commitdiff \| tree
2000-07-04	drl7x	Added the code for setBufferSize and setStringLegnth... assertSizeandLengthAnnotations	commit \| commitdiff \| tree
2000-06-22	drl7x	Added in test case files. (Merge should be complete now.) NullTermVer1	commit \| commitdiff \| tree
2000-06-21	drl7x	Put Nullterminated Tests in the repository.	commit \| commitdiff \| tree
2000-06-21	drl7x	Commiting Merge of changes made in semester and ver 2.5M	commit \| commitdiff \| tree
2000-06-13	drl7x	Initial revision	commit \| commitdiff \| tree

git-cvsimport mirror of splint

RSS Atom

This page took 0.134439 seconds and 4 git commands to generate.