5 commits

Author	SHA1	Message	Date
John Wiegley	5d214e515f	Refactored tools/proof	2009-03-02 04:43:49 -04:00
John Wiegley	cf8a6cd061	Added a build step to tools/proof	2009-02-28 05:10:56 -04:00
John Wiegley	7d0491c5fe	Fixes to tools/proof	2009-02-25 20:31:42 -04:00
John Wiegley	6f6c0d722c	And more README updates	2009-02-21 21:08:28 -04:00
John Wiegley	3ab52e74b1	Tools changes to build for multiple targets ... This makes it easier for me to build a version of ledger with optimizations, one for coverage analysis, one for profiling, etc.	2009-02-21 16:45:19 -04:00