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-08 | A few fixes to the MCF solver, and equation stuff...General work on the equation systems. Trying to get them to generate
correctly with the MCF stuff. It's harder than it seems!
| Zancanaro; Carlo |
2012-11-08 | Contribution writing stuff. | Carlo Zancanaro |
2012-11-06 | Fix a minor typo. | Carlo Zancanaro |
2012-11-05 | A bunch of contribution writing, also fix the bib....Fix up the bib style to use [1] style citations.
Add a bunch of stuff to the contribution section.
| 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-02 | Merge branch 'master' of ssh://bitbucket.org/czan/honours...Conflicts:
tex/thesis/contribution/contribution.tex
| Carlo Zancanaro |
2012-11-02 | Add remote target in Makefile, and contribution | Carlo Zancanaro |
2012-11-01 | Merge branch 'master' of git@bitbucket.org:czan/honours into HEAD | Zancanaro; Carlo |
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 | . | Thomas Martin Gawlitza |
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 | Carlo Zancanaro |
2012-10-30 | Commit some stuff to move between computers. | 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 | Merge branch 'master' into new-dev | 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 | Try fixing clang to work with the fixed solver....(This may not compile, for an annoying reason. I'll check in again soon
with something better-er, or whatever.)
| 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-17 | More work on the thesis itself. | Carlo Zancanaro |
2012-10-17 | Get rid of extra files produced during LaTeX compilation. | Carlo Zancanaro |
2012-10-16 | Doop doop doop. Some contribution writing stuff. | 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 | Merge branch 'master' of ssh://bitbucket.org/czan/honours | Carlo Zancanaro |
2012-10-15 | Fix up the Equation System generation. Now there's a bug in the solver....The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying.
| Zancanaro; Carlo |
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-10-04 | Lets keep trying with this here equation system....Still not there, but more non-functional code is there.
Splitting blocks into sub-blocks now works, as does some of the guard stuff and
the general "shape" of the resulting equation system.
| Zancanaro; Carlo |
2012-09-24 | Fix up some of the interval solving stuff....Still missing:
- Guards
- Actual construction of the EquationSystem
- Necessary operators for a Vector EquationSystem
- Splitting blocks on multiple-assignment
- Solving/linking with Checkers
| Zancanaro; Carlo |
2012-09-24 | Add the clang library to the repo (with some of my changes, too). | Zancanaro; Carlo |
2012-09-20 | Remove exceptions and C++11 features for LLVM. | Carlo Zancanaro |
2012-09-10 | Thesis updating. | Carlo Zancanaro |
2012-09-05 | Something, something. Thesis! | 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 | Initial thesis stuff. No content, though. | 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 |