| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | 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 |
 |
index : fork-ledger.git | |
| summaryrefslogtreecommitdiff |