summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | 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
* | Add 'data' member to account/journal objectsJohn Wiegley2012-04-133-5/+23
* | Make --detail a synonym for --rich-dataJohn Wiegley2012-04-131-1/+1
* | Started work on a "views" report document modelJohn Wiegley2012-04-085-0/+724
* | Allow --invert to work with --monthlyJohn Wiegley2012-04-063-6/+26
* | Commented out references to GNUCashCraig Earls2012-04-041-3/+5
* | post.x = y defines metadata tag xJohn Wiegley2012-04-042-0/+9
* | Make metadata tags case insensitiveJohn Wiegley2012-04-042-2/+13
* | Make status and state valexpr synonymsJohn Wiegley2012-04-041-1/+1
* | Added 'lowered' helper functionJohn Wiegley2012-04-041-0/+6
* | Whitespace fixJohn Wiegley2012-04-045-28/+22
* | Added a test harness error diagnosticJohn Wiegley2012-03-302-0/+4
* | Simplify feat-option_py.testJohn Wiegley2012-03-301-2/+2
* | Added test/python to EXTRA_DISTJohn Wiegley2012-03-301-0/+1
* | Minor changes to tools/proofJohn Wiegley2012-03-301-4/+3
* | Whitespace fixJohn Wiegley2012-03-301-4/+4
* | Fix to Python value() method handlingJohn Wiegley2012-03-303-4/+45