projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8572eb7) | patch
support (set-info) on status, source, category, difficulty, smt-lib-version, and...
authorMorgan Deters <mdeters@gmail.com>
Fri, 8 Oct 2010 06:25:05 +0000 (06:25 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 8 Oct 2010 06:25:05 +0000 (06:25 +0000)
commitfccdb4cbe2cde7c34e82f33e9de850a046fef888
tree6cc8d4d4401656c492c36f09250f4814616caf27tree
parent8572eb7eddcd373acb73a1f2718cfd8d5c8c6a01commit | diff
support (set-info) on status, source, category, difficulty, smt-lib-version, and notes; reduces extraneous "unsupported" output
src/smt/smt_engine.cpp diff | blob | history