honours - My honours project from 2012.

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-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	Zancanaro; Carlo
	General work on the equation systems. Trying to get them to generate correctly with the MCF stuff. It's harder than it seems!
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-11-01	A bunch of fixes to the solver, and moving it in to clang.	Zancanaro; Carlo
	Also some contribution writing stuff. Basically: lots of work.
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-10-04	Lets keep trying with this here equation system.	Zancanaro; Carlo
	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.
2012-09-24	Fix up some of the interval solving stuff.	Zancanaro; Carlo
	Still missing: - Guards - Actual construction of the EquationSystem - Necessary operators for a Vector EquationSystem - Splitting blocks on multiple-assignment - Solving/linking with Checkers
2012-09-24	Add the clang library to the repo (with some of my changes, too).	Zancanaro; Carlo