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-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-10-30	Merge branch 'master' of ssh://bitbucket.org/czan/honours	Carlo Zancanaro
	Conflicts: impl/test/run
2012-09-20	Remove exceptions and C++11 features for LLVM.	Carlo Zancanaro

2012-08-06	New variation on the equation system solver.	Carlo Zancanaro
	Much simpler to understand. Basically have a variable assignment which is dynamic and updates with the strategy changes. Similarly have strategy changes easily invalidate the variable assignment. This makes them strongly inter-dependent, but simplifies the implementation considerably. Proving it should be easier like this, too.
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	Move antlr. Add `make test` to Makefile.	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
	Trivial 100000 var case in 15s on my Uni machine.
2012-07-09	Better implementation: smarter strategy iteration	Carlo Zancanaro
	Also add the beginnings of some log stuff, mayhaps.
2012-06-29	Speed up IdSet a bit. I think.	Carlo Zancanaro

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

2012-05-03	Add a parser for linear equations	Carlo Zancanaro
	(Also add the antlr jar and C runtime)
2012-04-26	A bunch of modifications working to a good solver.	Carlo Zancanaro

2012-04-06	Move everything into impl/ and add a Makefile.	Carlo Zancanaro