| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-10-24 | Add a fix for mutually-recursive infinite things | Carlo Zancanaro | |
| 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. | |||
 |
index : honours | |
| My honours project from 2012. | Carlo |
| summaryrefslogtreecommitdiff |