| Age | Commit message (Expand) | Author |
|---|
| 2012-11-27 | Use stdin to read the Template Constraint Matrix. Better for testing. | Zancanaro; Carlo |
| 2012-11-27 | Updated solver stuff. This really should have already been in here... | Zancanaro; Carlo |
| 2012-11-27 | A bunch more thesis stuff. | Carlo Zancanaro |
| 2012-11-26 | Forgot a tex file. | Carlo Zancanaro |
| 2012-11-26 | Thesis thesis thesis. | Carlo Zancanaro |
| 2012-11-26 | Merge branch 'master' of ssh://bitbucket.org/czan/honours | Carlo Zancanaro |
| 2012-11-26 | A bunch more writing. Write write write. | Carlo Zancanaro |
| 2012-11-22 | A few fixes. | Carlo Zancanaro |
| 2012-11-21 | Some performance stuff for the solver | Carlo Zancanaro |
| 2012-11-21 | Thesis writing! Yum yum! | Carlo Zancanaro |
| 2012-11-21 | Bug fixes for stupid things. | Carlo Zancanaro |
| 2012-11-21 | Implementation stuff. | Zancanaro; Carlo |
| 2012-11-19 | Trying something a little different w/ background. | Carlo Zancanaro |
| 2012-11-19 | A few changes suggested by Bernhard. | Carlo Zancanaro |
| 2012-11-19 | Remove two things I'm not using. | Carlo Zancanaro |
| 2012-11-19 | Very simple little change to the lit review stuff. | Carlo Zancanaro |
| 2012-11-19 | Add some more contribution stuff. Proof? | Carlo Zancanaro |
| 2012-11-19 | Thesis stuff. Contribution & lit review. | Carlo Zancanaro |
| 2012-11-13 | Some more contribution fixing stuff. | Carlo Zancanaro |
| 2012-11-12 | Poster stuff. | Carlo Zancanaro |
| 2012-11-12 | A few minor changes to the presentation Makefile. | Carlo Zancanaro |
| 2012-11-12 | A few minor fixes to contribution. | Carlo Zancanaro |
| 2012-11-12 | Final presentation stuff. Slides and whatnot. | Carlo Zancanaro |
| 2012-11-09 | Work a bit more on contribution stuff. | Carlo Zancanaro |
| 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 |
