| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |