2017-10-11 | Andrew Reynolds | Move unsat core names to smt engine (#1192) | blob | commitdiff | raw |
2017-09-19 | Andres Noetzli | Fix issue #1074, improve non-fatal error handling ... | blob | commitdiff | raw | diff to current |
2017-07-07 | Mathias Preiner | Update copyright headers. | blob | commitdiff | raw | diff to current |
2016-04-20 | PaulMeng | update from the master | blob | commitdiff | raw | diff to current |
2016-04-09 | Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 | blob | commitdiff | raw | diff to current |
2016-04-04 | Tim King | Updating the copyright headers and scripts. | blob | commitdiff | raw | diff to current |
2016-02-02 | Tim King | Moving dump.*, command.*, model.*, and ite_removal... | blob | commitdiff | raw | diff to current |
2015-12-30 | Tim King | Shuffling around public vs. private headers | blob | commitdiff | raw | diff to current |
2015-12-15 | Tim King | Refactoring Options Handler & Library Cycle Breaking | blob | commitdiff | raw | diff to current |