honours - My honours project from 2012.

Age	Commit message (Collapse)	Author
2012-11-05	Remove a bit of junk and fix up the logging again.	Carlo Zancanaro

2012-11-02	Change to using "touched" sets, and some writing.	Carlo Zancanaro

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-31	Remove _var_influence and do some writeup	Carlo Zancanaro
	_var_influence was really just duplicating data that was available elsewhere, so I got rid of it. I also did some writing about the algorithm and stuff for the thesis.
2012-10-30	Merge branch 'master' of ssh://bitbucket.org/czan/honours	Carlo Zancanaro
	Conflicts: impl/test/run
2012-10-26	Try to make the correct solver into a local solver	Carlo Zancanaro
	As far as I can tell, it's worked! Hooray!
2012-10-23	Fix the merge.	Carlo Zancanaro

2012-10-23	Merge branch 'master' of https://bitbucket.org/czan/honours	Carlo Zancanaro
	Conflicts: .gitignore impl/MaxStrategy.hpp impl/VariableAssignment.hpp impl/systems/test.eqns impl/test/7.eqns
2012-10-23	Make the recursive solver work properly.	Carlo Zancanaro
	If you ignore the intermediate results for the strategy iteration phase then you're in the clear! I think!
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-10-15	Some bug fixes for the solver.	Carlo Zancanaro
	Still doesn't work in clang, though.
2012-10-15	Fix up to build with clang (and fix another bug)	Carlo Zancanaro
	- Remove exceptions - Remove dynamic casts The bug was relating to MaxStrategy not cleaning up the influence sets after propagating changes. I just added a call to .clear() and it seems fine.
2012-09-20	Remove exceptions and C++11 features for LLVM.	Carlo Zancanaro

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-08-07	A whole bunch of clean up work around the place.	Carlo Zancanaro
	- Make it a bit nicer to use the command-line - Remove the strategies we won't be using - Clean up some code around the place, generally
2012-07-10	Modify MaxStrategy to print itself better.	Carlo Zancanaro

2012-07-09	Better implementation: smarter strategy iteration	Carlo Zancanaro
	Also add the beginnings of some log stuff, mayhaps.
2012-07-05	Intermediate (broken) commit - smarter strategy	Carlo Zancanaro

2012-07-02	Dependency-aware smart fixpoint.	Carlo Zancanaro
	Slows it down heaps for the moment. Still need to add the MaxStrategy part, which should speed it up a fair bit. At the moment it has to do a fair bit more work for no benefit.
2012-06-15	Parameterise fixpoint and strategy improvement	Carlo Zancanaro
	(command-line arguments specify which to use) Also: - Fix up Complete<T> to work comparing `inf` to 1 (stupid bug) - Clean up the systems/ folder a bit - Change the printed output to differentiate variables and constants (!v/!c, respectively) - Perform a slight optimisation to the strategy-iteration process
2012-06-15	Fix up the smart fixpoint iteration - make it actually work!	Carlo Zancanaro

2012-06-15	Re-write heaps of code to work better.	Carlo Zancanaro

2012-05-28	Fix issues with some things ignoring strategies.	Carlo Zancanaro

2012-05-28	Fix memory error and x = max(-inf, expr) stuff.	Carlo Zancanaro

2012-05-17	Fix a segfault and a stupid parser decision.	Carlo Zancanaro

2012-04-30	Functional algorithm. Unoptimised.	Carlo Zancanaro

2012-04-27	Bit more work. maxFixpoint should be working now.	Carlo Zancanaro

2012-04-26	A new attempt. Better strategies implementation.	Carlo Zancanaro
	Still lacking: - Factories (to set the ids) - Solver - Systems of equations