honours - My honours project from 2012.

Age	Commit message (Collapse)	Author
2012-11-09	A bunch of changes to make it build nicer	Carlo Zancanaro
	In particular: - fix up the MCF sovler to get rid of all the warnings/errors - make the build with Wall and Werror and whatnot again
2012-10-22	Okay, the solver is now correct.	Carlo Zancanaro
	It runs in two separate passes: - improve strategy (for all) - evaluate fixpoint Unfortunately this loses out on locality at the moment. I really want a local solver, so I'll have to see what I can do about that.
2012-09-05	Delete a lot of tex stuff, better debug info	Carlo Zancanaro
	Some other stuff, too, I think. Oh well. No biggie!
2012-04-06	Move everything into impl/ and add a Makefile.	Carlo Zancanaro

2012-03-30	Initial commit. Basic Kleene iteration stuff.	Carlo Zancanaro