honours - My honours project from 2012.

Age	Commit message (Expand)	Author
2012-10-26	Try to make the correct solver into a local solver...	Carlo Zancanaro
2012-10-24	Add a fix for mutually-recursive infinite things...	Carlo Zancanaro
2012-10-23	Another fix, with a test for what the problem was.	Carlo Zancanaro
2012-10-23	Fix the merge.	Carlo Zancanaro
2012-10-23	Merge branch 'master' of https://bitbucket.org/czan/honours...	Carlo Zancanaro
2012-10-23	Make the recursive solver work properly....	Carlo Zancanaro
2012-10-22	Try fixing clang to work with the fixed solver....	Carlo Zancanaro
2012-10-22	Okay, the solver is now correct....	Carlo Zancanaro
2012-10-17	More work on the thesis itself.	Carlo Zancanaro
2012-10-17	Get rid of extra files produced during LaTeX compilation.	Carlo Zancanaro
2012-10-16	Doop doop doop. Some contribution writing stuff.	Carlo Zancanaro
2012-10-16	A quick fix to the solver.	Carlo Zancanaro
2012-10-15	Some bug fixes for the solver....	Carlo Zancanaro
2012-10-15	Merge branch 'master' of ssh://bitbucket.org/czan/honours	Carlo Zancanaro
2012-10-15	Fix up the Equation System generation. Now there's a bug in the solver....	Zancanaro; Carlo
2012-10-15	... Assert needs some includes.	Carlo Zancanaro
2012-10-15	Fix up to build with clang (and fix another bug)...	Carlo Zancanaro
2012-10-04	Lets keep trying with this here equation system....	Zancanaro; Carlo
2012-09-24	Fix up some of the interval solving stuff....	Zancanaro; Carlo
2012-09-24	Add the clang library to the repo (with some of my changes, too).	Zancanaro; Carlo
2012-09-20	Remove exceptions and C++11 features for LLVM.	Carlo Zancanaro
2012-09-10	Thesis updating.	Carlo Zancanaro
2012-09-05	Something, something. Thesis!	Carlo Zancanaro
2012-09-05	Delete a lot of tex stuff, better debug info...	Carlo Zancanaro
2012-08-07	Initial thesis stuff. No content, though.	Carlo Zancanaro
2012-08-07	Merge complete! Get onto the right branch.	Carlo Zancanaro
2012-08-07	A whole bunch of clean up work around the place....	Carlo Zancanaro
2012-08-06	New variation on the equation system solver....	Carlo Zancanaro
2012-07-10	Update TODO file.	Carlo Zancanaro
2012-07-10	Modify MaxStrategy to print itself better.	Carlo Zancanaro
2012-07-10	Add the LEMON graph library source to the repo...	Carlo Zancanaro
2012-07-10	Remove two useless files.	Carlo Zancanaro
2012-07-10	Clean up the building of the parser a bit.	Carlo Zancanaro
2012-07-10	Fix the Makefile for partial compilation stuff	Carlo Zancanaro
2012-07-10	A few other changes that were needed for tests...	Carlo Zancanaro
2012-07-10	Move antlr. Add `make test` to Makefile.	Carlo Zancanaro
2012-07-10	Simple test stuff - examples from the paper	Carlo Zancanaro
2012-07-09	Few quick logging changes, just for fun.	Carlo Zancanaro
2012-07-09	Add a bit of a TODO.org	Carlo Zancanaro
2012-07-09	New example system.	Carlo Zancanaro
2012-07-09	Simple little bug.	Carlo Zancanaro
2012-07-09	Cleaning up a bit of code around the place....	Carlo Zancanaro
2012-07-09	Fix a few bugs and add a new example system.	Carlo Zancanaro
2012-07-09	Fixed up the newer strategy iteration stuff...	Carlo Zancanaro
2012-07-09	Better implementation: smarter strategy iteration...	Carlo Zancanaro
2012-07-05	Forgot a file! Whoops!	Carlo Zancanaro
2012-07-05	Intermediate (broken) commit - smarter strategy	Carlo Zancanaro
2012-07-05	Change the set to use a std::set for now...	Carlo Zancanaro
2012-07-02	Dependency-aware smart fixpoint....	Carlo Zancanaro
2012-06-29	Speed up IdSet a bit. I think.	Carlo Zancanaro