| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-10-15 | Fix up the Equation System generation. Now there's a bug in the solver. | Zancanaro; Carlo | |
| The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying. | |||
| 2012-08-07 | Merge complete! Get onto the right branch. | Carlo Zancanaro | |
| 2012-08-06 | New variation on the equation system solver. | Carlo Zancanaro | |
| Much simpler to understand. Basically have a variable assignment which is dynamic and updates with the strategy changes. Similarly have strategy changes easily invalidate the variable assignment. This makes them strongly inter-dependent, but simplifies the implementation considerably. Proving it should be easier like this, too. | |||
 |
index : honours | |
| My honours project from 2012. | Carlo |
| summaryrefslogtreecommitdiff |