andersk Git - splint.git/history

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

2003-09-11	herbert	Removed obsolete OS/2 test makefiles.	blob \| commitdiff \| raw
2003-08-13	evans1629	Fixed manual csvoverwrite.	blob \| commitdiff \| raw \| diff to current
2003-07-18	evans1629	Fixed problem with shadow parameters.	blob \| commitdiff \| raw \| diff to current
2003-06-10	evans1629	Made allocations involving sizeof work correctly (test...	blob \| commitdiff \| raw \| diff to current
2003-06-09	evans1629	Changes to fix malloc size problem.	blob \| commitdiff \| raw \| diff to current
2003-04-29	evans1629	Renamings to avoid conflicts with type names.	blob \| commitdiff \| raw \| diff to current
2003-04-22	evans1629	Fixes after removing -unrecogcomments flag for make...	blob \| commitdiff \| raw \| diff to current
2003-04-20	evans1629	Fixed inclusion problems with osd.h.	blob \| commitdiff \| raw \| diff to current
2003-04-20	evans1629	Added support for ISO C99 _Bool and stdbool bool/true...	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-03-06	drl7x	Fixed bug 672239 sizeof(array[0]) gives NULL derefenc...	blob \| commitdiff \| raw \| diff to current
2003-03-02	drl7x	Updated the copyright on source code files.	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	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	evans1629	Added support for +longint and +shortint and associated...	blob \| commitdiff \| raw \| diff to current
2002-12-12	evans1629	Cleaned up code problems reported by make splintme.	blob \| commitdiff \| raw \| diff to current
2002-12-04	evans1629	Committing my cosmetic code changes and fix of the...	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-09-05	drl7x	Fixed bug cause spurious bounds errors.	blob \| commitdiff \| raw \| diff to current
2002-05-31	evans1629	Committed to enable merge.	blob \| commitdiff \| raw \| diff to current
2002-04-28	evans1629	Fixed manual typo.	blob \| commitdiff \| raw \| diff to current
2002-03-25	evans1629	Fixed creation of temp files.	blob \| commitdiff \| raw \| diff to current
2002-03-17	evans1629	Added htmlfileformat flag.	blob \| commitdiff \| raw \| diff to current
2002-03-17	evans1629	Fixed problem with print format for +showalluses.	blob \| commitdiff \| raw \| diff to current
2002-03-16	evans1629	Fixed problem with resetting null state after error...	blob \| commitdiff \| raw \| diff to current
2002-03-13	evans1629	o Make lltok an abstract type, a pointer to structure...	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-05	drl7x	Fixed bug preventing +showconstraintlocation from being...	blob \| commitdiff \| raw \| diff to current
2002-02-04	drl7x	Fixed problem with handleing oldsytle function declarat...	blob \| commitdiff \| raw \| diff to current
2002-01-22	drl7x	Fixed bug in string initialization checking.	blob \| commitdiff \| raw \| diff to current
2002-01-18	drl7x	Added the flag warnsysfiles (default +) if this flag...	blob \| commitdiff \| raw \| diff to current
2002-01-09	evans1629	Moved doc/lclint.1 to doc/splint.1	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	Adding redundantconstraints flags. Set constraintor...	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-06	evans1629	Manual flags.	blob \| commitdiff \| raw \| diff to current
2002-01-05	evans1629	Generating flag manual; separated ARG_STRING into filen...	blob \| commitdiff \| raw \| diff to current
2002-01-04	evans1629	Added manual test cases.	blob \| commitdiff \| raw \| diff to current
2002-01-03	evans1629	Changed checking of complete descruction so +strictdest...	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-31	evans1629	Updated copyright date.	blob \| commitdiff \| raw \| diff to current
2001-12-31	evans1629	Fixed processing of unrecognized pre-processor directiv...	blob \| commitdiff \| raw \| diff to current
2001-12-30	evans1629	Fixed branch state bug with definitely null values...	blob \| commitdiff \| raw \| diff to current
2001-12-29	evans1629	Renaming - LCLint => Splint	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-07	evans1629	string literal initialization sizes	blob \| commitdiff \| raw \| diff to current
2001-10-07	evans1629	Fixed handling of octal constants.	blob \| commitdiff \| raw \| diff to current
2001-09-12	evans1629	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-27	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-08-22	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-29	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-27	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-24	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-21	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-18	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-12	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-12	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-06	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-06	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-05	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-05	evans	* empty log message *	blob \| commitdiff \| raw \| diff to current
2001-07-03	dlaroche	Merged code tree with Dave Evans's version. Many chang...	blob \| commitdiff \| raw \| diff to current
2001-06-13	dlaroche	The code almost work.	blob \| commitdiff \| raw \| diff to current
2001-05-04	drl7x	Added support for or constraints.	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	Readded files.	blob \| commitdiff \| raw \| diff to current
2001-03-01	drl7x	got rid of files in case directory.	blob \| commitdiff \| raw
2001-01-15	drl7x	Making changes to try to support loops.	blob \| commitdiff \| raw \| diff to current
2000-08-02	drl7x	Finshed basic merge. Still trying to get it through...	blob \| commitdiff \| raw \| diff to current
2000-06-13	drl7x	Initial revision	blob \| commitdiff \| raw \| diff to current

git-cvsimport mirror of splint

RSS Atom

This page took 0.798228 seconds and 83 git commands to generate.