andersk Git - splint.git/shortlog

]> andersk Git - splint.git/shortlog

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
2002-07-23	drl7x	Fixed internal bug that occured when dumping bounds...	commit \| commitdiff \| tree
2002-07-11	evans1629	Added pointers.c and pointers.h to CVS.	commit \| commitdiff \| tree
2002-07-08	evans1629	Fixed emptyret flag problem. ("emptyreturn" -> "emptyr...	commit \| commitdiff \| tree
2002-07-08	evans1629	- library fixes:	commit \| commitdiff \| tree
2002-07-05	evans1629	Update test results.	commit \| commitdiff \| tree
2002-07-05	evans1629	Added chararrylit test case.	commit \| commitdiff \| tree
2002-07-03	evans1629	Fixed pre-processing bug reported by Adam Clarke. ...	commit \| commitdiff \| tree
2002-07-02	evans1629	Fixed annotations on struct iovec and struct msghdr...	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-05-31	evans1629	Committed to enable merge.	commit \| commitdiff \| tree
2002-05-20	evans1629	Added splint.spec file contributed by Heiko Abraham	commit \| commitdiff \| tree
2002-04-28	evans1629	Fixed manual typo.	commit \| commitdiff \| tree
2002-04-13	herbert	test/Makefile.os2: merged in changes from 3.0.1.6 to...	commit \| commitdiff \| tree
2002-04-12	herbert	stringliteral fixed	commit \| commitdiff \| tree
2002-04-12	herbert	os2/makeos2.cmd: also make in ../lib with `-o' option.	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-30	evans1629	Fixed problem with comman line redefinitions (no filename).	commit \| commitdiff \| tree
2002-03-29	drl7x	Hacking Makefile to print a warning when test suite...	commit \| commitdiff \| tree
2002-03-25	evans1629	Testing update message.	commit \| commitdiff \| tree
2002-03-25	evans1629	Fixed creation of temp files.	commit \| commitdiff \| tree
2002-03-18	evans1629	Fixed anytype resolution.	commit \| commitdiff \| tree
2002-03-17	evans1629	Removed unexport's from makefile. They don't seem...	commit \| commitdiff \| tree
2002-03-17	evans1629	Added llgrammar_gen2.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added signature_gen.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added llgrammar_gen.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added cgrammar_tokens.h	commit \| commitdiff \| tree
2002-03-17	evans1629	Added htmlfileformat flag.	commit \| commitdiff \| tree
2002-03-17	evans1629	Fixed internal error for stray type names in structure...	commit \| commitdiff \| tree
2002-03-17	evans1629	Fixed problem with unnamed unions within struct definit...	commit \| commitdiff \| tree
2002-03-17	evans1629	Fixed problem with print format for +showalluses.	commit \| commitdiff \| tree
2002-03-16	evans1629	Fixed problem with resetting null state after error...	commit \| commitdiff \| tree
2002-03-16	evans1629	Fixed problem with loop guards in loop test effects...	commit \| commitdiff \| tree
2002-03-15	evans1629	Fixed bug in usymtab clearing derived sRefs when exitin...	commit \| commitdiff \| tree
2002-03-13	evans1629	o Make lltok an abstract type, a pointer to structure...	commit \| commitdiff \| tree
2002-03-12	evans1629	Win32 problems	commit \| commitdiff \| tree
2002-03-12	drl7x	Fixed error in Makefile.am (/* */ was used for comment...	commit \| commitdiff \| tree
2002-03-11	evans1629	Temporarily set flags to splintme without warnings.	commit \| commitdiff \| tree
2002-03-02	evans1629	Fixed line numbering when multi-line macro parameters...	commit \| commitdiff \| tree
2002-03-01	drl7x	Modified the doc/Makefile.am so that the man page is...	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

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