summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)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
| | | | | | | | | foo = x, y, z -> print(x, y, z) foo(1, 2, 3) However, this still does not work: (x, y, z -> print(x, y, z))(1, 2, 3)
* 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
| | | | | This is done using the multiprocessing library in Python 2.6. If that's unavailable, this feature does nothing.
* 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
| | | | | | | | | | The metadata construct 'Key: Value' is now just a special case for 'Key:: "Value"'. Another after a :: in metadata setting is parsed as a full value expression and typed as such. For example: ; Key:: $400 + $500 ledger -l 'tag("Key") < $1000'
* 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
|