projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23b6734) | patch
removing all extended commands (as inspired by the Z3 extended command set) except...
authorMorgan Deters <mdeters@gmail.com>
Tue, 15 May 2012 18:47:20 +0000 (18:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 15 May 2012 18:47:20 +0000 (18:47 +0000)
commitb02668006e454bb1d86319b0433cc553a1f00bd8
treee99b541728e4ca409576a188f9bd76f935a62892tree
parent23b6734f73022ee86d37315134821fb52c1727d1commit | diff
removing all extended commands (as inspired by the Z3 extended command set) except for declare-datatypes
src/parser/smt2/Smt2.g diff | blob | history