| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-11-27 | Updated solver stuff. This really should have already been in here... | Zancanaro; Carlo | |
| 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-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-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-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-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 | Merge complete! Get onto the right branch. | Carlo Zancanaro | |
| 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-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 | A few other changes that were needed for tests | Carlo Zancanaro | |
| I must have forgotten to commit them earlier. How annoying. | |||
| 2012-07-09 | Simple little bug. | Carlo Zancanaro | |
| 2012-07-09 | Cleaning up a bit of code around the place. | Carlo Zancanaro | |
| - Especially making logging a bit nicer. | |||
| 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-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-29 | Speed up IdSet a bit. I think. | Carlo Zancanaro | |
| 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-03 | Add a parser for linear equations | Carlo Zancanaro | |
| (Also add the antlr jar and C runtime) | |||
| 2012-05-02 | Fix up some memory leaking issues. | Carlo Zancanaro | |
| 2012-05-01 | Update the example to be the one from the paper. | 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 | |||
| 2012-04-26 | A bunch of modifications working to a good solver. | Carlo Zancanaro | |
| 2012-04-20 | Start on the max-strategy stuff. Also more BF. | Carlo Zancanaro | |
| 2012-04-19 | Add presentation; start a different implementation | Carlo Zancanaro | |
| 2012-04-06 | Move everything into impl/ and add a Makefile. | Carlo Zancanaro | |
 |
index : honours | |
| My honours project from 2012. | Carlo |
| summaryrefslogtreecommitdiff |