| Age | Commit message (Expand) | Author |
|---|
| 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-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-01 | Fixing up some equation system stuff....Adding function arguments to the system, as well as making it slightly easier
to read.
| Zancanaro; Carlo |
| 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-31 | Remove _var_influence and do some writeup..._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.
| Carlo Zancanaro |
| 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-27 | Don't show stderr in tests. That's just annoying. | 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...As far as I can tell, it's worked! Hooray!
| Carlo Zancanaro |
| 2012-10-24 | Add a fix for mutually-recursive infinite things...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.
| Carlo Zancanaro |
| 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...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-16 | A quick fix to the solver. | Carlo Zancanaro |
| 2012-10-15 | Some bug fixes for the solver....Still doesn't work in clang, though.
| Carlo Zancanaro |
| 2012-10-15 | ... Assert needs some includes. | 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-20 | Remove exceptions and C++11 features for LLVM. | 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 | Update TODO file. | Carlo Zancanaro |
| 2012-07-10 | Modify MaxStrategy to print itself better. | 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 | A few other changes that were needed for tests...I must have forgotten to commit them earlier. How annoying.
| Carlo Zancanaro |
| 2012-07-10 | Move antlr. Add `make test` to Makefile. | Carlo Zancanaro |
| 2012-07-10 | Simple test stuff - examples from the paper | Carlo Zancanaro |
| 2012-07-09 | Few quick logging changes, just for fun. | Carlo Zancanaro |
| 2012-07-09 | Add a bit of a TODO.org | Carlo Zancanaro |
| 2012-07-09 | New example system. | 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 | Forgot a file! Whoops! | Carlo Zancanaro |
| 2012-07-05 | Intermediate (broken) commit - smarter strategy | Carlo Zancanaro |
| 2012-07-05 | Change the set to use a std::set for now...This should perform better in cases where we have smaller sets.
| 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 | Remove two systems related to range things...I'll bring them back later, when I redo the range stuff.
| Carlo Zancanaro |
| 2012-06-15 | Merge commit 'a61d'...Conflicts:
impl/Expression.hpp
impl/Operator.hpp
impl/Variable.hpp
impl/main.cpp
| 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 |
