2016-04-20 | PaulMeng | update from the master | tree | commitdiff |
2016-04-09 | Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 | tree | commitdiff |
2016-04-04 | Tim King | Updating the copyright headers and scripts. | tree | commitdiff |
2016-02-02 | Tim King | Moving dump.*, command.*, model.*, and ite_removal... | tree | commitdiff |
2016-02-01 | Tim King | Fixing a potentially malformed template expansion when... | tree | commitdiff |
2016-01-28 | Tim King | Adding listeners to Options. | tree | commitdiff |
2016-01-27 | Liana Hadarean | Merged bit-vector and uf proof branch. | tree | commitdiff |
2016-01-06 | Tim King | Moving sexpr.{cpp,h,i} from expr/ back into util/. | tree | commitdiff |
2016-01-06 | Tim King | Add SmtGlobals Class | tree | commitdiff |
2015-12-30 | Tim King | Shuffling around public vs. private headers | tree | commitdiff |
2015-12-24 | Tim King | Miscellaneous fixes | tree | commitdiff |
2015-12-15 | Tim King | Refactoring Options Handler & Library Cycle Breaking | tree | commitdiff |