fork-ledger.git -

	Commit message (Expand)	Author	Age	Files	Lines
*	A few more CMake-related fixes	John Wiegley	2012-05-20	1	-13/+13
*	Don't run the proof build against Clang for now	John Wiegley	2012-05-07	1	-10/+10
*	Fixes to the proofing process	John Wiegley	2012-04-27	1	-2/+2
*	Proof using both GCC and Clang	John Wiegley	2012-04-13	1	-1/+8
*	Minor changes to tools/proof	John Wiegley	2012-03-30	1	-4/+3
*	Output date to proof log	John Wiegley	2012-03-19	1	-1/+3
*	Send myself e-mail after a successful proof build	John Wiegley	2012-03-06	1	-4/+2
*	Fixed invocation of lambda expressions	John Wiegley	2012-03-05	1	-2/+2
*	Proof both the Python and non-Python variants	John Wiegley	2012-03-02	1	-2/+6
*	Build Python support during proof builds	John Wiegley	2012-03-02	1	-1/+1
*	Use Clang to do proof builds	John Wiegley	2012-03-02	1	-1/+1
*	Added e-mail notifications to tools/proof	John Wiegley	2012-02-24	1	-1/+12
*	Replaced missing }	John Wiegley	2012-02-19	1	-1/+1
*	Updated tools/proof	John Wiegley	2012-02-19	1	-28/+29
*	Don't build doxygen docs in tools/proof	John Wiegley	2012-02-17	1	-1/+4
*	Run proof build nice'd	John Wiegley	2011-03-30	1	-1/+2
*	Use g++ 4.6 by default locally	John Wiegley	2011-03-28	1	-1/+1
*	Fixed an incorrect path in tools/proof	John Wiegley	2010-06-21	1	-2/+2
*	Extended proof/push to upload tarballs/gcov	John Wiegley	2010-06-15	1	-3/+6
*	Add support for typed metadata	John Wiegley	2010-06-12	1	-1/+1
*	Added --enable-cache, --enable-doxygen to acprep	John Wiegley	2010-06-12	1	-1/+2
*	Untabified all source files	John Wiegley	2010-06-11	1	-3/+3
*	Added acprep option --universal, now off by default	John Wiegley	2010-06-02	1	-1/+2
*	If tools/proof succeeds, move proof.log into /tmp	John Wiegley	2009-11-15	1	-0/+1
*	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
*	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