andersk Git - splint.git/shortlog

]> andersk Git - splint.git/shortlog

2003-04-21	drl7x	Doing the commit so that files can be taged. splint-3_1_0	commit \| commitdiff \| tree
2003-04-21	drl7x	Fixed line numbering in faq.html	commit \| commitdiff \| tree
2003-04-21	drl7x	Commented out the context_destroyMod (); destroy line	commit \| commitdiff \| tree
2003-04-21	drl7x	Beautified the html code for the faq.	commit \| commitdiff \| tree
2003-04-21	drl7x	Indexed faq.html	commit \| commitdiff \| tree
2003-04-21	drl7x	Got gmake dist to work	commit \| commitdiff \| tree
2003-04-21	evans1629	Fixes for win32	commit \| commitdiff \| tree
2003-04-21	drl7x	Updated FAQ to match the sytle of web pages on splint.org.	commit \| commitdiff \| tree
2003-04-21	drl7x	Added the splint.org css sheet to the html version...	commit \| commitdiff \| tree
2003-04-20	drl7x	Removed LARCH_PATH unfound reference from help.expect	commit \| commitdiff \| tree
2003-04-20	evans1629	Fixed inclusion problems with osd.h.	commit \| commitdiff \| tree
2003-04-20	evans1629	Making fixes for Microsoft Visual C++ compiler.	commit \| commitdiff \| tree
2003-04-20	drl7x	Created html faq file to replace the faq.txt	commit \| commitdiff \| tree
2003-04-20	evans1629	Added support for ISO C99 _Bool and stdbool bool/true...	commit \| commitdiff \| tree
2003-04-20	evans1629	Incorporated path for file inclusion in cpplib.c.	commit \| commitdiff \| tree
2003-04-16	evans1629	Added linux builtin type in inet.h to unix library.	commit \| commitdiff \| tree
2003-04-14	evans1629	Fixed all /@i...@/ tags (except 1).	commit \| commitdiff \| tree
2003-04-12	evans1629	Testing CVS setup. Changed src/Makefile.am to reflect...	commit \| commitdiff \| tree
2003-04-12	drl7x	Fixed /@i@/ warning in splintme	commit \| commitdiff \| tree
2003-04-11	drl7x	Fixed /@i@/ splintme errors.	commit \| commitdiff \| tree
2003-04-11	drl7x	Fixed /@i@/ warnings.	commit \| commitdiff \| tree
2003-04-11	drl7x	Surpressed spurious splintme error in osd.c	commit \| commitdiff \| tree
2003-04-11	drl7x	Cleaned up code in doMergeString	commit \| commitdiff \| tree
2003-04-11	drl7x	Fixed some /@i@/ comments in the code.	commit \| commitdiff \| tree
2003-04-07	drl7x	Fixed name checking errors.	commit \| commitdiff \| tree
2003-04-07	drl7x	Removed /bee:.../ comments.	commit \| commitdiff \| tree
2003-03-31	drl7x	Committing Evans's update of man page to fix problems...	commit \| commitdiff \| tree
2003-03-31	drl7x	Pushed back constraintResolve.c to the previous version.	commit \| commitdiff \| tree
2003-03-31	drl7x	Committing after merging Evan's changes.	commit \| commitdiff \| tree
2003-03-29	evans1629	* empty log message *	commit \| commitdiff \| tree
2003-03-28	drl7x	Fixed type error causing a seg fault.	commit \| commitdiff \| tree
2003-03-24	drl7x	Added web version of the realloc document.	commit \| commitdiff \| tree
2003-03-24	drl7x	Created new html version of the manual by manually...	commit \| commitdiff \| tree
2003-03-17	drl7x	Added html version of manual. (This is the 7 Jan 2002...	commit \| commitdiff \| tree
2003-03-17	drl7x	Made a few quick edits to the manual before creating...	commit \| commitdiff \| tree
2003-03-10	drl7x	Updated libary version number.	commit \| commitdiff \| tree
2003-03-08	drl7x	Added the FAQ and a document on using realloc to CVS.	commit \| commitdiff \| tree
2003-03-07	drl7x	Fixed some splintme errors from the previous code change.	commit \| commitdiff \| tree
2003-03-07	drl7x	Fixed bug #697722 Assert error / global	commit \| commitdiff \| tree
2003-03-06	drl7x	Modified tests to account for bool being defined in...	commit \| commitdiff \| tree
2003-03-06	drl7x	Added support for the _Bool type	commit \| commitdiff \| tree
2003-03-06	drl7x	In response to [ 689702 ] Missing C99 __func__ predefin...	commit \| commitdiff \| tree
2003-03-06	drl7x	Fixed bug 672239 sizeof(array[0]) gives NULL derefenc...	commit \| commitdiff \| tree
2003-03-03	drl7x	fixed some /@i---@/ comments.	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed previously ignored splintme errors in constraintR...	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed previously ignored warnings in constraintGeneration.c	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed previously ignored splintme warnings in loopHeuri...	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed splintme errors in constraint.c that had previous...	commit \| commitdiff \| tree
2003-03-03	drl7x	constraintExpr.c passes splintme without having to...	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed some splintme errors.	commit \| commitdiff \| tree
2003-03-02	drl7x	Updated copyrights	commit \| commitdiff \| tree
2003-03-02	drl7x	Updated the copyright on source code files.	commit \| commitdiff \| tree
2003-03-02	drl7x	Fixed data on readme.	commit \| commitdiff \| tree
2003-03-02	drl7x	Added sizeoftest/Makefile to distribution tar ball.	commit \| commitdiff \| tree
2003-03-01	drl7x	Changed 3.0.1.6 to 3.0.1.7 for /doc	commit \| commitdiff \| tree
2003-03-01	drl7x	Changed "3.0.1.6" to "3.0.1.7"	commit \| commitdiff \| tree
2003-02-28	drl7x	Got rid of [look into this ] messages in null.expect...	commit \| commitdiff \| tree
2003-02-28	drl7x	Updated the manual to reflect additions to the bounds...	commit \| commitdiff \| tree
2003-02-28	drl7x	Code passes splintme with no errors.	commit \| commitdiff \| tree
2003-02-28	drl7x	Added missing header to get rid of splintme errors.	commit \| commitdiff \| tree
2003-02-28	drl7x	Added additional files to the distribution tar ball.	commit \| commitdiff \| tree
2003-01-03	drl7x	Fixed fatal bug involving bounds checking of expression...	commit \| commitdiff \| tree
2002-12-21	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-12-20	drl7x	Added the flags likely-bounds, likely-bounds-write...	commit \| commitdiff \| tree
2002-12-19	drl7x	Fixed sizeoftest test.	commit \| commitdiff \| tree
2002-12-18	drl7x	Added support for default buffer constraint annotations	commit \| commitdiff \| tree
2002-12-18	evans1629	Improved tracking of state change locations. Added...	commit \| commitdiff \| tree
2002-12-15	evans1629	ADded numabstract types.	commit \| commitdiff \| tree
2002-12-14	drl7x	Committing to make sure that the ./configure works.	commit \| commitdiff \| tree
2002-12-13	evans1629	Fixed parsing problem with multiple inclusions of alt...	commit \| commitdiff \| tree
2002-12-12	evans1629	Added code to support CSV output (-csv flag).	commit \| commitdiff \| tree
2002-12-12	evans1629	Added support for +longint and +shortint and associated...	commit \| commitdiff \| tree
2002-12-12	evans1629	Cleaned up code problems reported by make splintme.	commit \| commitdiff \| tree
2002-12-12	drl7x	Fixed configuration problem (hopefully).	commit \| commitdiff \| tree
2002-12-12	evans1629	Added sizesigns.c and sizesigns.expect. I can't actual...	commit \| commitdiff \| tree
2002-12-12	evans1629	Readded configure	commit \| commitdiff \| tree
2002-12-12	evans1629	Remove empty configure file. This should not be in CVS.	commit \| commitdiff \| tree
2002-12-11	drl7x	Turned off type checking for bison generated files...	commit \| commitdiff \| tree
2002-12-11	drl7x	Fixed fatal errors in constraint checking.	commit \| commitdiff \| tree
2002-12-10	drl7x	This file is updated. And is no longer used to determi...	commit \| commitdiff \| tree
2002-12-10	drl7x	Fixed assert failure involving multiple redefines of...	commit \| commitdiff \| tree
2002-12-08	drl7x	Fixed problem with make dist so that packages can be...	commit \| commitdiff \| tree
2002-12-08	drl7x	#if 0 the code in cscanner.l causing fatal bugs in...	commit \| commitdiff \| tree
2002-12-04	evans1629	Fixed but with multiple globals clauses reported by...	commit \| commitdiff \| tree
2002-12-04	evans1629	Committing my cosmetic code changes and fix of the...	commit \| commitdiff \| tree
2002-11-29	drl7x	Added test case for sizeof bug fix.	commit \| commitdiff \| tree
2002-11-29	drl7x	Fixed bug in handling of sizeof	commit \| commitdiff \| tree
2002-11-12	herbert	Added new sources and test targets.	commit \| commitdiff \| tree
2002-11-11	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-10-25	drl7x	Commented out segfault in new code.	commit \| commitdiff \| tree
2002-10-25	drl7x	Fixed bug in Makefile.am.	commit \| commitdiff \| tree
2002-10-25	drl7x	Fixed bug in makefile causing unnecessary remaking...	commit \| commitdiff \| tree
2002-10-21	drl7x	Fixed bug which would cause splint to crash if it was...	commit \| commitdiff \| tree
2002-10-14	drl7x	\a	commit \| commitdiff \| tree
2002-10-10	drl7x	Fixed bug in bounds checking code reported by Xiaolan...	commit \| commitdiff \| tree
2002-09-16	drl7x	Removed .lh .lcs .lcd files in test directory from...	commit \| commitdiff \| tree
2002-09-07	evans1629	Committed my changes (but there are several splintme...	commit \| commitdiff \| tree
2002-09-05	drl7x	Changed library version constant.\a	commit \| commitdiff \| tree
2002-09-05	drl7x	Fixed bug cause spurious bounds errors.	commit \| commitdiff \| tree
2002-07-27	drl7x	Fixed internal error that occured if user tried to...	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

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