fork-ledger.git -

	Commit message (Collapse)	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
\| \| \| \| \| \| \| \| \|	foo = x, y, z -> print(x, y, z) foo(1, 2, 3) However, this still does not work: (x, y, z -> print(x, y, z))(1, 2, 3)
*	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
\| \| \| \| \| \| \| \| \| \|	The metadata construct 'Key: Value' is now just a special case for 'Key:: "Value"'. Another after a :: in metadata setting is parsed as a full value expression and typed as such. For example: ; Key:: $400 + $500 ledger -l 'tag("Key") < $1000'
*	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
\| \| \| \| \|	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.