summaryrefslogtreecommitdiff
path: root/tex/thesis/contribution/contribution.tex
AgeCommit message (Expand)Author
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-31Remove _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-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