summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* Did away with the "finalizer" abstractionJohn Wiegley2009-11-111-1/+0
* Restore the Doxygen documentation buildJohn Wiegley2009-11-111-1/+2
* Fixes to Python importing; removed "hello" precommandJohn Wiegley2009-11-101-3/+1
* In tools/push, run acprep upload from masterJohn Wiegley2009-11-101-0/+2
* Moved automatic acprep upload call to tools/pushJohn Wiegley2009-11-102-2/+1
* query_t objects are now convertible to predicate_tJohn Wiegley2009-11-101-0/+1
* Added acprep upload step if daily proofing succeedsJohn Wiegley2009-11-091-0/+2
* Added basic foundation for XML reportingJohn Wiegley2009-11-091-0/+2
* Redesigned the draft_t classJohn Wiegley2009-11-091-12/+12
* Redesigned the expr_t, predicate_t, query_t classesJohn Wiegley2009-11-091-1/+3
* Added support for Boost.Regex w/ ICUJohn Wiegley2009-11-071-0/+23
* Simplified passing of scope objects in PythonJohn Wiegley2009-11-051-2/+0
* Removed several unneeded Python interface filesJohn Wiegley2009-11-041-5/+0
* Added Python interface for account_tJohn Wiegley2009-11-031-0/+1
* Wrap the call to acprep proof in a call to "time"John Wiegley2009-11-021-1/+1
* Renamed the DocTests to ManualTestsJohn Wiegley2009-11-021-7/+7
* Make the source directory available to all testsJohn Wiegley2009-11-021-5/+5
* Added DocTests to verify documentation examplesJohn Wiegley2009-11-011-1/+11
* In tools/proof, change into source directoryJohn Wiegley2009-11-011-0/+2
* Further refinements to tools/proofJohn Wiegley2009-11-011-2/+11
* Added an --alert option to tools/proofJohn Wiegley2009-11-011-1/+8
* Capture error code correctly in tools/proofJohn Wiegley2009-10-311-3/+5
* Improvements to tools/proofJohn Wiegley2009-10-311-5/+5
* Added auto-commiting of TODO files to tools/pushJohn Wiegley2009-10-311-0/+4
* Added tools/push scriptJohn Wiegley2009-10-311-0/+7
* Added tools/proof utility scriptJohn Wiegley2009-10-311-0/+11
* Create a --cache option, for using a binary cacheJohn Wiegley2009-10-311-0/+2
* Moved autoconf-related files into toolsJohn Wiegley2009-10-303-0/+2400
* Don't run the pre-comment hook for the next branchJohn Wiegley2009-10-251-1/+2
* Removed -j option from pre-comment exampleJohn Wiegley2009-10-111-1/+1
* Rewrote acprep in Python and improved the buildJohn Wiegley2009-03-095-172/+11
* Several improvements to how directories are chosenJohn Wiegley2009-03-085-54/+60
* Modified the behavior of tools/proofJohn Wiegley2009-03-081-21/+21
* Changed the handling of some options in myacprepJohn Wiegley2009-03-081-4/+14
* Don't run 'make fullcheck' for the gcov buildJohn Wiegley2009-03-071-4/+12
* In tools/proof, remove Products directories firstJohn Wiegley2009-03-071-0/+5
* make release-distcheck works againJohn Wiegley2009-03-072-1491/+7
* Added call to TopGit's pre-commit hook in mineJohn Wiegley2009-03-061-0/+2
* Don't run autogen from acprep unless necessaryJohn Wiegley2009-03-041-4/+3
* Don't build a gprof version in tools/proofJohn Wiegley2009-03-041-4/+3
* In the pre-commit hook, run acprep, not myacprepJohn Wiegley2009-03-041-14/+13
* Removed tools/push from version controlJohn Wiegley2009-03-021-11/+0
* Refactored tools/proofJohn Wiegley2009-03-021-54/+46
* Reorganized some files in tools/ and test/John Wiegley2009-02-289-330/+1491
* Added LedgerHarness.py, to simplify test creationJohn Wiegley2009-02-281-0/+6
* Added a build step to tools/proofJohn Wiegley2009-02-281-0/+6
* Add -j3 to the pre-commit hook's make invocationJohn Wiegley2009-02-271-1/+1
* Added generate command, --seed, and GenerateTestsJohn Wiegley2009-02-271-0/+11
* Removed special case from pre-commit hookJohn Wiegley2009-02-271-4/+0
* The -B, -G, -V reports now show rounding amountsJohn Wiegley2009-02-266-6144/+0
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-04 09:45:15 +0000