2017-03-30 | Andres Notzli | [Coverity] Remove throw qualifiers in src/smt | blob | commitdiff | raw |
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-03-08 | ajreynol | Extend synthesis solver to handle single invocation... | blob | commitdiff | raw | diff to current |
2016-02-16 | ajreynol | Public interface for quantifier elimination. Minor... | blob | commitdiff | raw | diff to current |
2016-02-02 | Tim King | Moving dump.*, command.*, model.*, and ite_removal... | blob | commitdiff | raw | diff to current |