honours - My honours project from 2012.

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-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