projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69693d7) | patch
some changes to make CVC4 work nicely with trace executor for application track;...
authorMorgan Deters <mdeters@gmail.com>
Thu, 14 Jun 2012 17:42:47 +0000 (17:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 14 Jun 2012 17:42:47 +0000 (17:42 +0000)
commit4c956f292906c59ba77c000084a08a4e7888e49b
treeb068a48c9fc8579eb078432ad6335b48e9a820d6tree
parent69693d7c8e5ca84b76fa807cb0797823058caa9acommit | diff
some changes to make CVC4 work nicely with trace executor for application track; (set-option :print-success true) supported, (exit) causes immediate exit regardless of EOF, etc.
Makefile diff | blob | history
src/expr/command.cpp diff | blob | history
src/main/driver.cpp diff | blob | history
src/main/driver_portfolio.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history