projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a014a1) | patch
Simplifying the throw specifier of SmtEngine::checkSat and related calls to CVC4...
authorTim King <taking@cs.nyu.edu>
Thu, 14 Sep 2017 17:09:40 +0000 (10:09 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Thu, 14 Sep 2017 17:09:40 +0000 (10:09 -0700)
commite4fc6c7b57668f18ce087c45e001c101375c20ea
treeac305beac6241b6ba70cd1623b09d876ef499a29tree
parent4a014a12d7f72c4f73dfbee8c9f62868e920bc15commit | diff
Simplifying the throw specifier of SmtEngine::checkSat and related calls to CVC4::Exception. (#1085)
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history