summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* Improved Makefile rule for generating system.hh.gchJohn Wiegley2010-03-051-0/+1
|
* tools/push now uses -j16 for building optJohn Wiegley2009-11-301-1/+1
|
* Don't link libintl.a against the Python ledger.soJohn Wiegley2009-11-241-1/+1
|
* If tools/proof succeeds, move proof.log into /tmpJohn Wiegley2009-11-151-0/+1
|
* Build the opt variant for uploading to FTPJohn Wiegley2009-11-151-1/+1
|
* Untabified tools/configure.acJohn Wiegley2009-11-141-70/+70
|
* Move .dmg files after uploading in tools/pushJohn Wiegley2009-11-141-0/+1
|
* Python support is now off by defaultJohn Wiegley2009-11-131-27/+40
|
* Did away with the "finalizer" abstractionJohn Wiegley2009-11-111-1/+0
| | | | | This was from an earlier time, when it was intended to be used by Python. But it's not needed anymore.
* 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
| | | | | This allows for correct searching of UTF-8 encoded strings, such as lower-case versions of Russian words to find mixed-case words.
* 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
| | | | This makes it more certain that people cloning from Git will use acprep.
* 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
| | | | | It now uses a copy of the source tree, so that I can keep working while proof is running. It takes a while.
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-06 11:18:41 +0000