andersk Git - splint.git/history

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

2001-11-29	drl7x	Fixed to handled double requires clauses cleanly	tree \| commitdiff
2001-11-29	drl7x	Took makefile out of repository.	tree \| commitdiff
2001-11-29	drl7x	Work around for the MaxSet(c) >= sizeof c -1 simplifica...	tree \| commitdiff
2001-11-27	drl7x	Took tests2.2a out of Makefile temporalily.	tree \| commitdiff
2001-11-27	drl7x	Tried to fix some problems with the configuration system.	tree \| commitdiff
2001-10-19	evans1629	Added mtgrammar.c.der	tree \| commitdiff
2001-10-17	drl7x	Made some additional changes to the makefile. Now...	tree \| commitdiff
2001-10-17	drl7x	I'm trying to fix some of the problems with the Makefile.	tree \| commitdiff
2001-10-16	evans1629	Added doc/ directory	tree \| commitdiff
2001-10-14	evans1629	Fixed test suite (temporarily) to run nested test cases	tree \| commitdiff
2001-10-14	evans1629	Updated build to use automake files created by Tim...	tree \| commitdiff
2001-10-13	evans1629	Changed BADBRANCH to avoid gcc warnings.	tree \| commitdiff
2001-10-09	evans1629	Cleaned up cpplib	tree \| commitdiff
2001-10-08	drl7x	Added loopHeuristics.c to replace forjunk.c	tree \| commitdiff
2001-10-08	drl7x	Removed src/Headers/local_constants.last from CVS because	tree \| commitdiff
2001-10-08	drl7x	Added a comment with standard header giving copyright...	tree \| commitdiff
2001-10-08	drl7x	Fixed Makefile to create bin directory.	tree \| commitdiff
2001-10-07	evans1629	string literal initialization sizes	tree \| commitdiff
2001-10-07	evans1629	Fixed handling of octal constants.	tree \| commitdiff
2001-10-06	evans1629	do..while control flow fix in exprNode.c	tree \| commitdiff
2001-10-06	evans1629	Fixes for 3.0.0.18:	tree \| commitdiff
2001-09-28	herbert	readd	tree \| commitdiff
2001-09-27	herbert	cpplib.c: added OS2 conditional after emtpy default...	tree \| commitdiff
2001-09-27	herbert	hopefully with crlfs now	tree \| commitdiff
2001-09-27	evans1629	Fixed problems with DOS file format.	tree \| commitdiff
2001-09-26	drl7x	Small additions to library	tree \| commitdiff
2001-09-26	herbert	Changes for the OS/2 port: cpplib.c (fixed cstring_repl...	tree \| commitdiff
2001-09-25	evans1629	Fixed unsignedcompare test. Removed diag for unclosed...	tree \| commitdiff
2001-09-25	drl7x	Added usleep to unix.h in library.	tree \| commitdiff
2001-09-24	drl7x	Updated library headers to include some missing functions.	tree \| commitdiff
2001-09-23	evans1629	Added fileTable tracking of open files, so they may...	tree \| commitdiff
2001-09-22	evans1629	OS/2 command line args fix provided by Herbert Martin...	tree \| commitdiff
2001-09-12	evans1629	* empty log message *	tree \| commitdiff
2001-09-05	drl7x	changed PLUS to BINARYOP_PLUS	tree \| commitdiff
2001-09-05	drl7x	* empty log message *	tree \| commitdiff
2001-08-27	evans	* empty log message *	tree \| commitdiff
2001-08-22	evans	* empty log message *	tree \| commitdiff
2001-08-20	evans	* empty log message *	tree \| commitdiff
2001-08-19	evans	* empty log message *	tree \| commitdiff
2001-08-15	drl7x	* empty log message *	tree \| commitdiff
2001-08-12	drl7x	Added klugdy support for malloc (sizeof type * expr...	tree \| commitdiff
2001-08-11	drl7x	* empty log message *	tree \| commitdiff
2001-08-11	drl7x	Fix bug in fileloc_compare which was causeing problem...	tree \| commitdiff
2001-08-08	drl7x	Made cosmetic improves to messages.	tree \| commitdiff
2001-08-01	evans	* empty log message *	tree \| commitdiff
2001-07-30	evans	* empty log message *	tree \| commitdiff
2001-07-30	drl7x	* empty log message *	tree \| commitdiff
2001-07-29	evans	* empty log message *	tree \| commitdiff
2001-07-28	evans	* empty log message *	tree \| commitdiff
2001-07-27	drl7x	* empty log message *	tree \| commitdiff
2001-07-27	drl7x	* empty log message *	tree \| commitdiff
2001-07-27	evans	* empty log message *	tree \| commitdiff
2001-07-26	drl7x	Fixed bug with things like char * c [] = {"dfd", "dfdf...	tree \| commitdiff
2001-07-25	drl7x	* empty log message *	tree \| commitdiff
2001-07-25	evans	* empty log message *	tree \| commitdiff
2001-07-25	evans	* empty log message *	tree \| commitdiff
2001-07-24	drl7x	Made make lint work. Although exprNode_doSwitchExpr...	tree \| commitdiff
2001-07-24	evans	* empty log message *	tree \| commitdiff
2001-07-24	evans	* empty log message *	tree \| commitdiff
2001-07-22	evans	* empty log message *	tree \| commitdiff
2001-07-21	evans	* empty log message *	tree \| commitdiff
2001-07-20	evans	* empty log message *	tree \| commitdiff
2001-07-18	evans	* empty log message *	tree \| commitdiff
2001-07-18	evans	* empty log message *	tree \| commitdiff
2001-07-16	drl7x	Don't generate constraints for sizeof expression.	tree \| commitdiff
2001-07-16	drl7x	Fixed bugs in the constant removal code for binary...	tree \| commitdiff
2001-07-13	evans	* empty log message *	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-12	evans	* empty log message *	tree \| commitdiff
2001-07-10	evans	* empty log message *	tree \| commitdiff
2001-07-09	evans	* empty log message *	tree \| commitdiff
2001-07-06	evans	* empty log message *	tree \| commitdiff
2001-07-06	drl7x	Added a patch so that buffer overflow checking is not...	tree \| commitdiff
2001-07-06	evans	* empty log message *	tree \| commitdiff
2001-07-06	evans	* empty log message *	tree \| commitdiff
2001-07-06	evans	* empty log message *	tree \| commitdiff
2001-07-06	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-05	drl7x	Added basic support for switch statements	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	* empty log message *	tree \| commitdiff
2001-07-05	evans	Dave's Updates	tree \| commitdiff
2001-07-04	drl7x	Fixed bug caused by free the null terminated stuff...	tree \| commitdiff
2001-07-03	dlaroche	Fixed Makefile	tree \| commitdiff
2001-07-03	dlaroche	added some files to repository	tree \| commitdiff
2001-07-03	dlaroche	Merged code tree with Dave Evans's version. Many chang...	tree \| commitdiff
2001-06-25	dlaroche	Fixed library dump support so that buffer constraint...	tree \| commitdiff
2001-06-19	dlaroche	Fixed make file so that pristine gets rid of more gener...	tree \| commitdiff
2001-06-19	dlaroche	Merged with Dave Evans's changes.	tree \| commitdiff
2001-06-18	dlaroche	Added check of user specified post conditions. postchecking	tree \| commitdiff
2001-06-18	dlaroche	Changed to used /\ and requires instead of bufferConstraint exportPreAlpha	tree \| commitdiff
2001-06-15	dlaroche	Runs on test suite wu-ftpd and bind without crashing...	tree \| commitdiff
2001-06-13	dlaroche	The code almost work.	tree \| commitdiff
2001-06-08	dlaroche	Lots of changes. Code is mostly annotated. Still...	tree \| commitdiff
next

git-cvsimport mirror of splint

RSS Atom

This page took 0.81864 seconds and 7 git commands to generate.