summaryrefslogtreecommitdiff
path: root/tex/thesis/contribution
AgeCommit message (Collapse)Author
2012-11-19Add some more contribution stuff. Proof?Carlo Zancanaro
2012-11-19Thesis stuff. Contribution & lit review.Carlo Zancanaro
2012-11-13Some more contribution fixing stuff.Carlo Zancanaro
2012-11-12A few minor fixes to contribution.Carlo Zancanaro
2012-11-09Work a bit more on contribution stuff.Carlo Zancanaro
2012-11-08Contribution writing stuff.Carlo Zancanaro
2012-11-06Fix a minor typo.Carlo Zancanaro
2012-11-05A bunch of contribution writing, also fix the bib.Carlo Zancanaro
Fix up the bib style to use [1] style citations. Add a bunch of stuff to the contribution section.
2012-11-02Change to using "touched" sets, and some writing.Carlo Zancanaro
2012-11-02Merge branch 'master' of ssh://bitbucket.org/czan/honoursCarlo Zancanaro
Conflicts: tex/thesis/contribution/contribution.tex
2012-11-02Add remote target in Makefile, and contributionCarlo Zancanaro
2012-11-01A bunch of fixes to the solver, and moving it in to clang.Zancanaro; Carlo
Also some contribution writing stuff. Basically: lots of work.
2012-10-31Remove _var_influence and do some writeupCarlo Zancanaro
_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.
2012-10-30Commit some stuff to move between computers.Carlo Zancanaro
2012-10-17More work on the thesis itself.Carlo Zancanaro
2012-10-16Doop doop doop. Some contribution writing stuff.Carlo Zancanaro