projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5df7d23) | patch
Expanded usefulness of (set-info :cvc4-logic ...)
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 11 Nov 2013 16:51:07 +0000 (11:51 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 11 Nov 2013 16:51:07 +0000 (11:51 -0500)
commit8918399152f1121938c336f90724631b07e2c549
tree376ef2fafcd7d870e247325ed0fdadbceaa1b08ctree
parent5df7d235ce1d57e9d78e66ee66ab0d3b53ca3fcdcommit | diff
Expanded usefulness of (set-info :cvc4-logic ...)
src/parser/smt2/Smt2.g diff | blob | history