| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-10-28 | Generate taken-test during trip-count analysis. | |
| 2015-09-30 | Merge "Optimizing: Tag even more arena allocations." | |
| 2015-09-30 | Implemented trip-count safety information. | |
| 2015-09-29 | Optimizing: Tag even more arena allocations. | |
| 2015-09-23 | Various improvements in finding induction variables. | |
| 2015-09-10 | Induction variable range analysis. | |
| 2015-09-07 | Simplify loop invariant operations during induction analysis. | |
| 2015-09-04 | Further development of induction variable analysis. | |
| 2015-08-26 | Induction variable analysis (with unit tests). |