summaryrefslogtreecommitdiff
path: root/impl/main.cpp
AgeCommit message (Expand)Author
2012-11-09A 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-09Add 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-01A 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-30Merge branch 'master' of ssh://bitbucket.org/czan/honours...Conflicts: impl/test/run Carlo Zancanaro
2012-10-27Output some timing information to stderr.Carlo Zancanaro
2012-10-26Try to make the correct solver into a local solver...As far as I can tell, it's worked! Hooray! Carlo Zancanaro
2012-10-23Fix the merge.Carlo Zancanaro
2012-10-23Merge 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-23Make 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-22Okay, 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-15Some bug fixes for the solver....Still doesn't work in clang, though. Carlo Zancanaro
2012-10-15Fix 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-05Delete a lot of tex stuff, better debug info...Some other stuff, too, I think. Oh well. No biggie! Carlo Zancanaro
2012-08-07Merge complete! Get onto the right branch.Carlo Zancanaro
2012-08-07A 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-06New 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-10Clean up the building of the parser a bit.Carlo Zancanaro
2012-07-10A few other changes that were needed for tests...I must have forgotten to commit them earlier. How annoying. Carlo Zancanaro
2012-07-09Simple little bug.Carlo Zancanaro
2012-07-09Cleaning up a bit of code around the place.... - Especially making logging a bit nicer. Carlo Zancanaro
2012-07-09Fix a few bugs and add a new example system.Carlo Zancanaro
2012-07-09Fixed up the newer strategy iteration stuff...Trivial 100000 var case in 15s on my Uni machine. Carlo Zancanaro
2012-07-09Better implementation: smarter strategy iteration...Also add the beginnings of some log stuff, mayhaps. Carlo Zancanaro
2012-07-05Intermediate (broken) commit - smarter strategyCarlo Zancanaro
2012-07-02Dependency-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-29Speed up IdSet a bit. I think.Carlo Zancanaro
2012-06-15Parameterise 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-15Fix up the smart fixpoint iteration - make it actually work!Carlo Zancanaro
2012-06-15Re-write heaps of code to work better.Carlo Zancanaro
2012-05-28Fix issues with some things ignoring strategies.Carlo Zancanaro
2012-05-28Fix memory error and x = max(-inf, expr) stuff.Carlo Zancanaro
2012-05-03Add a parser for linear equations...(Also add the antlr jar and C runtime) Carlo Zancanaro
2012-05-02Fix up some memory leaking issues.Carlo Zancanaro
2012-05-01Update the example to be the one from the paper.Carlo Zancanaro
2012-04-30Functional algorithm. Unoptimised.Carlo Zancanaro
2012-04-27Bit more work. maxFixpoint should be working now.Carlo Zancanaro
2012-04-26A new attempt. Better strategies implementation....Still lacking: - Factories (to set the ids) - Solver - Systems of equations Carlo Zancanaro
2012-04-26A bunch of modifications working to a good solver.Carlo Zancanaro
2012-04-20Start on the max-strategy stuff. Also more BF.Carlo Zancanaro
2012-04-19Add presentation; start a different implementationCarlo Zancanaro
2012-04-06Move everything into impl/ and add a Makefile.Carlo Zancanaro