andersk Git - splint.git/search

]> andersk Git - splint.git/search

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
2001-10-08	drl7x	Added a comment with standard header giving copyright...	commit \| commitdiff \| tree
2001-10-08	drl7x	Fixed Makefile to create bin directory.	commit \| commitdiff \| tree
2001-09-26	drl7x	Small additions to library	commit \| commitdiff \| tree
2001-09-25	drl7x	Added usleep to unix.h in library.	commit \| commitdiff \| tree
2001-09-24	drl7x	Updated library headers to include some missing functions.	commit \| commitdiff \| tree
2001-09-24	drl7x	Updated specifications in the unix library. Added...	commit \| commitdiff \| tree
2001-09-05	drl7x	changed PLUS to BINARYOP_PLUS	commit \| commitdiff \| tree
2001-09-05	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-15	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-12	drl7x	REmoved references to the full working directory of...	commit \| commitdiff \| tree
2001-08-12	drl7x	Added klugdy support for malloc (sizeof type * expr...	commit \| commitdiff \| tree
2001-08-12	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-11	drl7x	Fixed test to have correct sort order.	commit \| commitdiff \| tree
2001-08-11	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-08-11	drl7x	Fix bug in fileloc_compare which was causeing problem...	commit \| commitdiff \| tree
2001-08-08	drl7x	REmoved non-working test from make file and changed...	commit \| commitdiff \| tree
2001-08-08	drl7x	Made cosmetic improves to messages.	commit \| commitdiff \| tree
2001-07-30	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-27	drl7x	Editng test to reflect additional constraint information.	commit \| commitdiff \| tree
2001-07-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-27	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-26	drl7x	Fixed bug with things like char * c [] = {"dfd", "dfdf...	commit \| commitdiff \| tree
2001-07-25	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-24	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-24	drl7x	Made make lint work. Although exprNode_doSwitchExpr...	commit \| commitdiff \| tree
2001-07-16	drl7x	Don't generate constraints for sizeof expression.	commit \| commitdiff \| tree
2001-07-16	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-16	drl7x	Fixed bugs in the constant removal code for binary expressions.	commit \| commitdiff \| tree
2001-07-16	drl7x	Fixed bugs in the constant removal code for binary expressions.	commit \| commitdiff \| tree
2001-07-16	drl7x	made strncat use size_t	commit \| commitdiff \| tree
2001-07-06	drl7x	Added a patch so that buffer overflow checking is not...	commit \| commitdiff \| tree
2001-07-06	drl7x	Added a patch so that buffer overflow checking is not...	commit \| commitdiff \| tree
2001-07-05	drl7x	Added some additional tests fixed error in the maxset test	commit \| commitdiff \| tree
2001-07-05	drl7x	Added basic support for switch statements	commit \| commitdiff \| tree
2001-07-04	drl7x	* empty log message *	commit \| commitdiff \| tree
2001-07-04	drl7x	Fixed bug caused by free the null terminated stuff...	commit \| commitdiff \| tree
2001-05-31	drl7x	Updating for cert move	commit \| commitdiff \| tree
2001-05-31	drl7x	Updteing for cert move	commit \| commitdiff \| tree
2001-05-04	drl7x	Added support for or constraints.	commit \| commitdiff \| tree
2001-04-29	drl7x	Simple modification to tests.	commit \| commitdiff \| tree
2001-04-29	drl7x	Added (limited) support for implicit annotations.	commit \| commitdiff \| tree
next

git-cvsimport mirror of splint

RSS Atom

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