andersk Git - splint.git/search

]> andersk Git - splint.git/search

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-14	drl7x	Committing to make sure that the ./configure works.	commit \| commitdiff \| tree
2002-12-12	drl7x	Fixed configuration problem (hopefully).	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 determine...	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-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-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 Zhang.	commit \| commitdiff \| tree
2002-09-16	drl7x	Removed .lh .lcs .lcd files in test directory from...	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-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-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-29	drl7x	Hacking Makefile to print a warning when test suite...	commit \| commitdiff \| tree
2002-03-12	drl7x	Fixed error in Makefile.am (/* */ was used for comment...	commit \| commitdiff \| tree
2002-03-01	drl7x	Modified the doc/Makefile.am so that the man page is...	commit \| commitdiff \| tree
2002-02-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-02-23	drl7x	Fixed bug with improper handling of string concatenation...	commit \| commitdiff \| tree
2002-02-18	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-02-14	drl7x	Fixed bug preventing the expression of a return statement...	commit \| commitdiff \| tree
2002-02-12	drl7x	Put instruction files from web site into CVS development...	commit \| commitdiff \| tree
2002-02-11	drl7x	Sym link install.html correctly to web site directory.	commit \| commitdiff \| tree
2002-02-11	drl7x	Put .c and .expect files for new test cases into the...	commit \| commitdiff \| tree
2002-02-05	drl7x	3.0.1.5 release.	commit \| commitdiff \| tree
2002-02-05	drl7x	Fixed automake related problems.	commit \| commitdiff \| tree
2002-02-05	drl7x	Fixed bug preventing +showconstraintlocation from being...	commit \| commitdiff \| tree
2002-02-04	drl7x	Fixed problem with handleing oldsytle function declarations.	commit \| commitdiff \| tree
2002-01-27	drl7x	Added test case for pproblem with typedefs and fixed...	commit \| commitdiff \| tree
2002-01-25	drl7x	Added new flag.	commit \| commitdiff \| tree
2002-01-25	drl7x	Fixed bug reproted by Jim Francis. Bug was triggered...	commit \| commitdiff \| tree
2002-01-22	drl7x	Fixed bug in string initialization checking.	commit \| commitdiff \| tree
2002-01-22	drl7x	Added test cases for stringliteral initalization checking	commit \| commitdiff \| tree
2002-01-19	drl7x	Hopefully fixed configuration program caused by running...	commit \| commitdiff \| tree
2002-01-18	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-01-18	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-01-18	drl7x	System file warning message now not printed if -systemdirerr...	commit \| commitdiff \| tree
2002-01-18	drl7x	Added the flag warnsysfiles (default +) if this flag...	commit \| commitdiff \| tree
2002-01-18	drl7x	Hopefully finially added bin/Makefile.am and bin/Makefile.in	commit \| commitdiff \| tree
2002-01-18	drl7x	Trying to add dummyfile to be bin to stay in the repository.\18	commit \| commitdiff \| tree
2002-01-18	drl7x	Trying to get Makefile in the repository.	commit \| commitdiff \| tree
2002-01-17	drl7x	Finished adding flags to the manual.	commit \| commitdiff \| tree
2002-01-17	drl7x	Added some additonal flag descriptions to the manual.	commit \| commitdiff \| tree
2002-01-17	drl7x	Fixed buffer overflow in cscanner.l	commit \| commitdiff \| tree
2002-01-15	drl7x	Replacing the directory preBuilt with bin	commit \| commitdiff \| tree
2002-01-14	drl7x	Makefiles for preBuilt this directory is intended to...	commit \| commitdiff \| tree
2002-01-14	drl7x	Added files so that mkae bindist will work on system...	commit \| commitdiff \| tree
2002-01-14	drl7x	Added files to generate a binary package by doing make bindist	commit \| commitdiff \| tree
2002-01-14	drl7x	Got gmake to work on test suit. (Changed the cleanout...	commit \| commitdiff \| tree
2002-01-10	drl7x	Patched bug in splint --help flags full	commit \| commitdiff \| tree
2002-01-10	drl7x	Put builtin -D flags for specific arcitectures.	commit \| commitdiff \| tree
2002-01-10	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-01-10	drl7x	splint now tried to define a symbol based on the current...	commit \| commitdiff \| tree
2002-01-09	drl7x	Added some flags to the manual.	commit \| commitdiff \| tree
2002-01-09	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-01-09	drl7x	Added doc/Makefile.am to get make dist to work.	commit \| commitdiff \| tree
2002-01-08	drl7x	Added annotation to fix lint warning.	commit \| commitdiff \| tree
2002-01-08	drl7x	Fixed the readme file based on the information on the web page.	commit \| commitdiff \| tree
2002-01-07	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-01-07	drl7x	* empty log message *	commit \| commitdiff \| tree
2002-01-07	drl7x	Adding redundantconstraints flags. Set constraintor...	commit \| commitdiff \| tree
2002-01-07	drl7x	Fixed problems in library headers.	commit \| commitdiff \| tree
2002-01-05	drl7x	Added test cases from the buffer checking chapter of the manual.	commit \| commitdiff \| tree
2001-12-19	drl7x	Modified configure.ac to new longer check for c++.	commit \| commitdiff \| tree
2001-12-06	drl7x	additional buffer checking annotations	commit \| commitdiff \| tree
2001-12-05	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-11-30	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-11-30	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-11-29	drl7x	Added additonal files to DIST_EXTRA so that autoconf...	commit \| commitdiff \| tree
2001-11-29	drl7x	Cahnged default LCLIMPORTDIR	commit \| commitdiff \| tree
2001-11-29	drl7x	Fixed to handled double requires clauses cleanly	commit \| commitdiff \| tree
2001-11-29	drl7x	Fixed double requires clauses in posix.h	commit \| commitdiff \| tree
2001-11-29	drl7x	Fixed help.expect	commit \| commitdiff \| tree
2001-11-29	drl7x	Took makefile out of repository.	commit \| commitdiff \| tree
2001-11-29	drl7x	Work around for the MaxSet(c) >= sizeof c -1 simplification.	commit \| commitdiff \| tree
2001-11-28	drl7x	Added additional tests for buffer overflow detection...	commit \| commitdiff \| tree
2001-11-27	drl7x	Took tests2.2a out of Makefile temporalily.	commit \| commitdiff \| tree
2001-11-27	drl7x	Tried to fix some problems with the configuration system.	commit \| commitdiff \| tree
2001-11-15	drl7x	Removed .out files from the repository because they...	commit \| commitdiff \| tree
2001-10-17	drl7x	Tried to fix more problmes with the Makefiles	commit \| commitdiff \| tree
2001-10-17	drl7x	Made some additional changes to the makefile. Now...	commit \| commitdiff \| tree
2001-10-17	drl7x	I'm trying to fix some of the problems with the Makefile.	commit \| commitdiff \| tree
2001-10-08	drl7x	Added loopHeuristics.c to replace forjunk.c	commit \| commitdiff \| tree
2001-10-08	drl7x	Removed src/Headers/local_constants.last from CVS because	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

This page took 0.084027 seconds and 3 git commands to generate.