andersk Git - splint.git/history

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

2010-01-29	bpringlemeir	noexpand always false. master origin	tree \| commitdiff
2010-01-29	bpringlemeir	Fix debug	tree \| commitdiff
2010-01-28	bpringlemeir	Convert some llassert() to llassertfatal(), as we shoul...	tree \| commitdiff
2009-11-04	bpringlemeir	Remove unused cpplib_createDefinition.	tree \| commitdiff
2009-10-25	bpringlemeir	Add more cvsignore files.	tree \| commitdiff
2009-09-30	bpringlemeir	Changed makefile to include line information in generat...	tree \| commitdiff
2009-09-30	bpringlemeir	Add an ignore file for generated files.	tree \| commitdiff
2009-09-09	bpringlemeir	Fix tracker issue 1837229.	tree \| commitdiff
2009-09-08	bpringlemeir	Fix bit rot of DPRINTF calls.	tree \| commitdiff
2009-09-05	bpringlemeir	Fix DPRINTF bit rot.	tree \| commitdiff
2008-08-07	bpringlemeir	Allow compile on apple platforms. osd.c	tree \| commitdiff
2008-02-03	bpringlemeir	Removed if statement with constant results	tree \| commitdiff
2007-08-10	herbert	Fixed the OS/2 specific files for the latest release.	tree \| commitdiff
2007-07-13	evans1629	* empty log message *	tree \| commitdiff
2007-07-13	evans1629	Updated expected output for help.expect to include...	tree \| commitdiff
2004-07-31	evans1629	Fixed problem with NULL being changed.	tree \| commitdiff
2004-07-27	evans1629	Fixed -help <mode> bug.	tree \| commitdiff
2004-05-21	evans1629	Added va_copy to standard.h.	tree \| commitdiff
2004-05-18	evans1629	Fixed problem with assertion checking for negative...	tree \| commitdiff
2004-01-12	evans1629	Added support for omitted if clauses in conditionals...	tree \| commitdiff
2003-12-08	drl7x	Fixed off by one bug involving arrays initialized with...	tree \| commitdiff
2003-12-08	drl7x	Committing to update configuration scripts.	tree \| commitdiff
2003-12-07	drl7x	Fixed syntax error in file.	tree \| commitdiff
2003-11-05	evans1629	Added realrelatecompare flag.	tree \| commitdiff
2003-11-02	evans1629	Fixed localtime/gmtime null anntation.	tree \| commitdiff
2003-11-02	evans1629	* empty log message *	tree \| commitdiff
2003-10-28	evans1629	Fixed internal bug reporting for redefinition of __func__	tree \| commitdiff
2003-10-27	evans1629	Fixed line counting for #pragma's.	tree \| commitdiff
2003-09-18	evans1629	Fixed Win32 files closed bug.	tree \| commitdiff
2003-09-16	evans1629	Fixed processing of multi-dimensional arrays.	tree \| commitdiff
2003-09-11	herbert	Removed obsolete OS/2 test makefiles.	tree \| commitdiff
2003-08-23	evans1629	Fixed \ line parsing.	tree \| commitdiff
2003-08-13	evans1629	Fixed manual csvoverwrite.	tree \| commitdiff
2003-08-13	evans1629	Fixed scanf %x problem.	tree \| commitdiff
2003-07-18	evans1629	Fixed problem with shadow parameters.	tree \| commitdiff
2003-07-10	evans1629	Fixed problem with global struct assignments.	tree \| commitdiff
2003-06-10	evans1629	Made allocations involving sizeof work correctly (test...	tree \| commitdiff
2003-06-09	evans1629	Changes to fix malloc size problem.	tree \| commitdiff
2003-06-07	evans1629	Fixed problem with russian characters.	tree \| commitdiff
2003-04-29	evans1629	Renamings to avoid conflicts with type names.	tree \| commitdiff
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
next

git-cvsimport mirror of splint

RSS Atom

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