| Age | Commit message (Expand) | 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-22 | A few fixes. | Carlo Zancanaro |
| 2012-11-21 | Implementation stuff. | Zancanaro; Carlo |
| 2012-11-08 | A few fixes to the MCF solver, and equation stuff...General work on the equation systems. Trying to get them to generate correctly with the MCF stuff. It's harder than it seems! | Zancanaro; Carlo |
| 2012-11-01 | Fixing up some equation system stuff....Adding function arguments to the system, as well as making it slightly easier to read. | Zancanaro; Carlo |
| 2012-11-01 | A bunch of fixes to the solver, and moving it in to clang....Also some contribution writing stuff. Basically: lots of work. | Zancanaro; Carlo |
| 2012-10-15 | Fix up the Equation System generation. Now there's a bug in the solver....The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying. | Zancanaro; Carlo |
| 2012-10-04 | Lets keep trying with this here equation system....Still not there, but more non-functional code is there. Splitting blocks into sub-blocks now works, as does some of the guard stuff and the general "shape" of the resulting equation system. | Zancanaro; Carlo |
| 2012-09-24 | Fix up some of the interval solving stuff....Still missing: - Guards - Actual construction of the EquationSystem - Necessary operators for a Vector EquationSystem - Splitting blocks on multiple-assignment - Solving/linking with Checkers | Zancanaro; Carlo |
| 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 |