andersk Git - splint.git/search

]> andersk Git - splint.git/search

2001-11-29	drl7x	Fixed to handled double requires clauses cleanly	commit \| commitdiff \| tree
2001-11-29	drl7x	Fixed double requires clauses in posix.h	commit \| commitdiff \| tree
2001-11-29	drl7x	Fixed help.expect	commit \| commitdiff \| tree
2001-11-29	drl7x	Took makefile out of repository.	commit \| commitdiff \| tree
2001-11-29	drl7x	Work around for the MaxSet(c) >= sizeof c -1 simplification.	commit \| commitdiff \| tree
2001-11-28	drl7x	Added additional tests for buffer overflow detection...	commit \| commitdiff \| tree
2001-11-27	drl7x	Took tests2.2a out of Makefile temporalily.	commit \| commitdiff \| tree
2001-11-27	drl7x	Tried to fix some problems with the configuration system.	commit \| commitdiff \| tree
2001-11-15	drl7x	Removed .out files from the repository because they...	commit \| commitdiff \| tree
2001-10-17	drl7x	Tried to fix more problmes with the Makefiles	commit \| commitdiff \| tree
2001-10-17	drl7x	Made some additional changes to the makefile. Now...	commit \| commitdiff \| tree
2001-10-17	drl7x	I'm trying to fix some of the problems with the Makefile.	commit \| commitdiff \| tree
2001-10-08	drl7x	Added loopHeuristics.c to replace forjunk.c	commit \| commitdiff \| tree
2001-10-08	drl7x	Removed src/Headers/local_constants.last from CVS because	commit \| commitdiff \| tree
2001-10-08	drl7x	Added a comment with standard header giving copyright...	commit \| commitdiff \| tree
2001-10-08	drl7x	Fixed Makefile to create bin directory.	commit \| commitdiff \| tree
2001-09-26	drl7x	Small additions to library	commit \| commitdiff \| tree
2001-09-25	drl7x	Added usleep to unix.h in library.	commit \| commitdiff \| tree
2001-09-24	drl7x	Updated library headers to include some missing functions.	commit \| commitdiff \| tree
2001-09-24	drl7x	Updated specifications in the unix library. Added...	commit \| commitdiff \| tree
2001-09-05	drl7x	changed PLUS to BINARYOP_PLUS	commit \| commitdiff \| tree
2001-09-05	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-15	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-12	drl7x	REmoved references to the full working directory of...	commit \| commitdiff \| tree
2001-08-12	drl7x	Added klugdy support for malloc (sizeof type * expr...	commit \| commitdiff \| tree
2001-08-12	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-11	drl7x	Fixed test to have correct sort order.	commit \| commitdiff \| tree
2001-08-11	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-11	drl7x	Fix bug in fileloc_compare which was causeing problem...	commit \| commitdiff \| tree
2001-08-08	drl7x	REmoved non-working test from make file and changed...	commit \| commitdiff \| tree
2001-08-08	drl7x	Made cosmetic improves to messages.	commit \| commitdiff \| tree
2001-07-30	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-27	drl7x	Editng test to reflect additional constraint information.	commit \| commitdiff \| tree
2001-07-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-26	drl7x	Fixed bug with things like char * c [] = {"dfd", "dfdf...	commit \| commitdiff \| tree
2001-07-25	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-24	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-24	drl7x	Made make lint work. Although exprNode_doSwitchExpr...	commit \| commitdiff \| tree
2001-07-16	drl7x	Don't generate constraints for sizeof expression.	commit \| commitdiff \| tree
2001-07-16	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-16	drl7x	Fixed bugs in the constant removal code for binary expressions.	commit \| commitdiff \| tree
2001-07-16	drl7x	Fixed bugs in the constant removal code for binary expressions.	commit \| commitdiff \| tree
2001-07-16	drl7x	made strncat use size_t	commit \| commitdiff \| tree
2001-07-06	drl7x	Added a patch so that buffer overflow checking is not...	commit \| commitdiff \| tree
2001-07-06	drl7x	Added a patch so that buffer overflow checking is not...	commit \| commitdiff \| tree
2001-07-05	drl7x	Added some additional tests fixed error in the maxset test	commit \| commitdiff \| tree
2001-07-05	drl7x	Added basic support for switch statements	commit \| commitdiff \| tree
2001-07-04	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-04	drl7x	Fixed bug caused by free the null terminated stuff...	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.	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	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.	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 fixxing.	commit \| commitdiff \| tree
2000-09-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2000-09-25	drl7x	Saving version preented on 092200	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 *	commit \| commitdiff \| tree
2000-08-02	drl7x	Put files created for constraint handling in the repository.	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

This page took 0.086409 seconds and 3 git commands to generate.