honours - My honours project from 2012.

Age	Commit message (Collapse)	Author
2012-11-19	A few changes suggested by Bernhard.	Carlo Zancanaro

2012-11-19	Remove two things I'm not using.	Carlo Zancanaro

2012-11-19	Very simple little change to the lit review stuff.	Carlo Zancanaro

2012-11-19	Add some more contribution stuff. Proof?	Carlo Zancanaro

2012-11-19	Thesis stuff. Contribution & lit review.	Carlo Zancanaro

2012-11-13	Some more contribution fixing stuff.	Carlo Zancanaro

2012-11-12	Poster stuff.	Carlo Zancanaro

2012-11-12	A few minor changes to the presentation Makefile.	Carlo Zancanaro

2012-11-12	A few minor fixes to contribution.	Carlo Zancanaro

2012-11-12	Final presentation stuff. Slides and whatnot.	Carlo Zancanaro

2012-11-09	Work a bit more on contribution stuff.	Carlo Zancanaro

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-11-09	Add an MCF operator to the separate solver	Carlo Zancanaro
	For the solver utility it'd be good to have MCF problems, so here they are! Format is: MCF<supplies, arcs>(cost*) Supplies is a [int,int,int,...], where each int represents a new node Arcs is [int:int, int:int, int:int, ...] where each int:int pair represents an edge from the first to the second (1 indexed from the "supplies" array). Costs is the argument to the function. There must be as many costs as arcs, and they are set from left to right, in order.
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-08	Contribution writing stuff.	Carlo Zancanaro

2012-11-06	Fix a minor typo.	Carlo Zancanaro

2012-11-05	A bunch of contribution writing, also fix the bib.	Carlo Zancanaro
	Fix up the bib style to use [1] style citations. Add a bunch of stuff to the contribution section.
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-02	Merge branch 'master' of ssh://bitbucket.org/czan/honours	Carlo Zancanaro
	Conflicts: tex/thesis/contribution/contribution.tex
2012-11-02	Add remote target in Makefile, and contribution	Carlo Zancanaro

2012-11-01	Merge branch 'master' of git@bitbucket.org:czan/honours into HEAD	Zancanaro; Carlo

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-31	.	Thomas Martin Gawlitza

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

2012-10-30	Commit some stuff to move between computers.	Carlo Zancanaro

2012-10-30	Merge branch 'master' of ssh://bitbucket.org/czan/honours	Carlo Zancanaro
	Conflicts: impl/test/run
2012-10-27	Output some timing information to stderr.	Carlo Zancanaro

2012-10-27	Don't show stderr in tests. That's just annoying.	Carlo Zancanaro

2012-10-26	Merge branch 'master' into new-dev	Carlo Zancanaro

2012-10-26	Add some tests, and stuff.	Carlo Zancanaro

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-24	Add a fix for mutually-recursive infinite things	Carlo Zancanaro
	So now it will solve correctly for x = y + 1 y = max(0, x + 1) I also added in tests for this (and a slightly different form with `x` going through another variable, `z`, for indirection). The tests will also stop now after five seconds of execution. If they can't be solved in five seconds then they're considered a failure.
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
	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	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-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-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
	Still doesn't work in clang, though.
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
	The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying.
2012-10-15	... Assert needs some includes.	Carlo Zancanaro

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.