andersk Git - splint.git/history

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

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
2001-06-06	dlaroche	Removed the unused data type environmentTable.	tree \| commitdiff
2001-06-06	dlaroche	EXtensive code clean up. Almost passes LCLint.	tree \| commitdiff
2001-06-05	dlaroche	updating to make tree consistent for start at cert	tree \| commitdiff
2001-05-31	drl7x	Updating for cert move	tree \| commitdiff
2001-05-31	drl7x	Updteing for cert move	tree \| commitdiff
2001-05-04	drl7x	Added support for or constraints.	tree \| commitdiff
2001-04-29	drl7x	Added (limited) support for implicit annotations.	tree \| commitdiff
2001-03-03	drl7x	Run LCLint on the code on cleaned things up a like.	tree \| commitdiff
2001-03-02	drl7x	* empty log message *	tree \| commitdiff
2001-03-02	drl7x	Added Makefile cvsWorks0302_2001	tree \| commitdiff
2001-03-02	drl7x	* empty log message *	tree \| commitdiff
2001-03-02	drl7x	* empty log message *	tree \| commitdiff
2001-03-02	drl7x	* empty log message *	tree \| commitdiff
2001-03-02	drl7x	Added files	tree \| commitdiff
2001-03-02	drl7x	Code seems to work...	tree \| commitdiff
2001-03-01	drl7x	* empty log message *	tree \| commitdiff
2001-03-01	drl7x	Readded files.	tree \| commitdiff
2001-03-01	drl7x	Added files	tree \| commitdiff
2001-03-01	drl7x	Added header files.	tree \| commitdiff
2001-03-01	drl7x	got rid of files in case directory.	tree \| commitdiff
2001-03-01	drl7x	commitng to fix cvs archive. Code works with gcc272...	tree \| commitdiff
2001-01-18	drl7x	Added basic support for simple loops.	tree \| commitdiff
2001-01-15	drl7x	Making changes to try to support loops.	tree \| commitdiff
2000-12-23	drl7x	Prewinter break editing commit. prewinterbreak	tree \| commitdiff
next

git-cvsimport mirror of splint

RSS Atom

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