John Wiegley
|
5850d041b6
|
Improved Makefile rule for generating system.hh.gch
|
2010-03-05 22:14:13 -05:00 |
|
John Wiegley
|
26fffc375c
|
tools/push now uses -j16 for building opt
|
2009-11-30 16:23:49 -05:00 |
|
John Wiegley
|
5ff2b88690
|
Don't link libintl.a against the Python ledger.so
|
2009-11-24 00:59:40 -05:00 |
|
John Wiegley
|
9448bd6fa9
|
If tools/proof succeeds, move proof.log into /tmp
|
2009-11-15 05:50:55 -05:00 |
|
John Wiegley
|
41212cd4c1
|
Build the opt variant for uploading to FTP
|
2009-11-15 04:16:47 -05:00 |
|
John Wiegley
|
cc7d51f154
|
Untabified tools/configure.ac
|
2009-11-14 16:19:18 -05:00 |
|
John Wiegley
|
ac0fe8c248
|
Move .dmg files after uploading in tools/push
|
2009-11-14 03:12:09 -05:00 |
|
John Wiegley
|
55317174dd
|
Python support is now off by default
|
2009-11-13 01:48:02 -05:00 |
|
John Wiegley
|
c22b8457ef
|
Did away with the "finalizer" abstraction
This was from an earlier time, when it was intended to be used by
Python. But it's not needed anymore.
|
2009-11-11 18:29:21 -05:00 |
|
John Wiegley
|
a8bc4728fe
|
Restore the Doxygen documentation build
|
2009-11-11 18:02:12 -05:00 |
|
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 |
|