Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-09-20 | Remove exceptions and C++11 features for LLVM. | Carlo Zancanaro | |
2012-09-05 | Delete a lot of tex stuff, better debug info | Carlo Zancanaro | |
Some other stuff, too, I think. Oh well. No biggie! | |||
2012-08-07 | Merge complete! Get onto the right branch. | Carlo Zancanaro | |
2012-07-09 | Few quick logging changes, just for fun. | Carlo Zancanaro | |
2012-07-09 | Cleaning up a bit of code around the place. | Carlo Zancanaro | |
- Especially making logging a bit nicer. | |||
2012-07-09 | Fixed up the newer strategy iteration stuff | Carlo Zancanaro | |
Trivial 100000 var case in 15s on my Uni machine. | |||
2012-07-09 | Better implementation: smarter strategy iteration | Carlo Zancanaro | |
Also add the beginnings of some log stuff, mayhaps. |