Age | Commit message (Expand) | Author |
---|---|---|
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 | 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 | Commit some stuff to move between computers. | 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-15 | Some bug fixes for the solver....Still doesn't work in clang, though. | Carlo Zancanaro |
2012-09-10 | Thesis updating. | Carlo Zancanaro |
2012-09-05 | Something, something. Thesis! | Carlo Zancanaro |
2012-08-07 | Initial thesis stuff. No content, though. | Carlo Zancanaro |