summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
...
* Add experimental support for select queriesJohn Wiegley2012-03-131-0/+2
* Don't do fullcheck with --gmalloc anymoreJohn Wiegley2012-03-091-4/+4
* Removed unused file series.hJohn Wiegley2012-03-071-1/+0
* Send myself e-mail after a successful proof buildJohn Wiegley2012-03-061-4/+2
* Add support for valuation expressions on commoditiesJohn Wiegley2012-03-051-29/+12
* Switched to using Boost.Graph for commodity pricingJohn Wiegley2012-03-051-0/+2
* Fixed invocation of lambda expressionsJohn Wiegley2012-03-051-2/+2
* Proof both the Python and non-Python variantsJohn Wiegley2012-03-021-2/+6
* Build Python support during proof buildsJohn Wiegley2012-03-021-1/+1
* Use Clang to do proof buildsJohn Wiegley2012-03-021-1/+1
* Makefile fixJohn Wiegley2012-03-011-1/+1
* Added a new 'python' directiveJohn Wiegley2012-03-011-5/+11
* Started writing Python unit testsJohn Wiegley2012-03-011-0/+1
* Added skeletons for Python unit testsJohn Wiegley2012-02-291-2/+2
* Added e-mail notifications to tools/proofJohn Wiegley2012-02-241-1/+12
* Replaced missing }John Wiegley2012-02-191-1/+1
* Updated tools/proofJohn Wiegley2012-02-191-28/+29
* Don't build doxygen docs in tools/proofJohn Wiegley2012-02-171-1/+4
* Moved some files into their right locationsJohn Wiegley2012-02-103-0/+13
* Added tools/genuuidJohn Wiegley2011-10-111-0/+28
* Cleanup whitespaceJohn Wiegley2011-08-181-2/+2
* Added expr_series_t type, to support chained exprsJohn Wiegley2011-07-171-0/+1
* Run proof build nice'dJohn Wiegley2011-03-301-1/+2
* Comment out running of tests that don't existJohn Wiegley2011-03-291-4/+4
* Use g++ 4.6 by default locallyJohn Wiegley2011-03-281-1/+1
* Define BOOST_IOSTREAMS_USE_DEPRECATEDJohn Wiegley2011-02-041-1/+2
* Use Boost.Test instead of CppUnitJohn Wiegley2011-02-043-58/+31
* New command: org, for displaying Org-mode tablesJohn Wiegley2010-12-221-0/+2
* Moved up to Boost 1.44John Wiegley2010-08-241-2/+8
* Remove use of --enable-cache in tools/pushJohn Wiegley2010-06-231-1/+1
* Fixed an incorrect path in tools/proofJohn Wiegley2010-06-211-2/+2
* Only run the CheckTests if DEBUG mode is enabledJohn Wiegley2010-06-201-1/+5
* Improvements to tools/speed-test.shJohn Wiegley2010-06-171-6/+4
* Ensure that all options are tested and documentedJohn Wiegley2010-06-151-1/+8
* Extended proof/push to upload tarballs/gcovJohn Wiegley2010-06-152-8/+32
* Corrected the 'report' rule in Makefile.amJohn Wiegley2010-06-151-3/+3
* Version information is now based on version.m4John Wiegley2010-06-152-7/+6
* Tests run in parallel with using acprep -jX makeJohn Wiegley2010-06-151-4/+4
* Moved temps.cc into libdataJohn Wiegley2010-06-141-2/+2
* Created tools/speed-test.sh for speed testingJohn Wiegley2010-06-131-0/+18
* The --cache option is now officially deprecatedJohn Wiegley2010-06-131-30/+31
* Completely reworked argument passing in expressionsJohn Wiegley2010-06-131-2/+0
* Further tweaks to tools/pushJohn Wiegley2010-06-131-2/+3
* Moved value.cc into libexprJohn Wiegley2010-06-131-3/+3
* Add support for typed metadataJohn Wiegley2010-06-121-1/+1
* Minor whitespace fixJohn Wiegley2010-06-121-2/+2
* Added --enable-cache, --enable-doxygen to acprepJohn Wiegley2010-06-123-34/+45
* Minor corrections to tools/pre-commitJohn Wiegley2010-06-121-7/+11
* Untabified all source filesJohn Wiegley2010-06-112-7/+7
* Run GenerateTests for 10,000 iterations in fullcheckJohn Wiegley2010-06-101-5/+6
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-29 19:52:40 +0000