honours - My honours project from 2012.

Age	Commit message (Collapse)	Author
2012-10-22	Try fixing clang to work with the fixed solver.	Carlo Zancanaro
	(This may not compile, for an annoying reason. I'll check in again soon with something better-er, or whatever.)
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	Add the clang library to the repo (with some of my changes, too).	Zancanaro; Carlo