Age | Commit message (Expand) | Author |
---|---|---|
2018-01-04 | Removing miscellaneous throw specifiers. (#1474) | Tim King |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-04-20 | update from the master | PaulMeng |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-02-01 | Fixing a potentially malformed template expansion when Dump() is disabled. | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
2016-01-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | Tim King |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-24 | Miscellaneous fixes | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |