summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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: Update syntax file, create indentation file, set commentstring (Bugs 528, 529)
| * vim. small fixes for syntax highlightingJohann Klähn2012-04-221-4/+5
| | | | | | | | | | Also pre-declarations aren't folded anymore because the current 'foldexpr' does not make too much sense for them.
| * vim. add indent fileJohann Klähn2012-04-221-0/+46
| | | | | | | | Adresses Bug 529.
| * vim. update syntax fileJohann Klähn2012-04-221-9/+22
| |
| * vim. set commentstringJohann Klähn2012-04-221-1/+2
| | | | | | | | Fixes bug 528.
* | 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
| | | | | | | | Fixes #770
* | 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
| |
* | Added another Python support regression testJohn Wiegley2012-03-303-0/+56
| |
* | Added the first Python support regression testJohn Wiegley2012-03-303-0/+11
| |
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-07 21:19:11 +0000