John Wiegley
|
10755df8ae
|
Added an --alert option to tools/proof
|
2009-11-01 06:01:33 -05:00 |
|
John Wiegley
|
3497076e04
|
Capture error code correctly in tools/proof
|
2009-10-31 17:54:53 -04:00 |
|
John Wiegley
|
9cbc970558
|
Improvements to tools/proof
|
2009-10-31 06:03:26 -04:00 |
|
John Wiegley
|
0b5978ae3c
|
Added tools/proof utility script
|
2009-10-31 05:13:53 -04:00 |
|
John Wiegley
|
e0473e207b
|
Rewrote acprep in Python and improved the build
|
2009-03-09 21:51:02 -04:00 |
|
John Wiegley
|
7b2d75904c
|
Several improvements to how directories are chosen
|
2009-03-08 16:09:33 -04:00 |
|
John Wiegley
|
6f95dfa6be
|
Modified the behavior of tools/proof
It now uses a copy of the source tree, so that I can keep working while
proof is running. It takes a while.
|
2009-03-08 02:07:49 -04:00 |
|
John Wiegley
|
3cc2520a32
|
Don't run 'make fullcheck' for the gcov build
|
2009-03-07 22:34:19 -04:00 |
|
John Wiegley
|
dd12868500
|
In tools/proof, remove Products directories first
|
2009-03-07 22:30:39 -04:00 |
|
John Wiegley
|
32911da939
|
Don't build a gprof version in tools/proof
|
2009-03-04 14:06:38 -04:00 |
|
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 |
|