John Wiegley
1820f12ef1
Run proof build nice'd
2011-03-30 14:50:18 -04:00
John Wiegley
c65f98fadc
Use g++ 4.6 by default locally
2011-03-28 01:52:09 -04:00
John Wiegley
b514b34120
Fixed an incorrect path in tools/proof
2010-06-21 12:02:43 -04:00
John Wiegley
aa55e5ede2
Extended proof/push to upload tarballs/gcov
2010-06-15 16:45:50 -04:00
John Wiegley
b1b4e2aadf
Add support for typed metadata
...
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'
2010-06-12 15:43:00 -04:00
John Wiegley
7e118f4ad0
Added --enable-cache, --enable-doxygen to acprep
2010-06-12 00:50:53 -04:00
John Wiegley
dea2aed0b5
Untabified all source files
2010-06-11 17:02:25 -04:00
John Wiegley
6ceda8320f
Added acprep option --universal, now off by default
2010-06-02 18:41:57 -04:00
John Wiegley
9448bd6fa9
If tools/proof succeeds, move proof.log into /tmp
2009-11-15 05:50:55 -05:00
John Wiegley
d6790072ef
Wrap the call to acprep proof in a call to "time"
2009-11-02 17:34:59 -05:00
John Wiegley
4fcbef3b0c
In tools/proof, change into source directory
2009-11-01 16:25:15 -05:00
John Wiegley
29c43c8d55
Further refinements to tools/proof
2009-11-01 06:52:54 -05:00
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
