| Age | Commit message (Expand) | Author |
|---|
| 2012-11-21 | Bug fixes for stupid things. | Carlo Zancanaro |
| 2012-11-21 | Implementation stuff. | Zancanaro; Carlo |
| 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-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-07-09 | Fix a few bugs and add a new example system. | 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 | Merge branch 'master' of ssh://bitbucket.org/czan/honours...Conflicts:
impl/IdSet.hpp
impl/main.cpp
impl/systems/long-fixpoint
| Carlo Zancanaro |
| 2012-05-28 | Fix memory error and x = max(-inf, expr) stuff. | Carlo Zancanaro |
| 2012-05-25 | Try to make some more modular Fixpoint algorithms. | Carlo Zancanaro |
| 2012-05-03 | Add a parser for linear equations...(Also add the antlr jar and C runtime)
| 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 |
