John Wiegley
91e8378f04
Fixes to Python importing; removed "hello" precommand
2009-11-10 14:16:40 -05:00
John Wiegley
3f638d355c
In tools/push, run acprep upload from master
2009-11-10 03:55:36 -05:00
John Wiegley
8f0f6e59cc
Moved automatic acprep upload call to tools/push
2009-11-10 03:44:12 -05:00
John Wiegley
a779751fc7
query_t objects are now convertible to predicate_t
2009-11-10 02:43:52 -05:00
John Wiegley
35a2873186
Added acprep upload step if daily proofing succeeds
2009-11-09 17:16:45 -05:00
John Wiegley
2c80227339
Added basic foundation for XML reporting
2009-11-09 02:17:26 -05:00
John Wiegley
7411c74d6d
Redesigned the draft_t class
2009-11-09 02:06:08 -05:00
John Wiegley
c3535d06c8
Redesigned the expr_t, predicate_t, query_t classes
2009-11-09 02:06:06 -05:00
John Wiegley
c8641a6de6
Added support for Boost.Regex w/ ICU
...
This allows for correct searching of UTF-8 encoded strings, such as
lower-case versions of Russian words to find mixed-case words.
2009-11-07 08:34:13 -05:00
John Wiegley
1bdb9330e5
Simplified passing of scope objects in Python
2009-11-05 17:16:59 -05:00
John Wiegley
fbd660af20
Removed several unneeded Python interface files
2009-11-04 20:01:04 -05:00
John Wiegley
f6f8ef1ba6
Added Python interface for account_t
2009-11-03 08:53:33 -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
90c7298049
Renamed the DocTests to ManualTests
2009-11-02 01:58:53 -05:00
John Wiegley
95e08cc46f
Make the source directory available to all tests
2009-11-02 00:48:32 -05:00
John Wiegley
46a419a5da
Added DocTests to verify documentation examples
2009-11-01 21:18:09 -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
03d0580089
Added auto-commiting of TODO files to tools/push
2009-10-31 05:34:49 -04:00
John Wiegley
d13faed3ff
Added tools/push script
2009-10-31 05:31:49 -04:00
John Wiegley
0b5978ae3c
Added tools/proof utility script
2009-10-31 05:13:53 -04:00
John Wiegley
2149a8e773
Create a --cache option, for using a binary cache
2009-10-31 00:09:57 -04:00
John Wiegley
a3799eebdb
Moved autoconf-related files into tools
...
This makes it more certain that people cloning from Git will use acprep.
2009-10-30 18:38:09 -04:00
John Wiegley
92d1bbbe75
Don't run the pre-comment hook for the next branch
2009-10-25 23:11:30 -04:00
John Wiegley
6b2964d14e
Removed -j option from pre-comment example
2009-10-11 05:29:01 -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
2db263909b
Changed the handling of some options in myacprep
2009-03-08 02:07:46 -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
70b1c21603
make release-distcheck works again
2009-03-07 04:14:11 -04:00
John Wiegley
80c51bf0a5
Added call to TopGit's pre-commit hook in mine
2009-03-06 00:42:59 -04:00
John Wiegley
9a47298d81
Don't run autogen from acprep unless necessary
2009-03-04 14:14:59 -04:00
John Wiegley
32911da939
Don't build a gprof version in tools/proof
2009-03-04 14:06:38 -04:00
John Wiegley
1a1f11a683
In the pre-commit hook, run acprep, not myacprep
2009-03-04 04:35:37 -04:00
John Wiegley
c10c01e5a5
Removed tools/push from version control
2009-03-02 05:03:48 -04:00
John Wiegley
5d214e515f
Refactored tools/proof
2009-03-02 04:43:49 -04:00
John Wiegley
5afc4c3770
Reorganized some files in tools/ and test/
2009-02-28 06:18:21 -04:00
John Wiegley
4d632903c1
Added LedgerHarness.py, to simplify test creation
2009-02-28 05:37:49 -04:00
John Wiegley
cf8a6cd061
Added a build step to tools/proof
2009-02-28 05:10:56 -04:00
John Wiegley
403dde33f2
Add -j3 to the pre-commit hook's make invocation
2009-02-27 04:01:27 -04:00
John Wiegley
6b62be59fb
Added generate command, --seed, and GenerateTests
2009-02-27 03:58:43 -04:00
John Wiegley
3d4ff14995
Removed special case from pre-commit hook
2009-02-27 01:47:50 -04:00
John Wiegley
d58797e98c
The -B, -G, -V reports now show rounding amounts
...
This way, if the running total is off by a penny or two due to rounding
of one or more commodities in the account, the user will see it.
This commit also reorganizes the testing code a bit, which I did after
adding the ninth test series (ConfirmTests), to validate the new
rounding code.
2009-02-26 03:16:39 -04:00
John Wiegley
7d0491c5fe
Fixes to tools/proof
2009-02-25 20:31:42 -04:00
John Wiegley
838338e316
More fixes to tools/regtest
2009-02-25 01:41:23 -04:00
