| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-10-24 | Add a fix for mutually-recursive infinite things...So now it will solve correctly for x = y + 1 y = max(0, x + 1) I also added in tests for this (and a slightly different form with `x` going through another variable, `z`, for indirection). The tests will also stop now after five seconds of execution. If they can't be solved in five seconds then they're considered a failure. | Carlo Zancanaro |
 |
index : honours | |
| My honours project from 2012. | Carlo |
| summaryrefslogtreecommitdiff |