fork-ledger.git -

	Commit message (Collapse)	Author	Age	Files	Lines
*	Wrap the call to acprep proof in a call to "time"	John Wiegley	2009-11-02	1	-1/+1
\|
*	In tools/proof, change into source directory	John Wiegley	2009-11-01	1	-0/+2
\|
*	Further refinements to tools/proof	John Wiegley	2009-11-01	1	-2/+11
\|
*	Added an --alert option to tools/proof	John Wiegley	2009-11-01	1	-1/+8
\|
*	Capture error code correctly in tools/proof	John Wiegley	2009-10-31	1	-3/+5
\|
*	Improvements to tools/proof	John Wiegley	2009-10-31	1	-5/+5
\|
*	Added tools/proof utility script	John Wiegley	2009-10-31	1	-0/+11
\|
*	Rewrote acprep in Python and improved the build	John Wiegley	2009-03-09	1	-69/+0
\|
*	Several improvements to how directories are chosen	John Wiegley	2009-03-08	1	-10/+12
\|
*	Modified the behavior of tools/proof	John Wiegley	2009-03-08	1	-21/+21
\| \| \| \| \|	It now uses a copy of the source tree, so that I can keep working while proof is running. It takes a while.
*	Don't run 'make fullcheck' for the gcov build	John Wiegley	2009-03-07	1	-4/+12
\|
*	In tools/proof, remove Products directories first	John Wiegley	2009-03-07	1	-0/+5
\|
*	Don't build a gprof version in tools/proof	John Wiegley	2009-03-04	1	-4/+3
\|
*	Refactored tools/proof	John Wiegley	2009-03-02	1	-54/+46
\|
*	Added a build step to tools/proof	John Wiegley	2009-02-28	1	-0/+6
\|
*	Fixes to tools/proof	John Wiegley	2009-02-25	1	-4/+52
\|
*	And more README updates	John Wiegley	2009-02-21	1	-1/+1
\|
*	Tools changes to build for multiple targets	John Wiegley	2009-02-21	1	-0/+9
	This makes it easier for me to build a version of ledger with optimizations, one for coverage analysis, one for profiling, etc.