andersk Git - splint.git/search

]> andersk Git - splint.git/search

2003-12-08	drl7x	Fixed off by one bug involving arrays initialized with...	commit \| commitdiff \| tree
2003-12-08	drl7x	Committing to update configuration scripts.	commit \| commitdiff \| tree
2003-12-07	drl7x	Fixed syntax error in file.	commit \| commitdiff \| tree
2003-05-07	drl7x	Committing before tagging release.	commit \| commitdiff \| tree
2003-04-29	drl7x	Updated index in manual.	commit \| commitdiff \| tree
2003-04-28	drl7x	Added instruction for the Mac OSX build.	commit \| commitdiff \| tree
2003-04-28	drl7x	Got rid of outdated mailing list information.	commit \| commitdiff \| tree
2003-04-28	drl7x	Made some quick updates to the html version of the manual.	commit \| commitdiff \| tree
2003-04-28	drl7x	Changed the version from 3.1.1 to 3.1.0	commit \| commitdiff \| tree
2003-04-28	drl7x	Added the manual pdf to CVS.	commit \| commitdiff \| tree
2003-04-28	drl7x	Fixed bug causing Splint is suggest using the +ignoresigns...	commit \| commitdiff \| tree
2003-04-27	drl7x	Updated the manual.	commit \| commitdiff \| tree
2003-04-27	drl7x	Updated html and word versions of the manual	commit \| commitdiff \| tree
2003-04-23	drl7x	Answered some of these questions in more detail.	commit \| commitdiff \| tree
2003-04-21	drl7x	Doing the commit so that files can be taged.	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	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 of the faq.	commit \| commitdiff \| tree
2003-04-20	drl7x	Removed LARCH_PATH unfound reference from help.expect	commit \| commitdiff \| tree
2003-04-20	drl7x	Created html faq file to replace the faq.txt	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-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 version.)	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__ predefined...	commit \| commitdiff \| tree
2003-03-06	drl7x	Fixed bug 672239 sizeof(array[0]) gives NULL derefence...	commit \| commitdiff \| tree
2003-03-03	drl7x	fixed some /@i---@/ comments.	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed previously ignored splintme errors in constraintResolve.c	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 loopHeuristics.c	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed splintme errors in constraint.c that had previously...	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 expressions...	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-14	drl7x	Committing to make sure that the ./configure works.	commit \| commitdiff \| tree
2002-12-12	drl7x	Fixed configuration problem (hopefully).	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 determine...	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-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-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 Zhang.	commit \| commitdiff \| tree
2002-09-16	drl7x	Removed .lh .lcs .lcd files in test directory from...	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
2002-07-23	drl7x	Fixed internal bug that occured when dumping bounds...	commit \| commitdiff \| tree
2002-07-01	drl7x	Apparently splint does not correctly handle the case...	commit \| commitdiff \| tree
2002-06-25	drl7x	Fixed unix.h so splint could parse it so that splint...	commit \| commitdiff \| tree
2002-06-07	drl7x	Added back previosuly removed file lslinit.c to get...	commit \| commitdiff \| tree
2002-04-12	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-04-12	drl7x	Meaningless file added to see if committs also affect...	commit \| commitdiff \| tree
2002-03-29	drl7x	Hacking Makefile to print a warning when test suite...	commit \| commitdiff \| tree
2002-03-12	drl7x	Fixed error in Makefile.am (/* */ was used for comment...	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

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