summaryrefslogtreecommitdiff
path: root/tex
AgeCommit message (Collapse)Author
2012-11-02Add remote target in Makefile, and contributionCarlo Zancanaro
2012-10-30Commit some stuff to move between computers.Carlo Zancanaro
2012-10-17More work on the thesis itself.Carlo Zancanaro
2012-10-17Get rid of extra files produced during LaTeX compilation.Carlo Zancanaro
2012-10-16Doop doop doop. Some contribution writing stuff.Carlo Zancanaro
2012-10-15Some bug fixes for the solver.Carlo Zancanaro
Still doesn't work in clang, though.
2012-09-10Thesis updating.Carlo Zancanaro
2012-09-05Something, something. Thesis!Carlo Zancanaro
2012-09-05Delete a lot of tex stuff, better debug infoCarlo Zancanaro
Some other stuff, too, I think. Oh well. No biggie!
2012-08-07Initial thesis stuff. No content, though.Carlo Zancanaro
2012-05-18Add the outline stuff, too. A bit more lit review work.Carlo Zancanaro
2012-05-18Lit reviewCarlo Zancanaro
2012-05-18Some more lit review stuff.Carlo Zancanaro
2012-05-17Beginning of Lit Review stuff.Carlo Zancanaro
2012-04-19Add presentation; start a different implementationCarlo Zancanaro