| Age | Commit message (Expand) | Author |
|---|
| 2012-11-09 | A bunch of changes to make it build nicer...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
| Carlo Zancanaro |
| 2012-11-09 | Add an MCF operator to the separate solver...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.
| Carlo Zancanaro |
| 2012-10-30 | Merge branch 'master' of ssh://bitbucket.org/czan/honours...Conflicts:
impl/test/run
| Carlo Zancanaro |
| 2012-09-20 | Remove exceptions and C++11 features for LLVM. | Carlo Zancanaro |
| 2012-08-06 | New variation on the equation system solver....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.
| 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 | 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...Trivial 100000 var case in 15s on my Uni machine.
| Carlo Zancanaro |
| 2012-07-09 | Better implementation: smarter strategy iteration...Also add the beginnings of some log stuff, mayhaps.
| Carlo Zancanaro |
| 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...(Also add the antlr jar and C runtime)
| Carlo Zancanaro |
| 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 |
