| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Extended proof/push to upload tarballs/gcov | John Wiegley | 2010-06-15 | 1 | -3/+6 |
| | | |||||
| * | Add support for typed metadata | John Wiegley | 2010-06-12 | 1 | -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' | ||||
| * | Added --enable-cache, --enable-doxygen to acprep | John Wiegley | 2010-06-12 | 1 | -1/+2 |
| | | |||||
| * | Untabified all source files | John Wiegley | 2010-06-11 | 1 | -3/+3 |
| | | |||||
| * | Added acprep option --universal, now off by default | John Wiegley | 2010-06-02 | 1 | -1/+2 |
| | | |||||
| * | If tools/proof succeeds, move proof.log into /tmp | John Wiegley | 2009-11-15 | 1 | -0/+1 |
| | | |||||
| * | Wrap the call to acprep proof in a call to "time" | John Wiegley | 2009-11-02 | 1 | -1/+1 |
| | | |||||
| * | In tools/proof, change into source directory | John Wiegley | 2009-11-01 | 1 | -0/+2 |
| | | |||||
| * | Further refinements to tools/proof | John Wiegley | 2009-11-01 | 1 | -2/+11 |
| | | |||||
| * | Added an --alert option to tools/proof | John Wiegley | 2009-11-01 | 1 | -1/+8 |
| | | |||||
| * | Capture error code correctly in tools/proof | John Wiegley | 2009-10-31 | 1 | -3/+5 |
| | | |||||
| * | Improvements to tools/proof | John Wiegley | 2009-10-31 | 1 | -5/+5 |
| | | |||||
| * | Added tools/proof utility script | John Wiegley | 2009-10-31 | 1 | -0/+11 |
| | | |||||
| * | Rewrote acprep in Python and improved the build | John Wiegley | 2009-03-09 | 1 | -69/+0 |
| | | |||||
| * | Several improvements to how directories are chosen | John Wiegley | 2009-03-08 | 1 | -10/+12 |
| | | |||||
| * | Modified the behavior of tools/proof | John Wiegley | 2009-03-08 | 1 | -21/+21 |
| | | | | | | It now uses a copy of the source tree, so that I can keep working while proof is running. It takes a while. | ||||
| * | Don't run 'make fullcheck' for the gcov build | John Wiegley | 2009-03-07 | 1 | -4/+12 |
| | | |||||
| * | In tools/proof, remove Products directories first | John Wiegley | 2009-03-07 | 1 | -0/+5 |
| | | |||||
| * | Don't build a gprof version in tools/proof | John Wiegley | 2009-03-04 | 1 | -4/+3 |
| | | |||||
| * | Refactored tools/proof | John Wiegley | 2009-03-02 | 1 | -54/+46 |
| | | |||||
| * | Added a build step to tools/proof | John Wiegley | 2009-02-28 | 1 | -0/+6 |
| | | |||||
| * | Fixes to tools/proof | John Wiegley | 2009-02-25 | 1 | -4/+52 |
| | | |||||
| * | And more README updates | John Wiegley | 2009-02-21 | 1 | -1/+1 |
| | | |||||
| * | Tools changes to build for multiple targets | John Wiegley | 2009-02-21 | 1 | -0/+9 |
| This makes it easier for me to build a version of ledger with optimizations, one for coverage analysis, one for profiling, etc. | |||||
 |
index : fork-ledger.git | |
| summaryrefslogtreecommitdiff |