andersk Git - splint.git/history

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

2003-04-28	drl7x	Fixed bug causing Splint is suggest using the +ignoresi...	tree \| commitdiff
2003-04-22	evans1629	Fixed overly agressive assertions (from checking splint...	tree \| commitdiff
2003-04-22	evans1629	Fixes after removing -unrecogcomments flag for make...	tree \| commitdiff
2003-04-21	drl7x	Commented out the context_destroyMod (); destroy line	tree \| commitdiff
2003-04-21	drl7x	Got gmake dist to work	tree \| commitdiff
2003-04-21	evans1629	Fixes for win32	tree \| commitdiff
2003-04-20	evans1629	Fixed inclusion problems with osd.h.	tree \| commitdiff
2003-04-20	evans1629	Making fixes for Microsoft Visual C++ compiler.	tree \| commitdiff
2003-04-20	evans1629	Added support for ISO C99 _Bool and stdbool bool/true...	tree \| commitdiff
2003-04-20	evans1629	Incorporated path for file inclusion in cpplib.c.	tree \| commitdiff
2003-04-16	evans1629	Added linux builtin type in inet.h to unix library.	tree \| commitdiff
2003-04-14	evans1629	Fixed all /@i...@/ tags (except 1).	tree \| commitdiff
2003-04-12	evans1629	Testing CVS setup. Changed src/Makefile.am to reflect...	tree \| commitdiff
2003-04-12	drl7x	Fixed /@i@/ warning in splintme	tree \| commitdiff
2003-04-11	drl7x	Fixed /@i@/ splintme errors.	tree \| commitdiff
2003-04-11	drl7x	Fixed /@i@/ warnings.	tree \| commitdiff
2003-04-11	drl7x	Surpressed spurious splintme error in osd.c	tree \| commitdiff
2003-04-11	drl7x	Cleaned up code in doMergeString	tree \| commitdiff
2003-04-11	drl7x	Fixed some /@i@/ comments in the code.	tree \| commitdiff
2003-04-07	drl7x	Fixed name checking errors.	tree \| commitdiff
2003-04-07	drl7x	Removed /bee:.../ comments.	tree \| commitdiff
2003-03-31	drl7x	Pushed back constraintResolve.c to the previous version.	tree \| commitdiff
2003-03-31	drl7x	Committing after merging Evan's changes.	tree \| commitdiff
2003-03-29	evans1629	* empty log message *	tree \| commitdiff
2003-03-28	drl7x	Fixed type error causing a seg fault.	tree \| commitdiff
2003-03-10	drl7x	Updated libary version number.	tree \| commitdiff
2003-03-07	drl7x	Fixed some splintme errors from the previous code change.	tree \| commitdiff
2003-03-07	drl7x	Fixed bug #697722 Assert error / global	tree \| commitdiff
2003-03-06	drl7x	Fixed bug 672239 sizeof(array[0]) gives NULL derefenc...	tree \| commitdiff
2003-03-03	drl7x	fixed some /@i---@/ comments.	tree \| commitdiff
2003-03-03	drl7x	Fixed previously ignored splintme errors in constraintR...	tree \| commitdiff
2003-03-03	drl7x	Fixed previously ignored warnings in constraintGeneration.c	tree \| commitdiff
2003-03-03	drl7x	Fixed previously ignored splintme warnings in loopHeuri...	tree \| commitdiff
2003-03-03	drl7x	Fixed splintme errors in constraint.c that had previous...	tree \| commitdiff
2003-03-03	drl7x	constraintExpr.c passes splintme without having to...	tree \| commitdiff
2003-03-03	drl7x	Fixed some splintme errors.	tree \| commitdiff
2003-03-02	drl7x	Updated copyrights	tree \| commitdiff
2003-03-02	drl7x	Updated the copyright on source code files.	tree \| commitdiff
2003-02-28	drl7x	Got rid of [look into this ] messages in null.expect...	tree \| commitdiff
2003-02-28	drl7x	Code passes splintme with no errors.	tree \| commitdiff
2003-02-28	drl7x	Added missing header to get rid of splintme errors.	tree \| commitdiff
2003-01-03	drl7x	Fixed fatal bug involving bounds checking of expression...	tree \| commitdiff
2002-12-20	drl7x	Added the flags likely-bounds, likely-bounds-write...	tree \| commitdiff
2002-12-18	drl7x	Added support for default buffer constraint annotations	tree \| commitdiff
2002-12-18	evans1629	Improved tracking of state change locations. Added...	tree \| commitdiff
2002-12-15	evans1629	ADded numabstract types.	tree \| commitdiff
2002-12-14	drl7x	Committing to make sure that the ./configure works.	tree \| commitdiff
2002-12-13	evans1629	Fixed parsing problem with multiple inclusions of alt...	tree \| commitdiff
2002-12-12	evans1629	Added code to support CSV output (-csv flag).	tree \| commitdiff
2002-12-12	evans1629	Added support for +longint and +shortint and associated...	tree \| commitdiff
2002-12-12	evans1629	Cleaned up code problems reported by make splintme.	tree \| commitdiff
2002-12-12	drl7x	Fixed configuration problem (hopefully).	tree \| commitdiff
2002-12-12	evans1629	Remove empty configure file. This should not be in CVS.	tree \| commitdiff
2002-12-11	drl7x	Turned off type checking for bison generated files...	tree \| commitdiff
2002-12-11	drl7x	Fixed fatal errors in constraint checking.	tree \| commitdiff
2002-12-10	drl7x	This file is updated. And is no longer used to determi...	tree \| commitdiff
2002-12-10	drl7x	Fixed assert failure involving multiple redefines of...	tree \| commitdiff
2002-12-08	drl7x	Fixed problem with make dist so that packages can be...	tree \| commitdiff
2002-12-08	drl7x	#if 0 the code in cscanner.l causing fatal bugs in...	tree \| commitdiff
2002-12-04	evans1629	Fixed but with multiple globals clauses reported by...	tree \| commitdiff
2002-12-04	evans1629	Committing my cosmetic code changes and fix of the...	tree \| commitdiff
2002-11-29	drl7x	Fixed bug in handling of sizeof	tree \| commitdiff
2002-11-12	herbert	Added new sources and test targets.	tree \| commitdiff
2002-11-11	drl7x	* empty log message *	tree \| commitdiff
2002-10-25	drl7x	Commented out segfault in new code.	tree \| commitdiff
2002-10-25	drl7x	Fixed bug in Makefile.am.	tree \| commitdiff
2002-10-25	drl7x	Fixed bug in makefile causing unnecessary remaking...	tree \| commitdiff
2002-10-21	drl7x	Fixed bug which would cause splint to crash if it was...	tree \| commitdiff
2002-10-14	drl7x	\a	tree \| commitdiff
2002-10-10	drl7x	Fixed bug in bounds checking code reported by Xiaolan...	tree \| commitdiff
2002-09-07	evans1629	Committed my changes (but there are several splintme...	tree \| commitdiff
2002-09-05	drl7x	Changed library version constant.\a	tree \| commitdiff
2002-09-05	drl7x	Fixed bug cause spurious bounds errors.	tree \| commitdiff
2002-07-27	drl7x	Fixed internal error that occured if user tried to...	tree \| commitdiff
2002-07-23	drl7x	Fixed internal bug that occured when dumping bounds...	tree \| commitdiff
2002-07-11	evans1629	Added pointers.c and pointers.h to CVS.	tree \| commitdiff
2002-07-08	evans1629	Fixed emptyret flag problem. ("emptyreturn" -> "emptyr...	tree \| commitdiff
2002-07-08	evans1629	- library fixes:	tree \| commitdiff
2002-07-05	evans1629	Added chararrylit test case.	tree \| commitdiff
2002-07-03	evans1629	Fixed pre-processing bug reported by Adam Clarke. ...	tree \| commitdiff
2002-07-01	drl7x	Apparently splint does not correctly handle the case...	tree \| commitdiff
2002-06-07	drl7x	Added back previosuly removed file lslinit.c to get...	tree \| commitdiff
2002-05-31	evans1629	Committed to enable merge.	tree \| commitdiff
2002-05-20	evans1629	Added splint.spec file contributed by Heiko Abraham	tree \| commitdiff
2002-04-28	evans1629	Fixed manual typo.	tree \| commitdiff
2002-04-12	herbert	os2/makeos2.cmd: also make in ../lib with `-o' option.	tree \| commitdiff
2002-03-30	evans1629	Fixed problem with comman line redefinitions (no filename).	tree \| commitdiff
2002-03-25	evans1629	Fixed creation of temp files.	tree \| commitdiff
2002-03-18	evans1629	Fixed anytype resolution.	tree \| commitdiff
2002-03-17	evans1629	Added llgrammar_gen2.h	tree \| commitdiff
2002-03-17	evans1629	Added signature_gen.h	tree \| commitdiff
2002-03-17	evans1629	Added llgrammar_gen.h	tree \| commitdiff
2002-03-17	evans1629	Added cgrammar_tokens.h	tree \| commitdiff
2002-03-17	evans1629	Added htmlfileformat flag.	tree \| commitdiff
2002-03-17	evans1629	Fixed internal error for stray type names in structure...	tree \| commitdiff
2002-03-17	evans1629	Fixed problem with unnamed unions within struct definit...	tree \| commitdiff
2002-03-17	evans1629	Fixed problem with print format for +showalluses.	tree \| commitdiff
2002-03-16	evans1629	Fixed problem with resetting null state after error...	tree \| commitdiff
2002-03-16	evans1629	Fixed problem with loop guards in loop test effects...	tree \| commitdiff
2002-03-15	evans1629	Fixed bug in usymtab clearing derived sRefs when exitin...	tree \| commitdiff
next

git-cvsimport mirror of splint

RSS Atom

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