projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63e4a67) | patch
Bug-fix for a crash involving improperly-thrown exceptions; also, add LogicException...
authorMorgan Deters <mdeters@gmail.com>
Fri, 9 Nov 2012 19:18:58 +0000 (19:18 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 9 Nov 2012 19:18:58 +0000 (19:18 +0000)
commitca6647503475fb36827e960d9e01c3f8a04c4ed3
treeb951d83522c8d82709abfcd2707298b3a4916d07tree
parent63e4a6775daa1b7a986cc9dec0bd178b7e023c47commit | diff
Bug-fix for a crash involving improperly-thrown exceptions; also, add LogicException for errors where the user uses a feature not permitted in the current logic (e.g., a quantifier in a QF logic)
src/cvc4.i diff | blob | history
src/smt/Makefile.am diff | blob | history
src/smt/logic_exception.h [new file with mode: 0644] blob
src/smt/logic_exception.i [new file with mode: 0644] blob
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history