projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6322e6b) | patch
Make declare-datatype(s) a standard, non-extended command in the Smt2 parser. (#2874)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 19 Mar 2019 19:15:24 +0000 (14:15 -0500)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 19 Mar 2019 19:15:24 +0000 (12:15 -0700)
commit96b6b3a172d76753355e258edadcf977b39edcb8
tree1467117e29148766de3ef4f5fad5efe63b34550ctree
parent6322e6be67ff2b82e6751046b3383db1b52e09d3commit | diff
Make declare-datatype(s) a standard, non-extended command in the Smt2 parser. (#2874)
src/parser/smt2/Smt2.g diff | blob | history