andersk Git - splint.git/search

]> andersk Git - splint.git/search

2003-03-03	drl7x	Fixed previously ignored warnings in constraintGeneration.c	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed previously ignored splintme warnings in loopHeuristics.c	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed splintme errors in constraint.c that had previously...	commit \| commitdiff \| tree
2003-03-03	drl7x	constraintExpr.c passes splintme without having to...	commit \| commitdiff \| tree
2003-03-03	drl7x	Fixed some splintme errors.	commit \| commitdiff \| tree
2003-03-02	drl7x	Updated copyrights	commit \| commitdiff \| tree
2003-03-02	drl7x	Updated the copyright on source code files.	commit \| commitdiff \| tree
2003-03-02	drl7x	Fixed data on readme.	commit \| commitdiff \| tree
2003-03-02	drl7x	Added sizeoftest/Makefile to distribution tar ball.	commit \| commitdiff \| tree
2003-03-01	drl7x	Changed 3.0.1.6 to 3.0.1.7 for /doc	commit \| commitdiff \| tree
2003-03-01	drl7x	Changed "3.0.1.6" to "3.0.1.7"	commit \| commitdiff \| tree
2003-02-28	drl7x	Got rid of [look into this ] messages in null.expect...	commit \| commitdiff \| tree
2003-02-28	drl7x	Updated the manual to reflect additions to the bounds...	commit \| commitdiff \| tree
2003-02-28	drl7x	Code passes splintme with no errors.	commit \| commitdiff \| tree
2003-02-28	drl7x	Added missing header to get rid of splintme errors.	commit \| commitdiff \| tree
2003-02-28	drl7x	Added additional files to the distribution tar ball.	commit \| commitdiff \| tree
2003-01-03	drl7x	Fixed fatal bug involving bounds checking of expressions...	commit \| commitdiff \| tree
2002-12-21	drl7x	* empty log message *	commit \| commitdiff \| tree
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
next

git-cvsimport mirror of splint

RSS Atom

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