John Wiegley
1b1c7cd4ac
A few more CMake-related fixes
2012-05-20 15:23:52 -05:00
John Wiegley
3122182c48
Don't run the proof build against Clang for now
2012-05-07 01:55:52 -05:00
John Wiegley
fcd05632e0
Fixes to the proofing process
2012-04-27 15:48:00 -05:00
John Wiegley
1ad826c2bc
Proof using both GCC and Clang
2012-04-13 15:16:28 -05:00
John Wiegley
715568bdd4
Minor changes to tools/proof
2012-03-30 04:46:42 -05:00
John Wiegley
df11ecbbd7
Output date to proof log
2012-03-19 22:28:35 -05:00
John Wiegley
75603edeb4
Send myself e-mail after a successful proof build
2012-03-06 23:04:43 -06:00
John Wiegley
c8c2a17e28
Fixed invocation of lambda expressions
...
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)
2012-03-05 05:03:51 -06:00
John Wiegley
38c6953e10
Proof both the Python and non-Python variants
2012-03-02 02:00:26 -06:00
John Wiegley
f4feabaea1
Build Python support during proof builds
2012-03-02 01:49:23 -06:00
John Wiegley
1061cba97f
Use Clang to do proof builds
2012-03-02 01:37:49 -06:00
John Wiegley
5a201971a9
Added e-mail notifications to tools/proof
2012-02-24 03:23:04 -06:00
John Wiegley
4e8c9805bb
Replaced missing }
2012-02-19 16:08:41 -06:00
John Wiegley
409041aec6
Updated tools/proof
2012-02-19 16:07:21 -06:00
John Wiegley
7cc550fc22
Don't build doxygen docs in tools/proof
2012-02-17 16:25:41 -06:00
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
