summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Enable the baseline and manual testsJohn Wiegley2012-05-203-3/+30
* Converted the Ledger build system to use CMakeJohn Wiegley2012-05-20101-4925/+1034
* Fixed a variable name shadowingJohn Wiegley2012-05-181-2/+2
* Added a "json" report commandJohn Wiegley2012-05-184-6/+27
* Switched to Boost.PropertyTree for XML generationJohn Wiegley2012-05-1827-336/+230
* Fixed a test that was unknowingly time-basedJohn Wiegley2012-05-181-4/+4
* Merge branch 'master' into nextJohn Wiegley2012-05-150-0/+0
|\
| * Merge branch 'release/v3.0.0-20120510'John Wiegley2012-05-1520-186/+160
| |\
| * \ Merge branch 'release/v3.0.0-20120426'John Wiegley2012-04-26320-4931/+15014
| |\ \
* | | | Switch to using Boost.FormatJohn Wiegley2012-05-1437-442/+245
| |_|/ |/| |
* | | Improved detection of iostream's eof() conditionJohn Wiegley2012-05-142-2/+4
* | | Fixed a hidden memory corruption bugJohn Wiegley2012-05-141-4/+4
* | | More configuration fixesJohn Wiegley2012-05-102-27/+31
* | | Change the way I choose a default compilerJohn Wiegley2012-05-101-2/+2
* | | An acprep simplificationJohn Wiegley2012-05-101-2/+2
* | | Bump version number to v3.0.0-20120510John Wiegley2012-05-101-1/+1
* | | Merge branch 'release/v3.0.0-20120426' into nextJohn Wiegley2012-05-101-1/+1
|\ \ \ | | |/ | |/|
| * | Set version number to 3.0.0-20120426John Wiegley2012-04-261-1/+1
* | | Added a * for cleared entries in the time reportJohn Wiegley2012-05-101-4/+7
* | | Merge branch 't/checkout_cleared' into nextJohn Wiegley2012-05-105-12/+24
|\ \ \
| * | | Added "last_checkout_cleared" valexpr variableJohn Wiegley2012-05-075-12/+24
* | | | Don't run the proof build against Clang for nowJohn Wiegley2012-05-071-10/+10
* | | | Made some code in option.h a bit saferJohn Wiegley2012-05-071-1/+1
|/ / /
* | | Added script for building Boost with GCCJohn Wiegley2012-05-011-0/+16
* | | Various changes to suit my environmentJohn Wiegley2012-05-011-113/+20
* | | Made some of the value term parsing code more resilientJohn Wiegley2012-04-281-5/+7
* | | Silenced a warning in the very latest ClangJohn Wiegley2012-04-281-3/+0
* | | Changed a const string map key to stringJohn Wiegley2012-04-282-12/+12
* | | Added support for building with Clang and libc++ in C++11John Wiegley2012-04-285-9/+37
* | | Don't rsync as much when preparing proof buildsJohn Wiegley2012-04-281-1/+2
* | | Fixes to the proofing processJohn Wiegley2012-04-272-25/+27
|/ /
* | Removed unnecessary code from acprepJohn Wiegley2012-04-261-16/+0
* | Added a build scriptJohn Wiegley2012-04-251-0/+8
* | Fixes so that tests can run under distcheckJohn Wiegley2012-04-252-6/+6
* | #if 0'd out some unused codeJohn Wiegley2012-04-251-0/+2
* | Rewrite ignore fileJohn Wiegley2012-04-251-80/+80
* | Build-related changesJohn Wiegley2012-04-253-29/+34
* | More support for building with ClangJohn Wiegley2012-04-253-2/+26
* | Remove some dead codeJohn Wiegley2012-04-251-7/+0
* | Add support for g++ 4.8John Wiegley2012-04-251-2/+14
* | Use chmod before removing the proof build directoryJohn Wiegley2012-04-251-0/+1
* | Upgrade GCC_VERSION to 4.7John Wiegley2012-04-251-1/+1
* | Merge pull request #64 from kljohann/vimJohn Wiegley2012-04-223-11/+72
|\ \
| * | vim. small fixes for syntax highlightingJohann Klähn2012-04-221-4/+5
| * | vim. add indent fileJohann Klähn2012-04-221-0/+46
| * | vim. update syntax fileJohann Klähn2012-04-221-9/+22
| * | vim. set commentstringJohann Klähn2012-04-221-1/+2
| |/
* | Resolve some issues with proof buildsJohn Wiegley2012-04-156-12/+26
* | Proof using both GCC and ClangJohn Wiegley2012-04-132-3/+19
* | Set FLAVOR= on all make invocationsJohn Wiegley2012-04-131-0/+2