| 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-11-01 | A bunch of fixes to the solver, and moving it in to clang....Also some contribution writing stuff.
Basically: lots of work.
| Zancanaro; Carlo |
| 2012-10-30 | Merge branch 'master' of ssh://bitbucket.org/czan/honours...Conflicts:
impl/test/run
| Carlo Zancanaro |
| 2012-10-27 | Output some timing information to stderr. | Carlo Zancanaro |
| 2012-10-26 | Try to make the correct solver into a local solver...As far as I can tell, it's worked! Hooray!
| Carlo Zancanaro |
| 2012-10-23 | Fix the merge. | Carlo Zancanaro |
| 2012-10-23 | Merge branch 'master' of https://bitbucket.org/czan/honours...Conflicts:
.gitignore
impl/MaxStrategy.hpp
impl/VariableAssignment.hpp
impl/systems/test.eqns
impl/test/7.eqns
| Carlo Zancanaro |
| 2012-10-23 | Make the recursive solver work properly....If you ignore the intermediate results for the strategy iteration phase
then you're in the clear! I think!
| Carlo Zancanaro |
| 2012-10-22 | Okay, the solver is now correct....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.
| Carlo Zancanaro |
| 2012-10-15 | Some bug fixes for the solver....Still doesn't work in clang, though.
| Carlo Zancanaro |
| 2012-10-15 | Fix up to build with clang (and fix another bug)...- 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.
| Carlo Zancanaro |
| 2012-09-05 | Delete a lot of tex stuff, better debug info...Some other stuff, too, I think. Oh well. No biggie!
| Carlo Zancanaro |
| 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....- 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
| 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 | A few other changes that were needed for tests...I must have forgotten to commit them earlier. How annoying.
| Carlo Zancanaro |
| 2012-07-09 | Simple little bug. | Carlo Zancanaro |
| 2012-07-09 | Cleaning up a bit of code around the place.... - Especially making logging a bit nicer.
| 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-07-05 | Intermediate (broken) commit - smarter strategy | Carlo Zancanaro |
| 2012-07-02 | Dependency-aware smart fixpoint....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.
| Carlo Zancanaro |
| 2012-06-29 | Speed up IdSet a bit. I think. | Carlo Zancanaro |
| 2012-06-15 | Parameterise fixpoint and strategy improvement...(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
| Carlo Zancanaro |
| 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...(Also add the antlr jar and C runtime)
| Carlo Zancanaro |
| 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....Still lacking:
- Factories (to set the ids)
- Solver
- Systems of equations
| Carlo Zancanaro |
| 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 |
