projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a330021 dec7bfc)
Merge pull request #119 from 4tXJ7f/smt_v2_5
authorClark Barrett <barrett@cs.stanford.edu>
Wed, 14 Dec 2016 21:45:54 +0000 (13:45 -0800)
committerGitHub <noreply@github.com>
Wed, 14 Dec 2016 21:45:54 +0000 (13:45 -0800)
Switch from SMT-LIB v2.0 to v2.5 for smt2 files


Trivial merge