projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f8da4f) | patch
fix an obvious oversight: "distinct" wasn't part of the SMT2 core theory---but this...
authorMorgan Deters <mdeters@gmail.com>
Tue, 17 Jul 2012 20:34:34 +0000 (20:34 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 17 Jul 2012 20:34:34 +0000 (20:34 +0000)
commit159a9a457761d47077bf45e82daedf7e6883f3fc
tree5de3b7d755f2ed627fa9acec5b3895da03c31f08tree
parent1f8da4ffd0887a095994392087d76f376ac006d2commit | diff
fix an obvious oversight: "distinct" wasn't part of the SMT2 core theory---but this only gave trouble in strict parsing mode
src/parser/smt2/smt2.cpp diff | blob | history