andersk Git - splint.git/history

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

2003-04-21	evans1629	Fixes for win32	blob \| commitdiff \| raw
2003-04-20	evans1629	Fixed inclusion problems with osd.h.	blob \| commitdiff \| raw \| diff to current
2003-04-16	evans1629	Added linux builtin type in inet.h to unix library.	blob \| commitdiff \| raw \| diff to current
2003-04-14	evans1629	Fixed all /@i...@/ tags (except 1).	blob \| commitdiff \| raw \| diff to current
2003-04-12	evans1629	Testing CVS setup. Changed src/Makefile.am to reflect...	blob \| commitdiff \| raw \| diff to current
2003-03-31	drl7x	Committing after merging Evan's changes.	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	fixed some /@i---@/ comments.	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	Fixed previously ignored splintme errors in constraintR...	blob \| commitdiff \| raw \| diff to current
2003-03-03	drl7x	Fixed some splintme errors.	blob \| commitdiff \| raw \| diff to current
2003-01-03	drl7x	Fixed fatal bug involving bounds checking of expression...	blob \| commitdiff \| raw \| diff to current
2002-12-20	drl7x	Added the flags likely-bounds, likely-bounds-write...	blob \| commitdiff \| raw \| diff to current
2002-12-18	drl7x	Added support for default buffer constraint annotations	blob \| commitdiff \| raw \| diff to current
2002-12-18	evans1629	Improved tracking of state change locations. Added...	blob \| commitdiff \| raw \| diff to current
2002-12-15	evans1629	ADded numabstract types.	blob \| commitdiff \| raw \| diff to current
2002-12-12	drl7x	Fixed configuration problem (hopefully).	blob \| commitdiff \| raw \| diff to current
2002-12-11	drl7x	Turned off type checking for bison generated files...	blob \| commitdiff \| raw \| diff to current
2002-12-08	drl7x	Fixed problem with make dist so that packages can be...	blob \| commitdiff \| raw \| diff to current
2002-12-08	drl7x	#if 0 the code in cscanner.l causing fatal bugs in...	blob \| commitdiff \| raw \| diff to current
2002-10-25	drl7x	Commented out segfault in new code.	blob \| commitdiff \| raw \| diff to current
2002-10-25	drl7x	Fixed bug in Makefile.am.	blob \| commitdiff \| raw \| diff to current
2002-10-25	drl7x	Fixed bug in makefile causing unnecessary remaking...	blob \| commitdiff \| raw \| diff to current
2002-09-07	evans1629	Committed my changes (but there are several splintme...	blob \| commitdiff \| raw \| diff to current
2002-07-08	evans1629	- library fixes:	blob \| commitdiff \| raw \| diff to current
2002-05-31	evans1629	Committed to enable merge.	blob \| commitdiff \| raw \| diff to current
2002-03-15	evans1629	Fixed bug in usymtab clearing derived sRefs when exitin...	blob \| commitdiff \| raw \| diff to current
2002-03-12	evans1629	Win32 problems	blob \| commitdiff \| raw \| diff to current
2002-03-11	evans1629	Temporarily set flags to splintme without warnings.	blob \| commitdiff \| raw \| diff to current
2002-03-02	evans1629	Fixed line numbering when multi-line macro parameters...	blob \| commitdiff \| raw \| diff to current
2002-03-01	drl7x	Modified the doc/Makefile.am so that the man page is...	blob \| commitdiff \| raw \| diff to current
2002-02-19	evans1629	Integrated Herbert Martin Dietze's changes for OS/2.	blob \| commitdiff \| raw \| diff to current
2002-02-11	drl7x	Put .c and .expect files for new test cases into the...	blob \| commitdiff \| raw \| diff to current
2002-02-05	evans1629	Relaxed grammar to allow null external declarations.	blob \| commitdiff \| raw \| diff to current
2002-01-17	drl7x	Fixed buffer overflow in cscanner.l	blob \| commitdiff \| raw \| diff to current
2002-01-17	evans1629	Fixed handling of array dimensions (bug reported by...	blob \| commitdiff \| raw \| diff to current
2002-01-14	drl7x	Added files to generate a binary package by doing make...	blob \| commitdiff \| raw \| diff to current
2002-01-10	drl7x	splint now tried to define a symbol based on the curren...	blob \| commitdiff \| raw \| diff to current
2002-01-09	drl7x	Added doc/Makefile.am to get make dist to work.	blob \| commitdiff \| raw \| diff to current
2002-01-08	evans1629	Fixed up for win32 building (winconfig.h required)	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-01-07	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2002-01-07	evans1629	Put manual in CVS	blob \| commitdiff \| raw \| diff to current
2002-01-06	evans1629	Renamed lclintMacros.nf splintMacros.nf	blob \| commitdiff \| raw \| diff to current
2002-01-06	evans1629	Cleaned up flags to generate manual help.	blob \| commitdiff \| raw \| diff to current
2002-01-03	evans1629	Fixed checking for shift expressions.	blob \| commitdiff \| raw \| diff to current
2002-01-02	evans1629	Fixed state clauses. Added obvious loop exec checking.	blob \| commitdiff \| raw \| diff to current
2001-12-29	evans1629	Renaming - LCLint => Splint	blob \| commitdiff \| raw \| diff to current
2001-12-19	drl7x	Modified configure.ac to new longer check for c++.	blob \| commitdiff \| raw \| diff to current
2001-12-06	drl7x	additional buffer checking annotations	blob \| commitdiff \| raw \| diff to current
2001-11-30	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-11-30	drl7x	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-11-29	drl7x	Added additonal files to DIST_EXTRA so that autoconf...	blob \| commitdiff \| raw \| diff to current
2001-11-29	drl7x	Work around for the MaxSet(c) >= sizeof c -1 simplifica...	blob \| commitdiff \| raw \| diff to current
2001-11-27	drl7x	Tried to fix some problems with the configuration system.	blob \| commitdiff \| raw \| diff to current
2001-10-17	drl7x	Made some additional changes to the makefile. Now...	blob \| commitdiff \| raw \| diff to current
2001-10-16	evans1629	Added doc/ directory	blob \| commitdiff \| raw \| diff to current
2001-10-14	evans1629	Fixed test suite (temporarily) to run nested test cases	blob \| commitdiff \| raw \| diff to current
2001-10-14	evans1629	Updated build to use automake files created by Tim...	blob \| commitdiff \| raw \| diff to current

git-cvsimport mirror of splint

RSS Atom

This page took 0.532821 seconds and 64 git commands to generate.