| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-11-27 | Use stdin to read the Template Constraint Matrix. Better for testing. | Zancanaro; Carlo | |
| 2012-11-27 | Updated solver stuff. This really should have already been in here... | Zancanaro; Carlo | |
| 2012-11-01 | Fixing up some equation system stuff. | Zancanaro; Carlo | |
| Adding function arguments to the system, as well as making it slightly easier to read. | |||
| 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-09-24 | Add the clang library to the repo (with some of my changes, too). | Zancanaro; Carlo | |
 |
index : honours | |
| My honours project from 2012. | Carlo |
| summaryrefslogtreecommitdiff |