projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac44a9b) | patch
Refactor logic exceptions during preregistration for arithmetic (#8769)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 13 May 2022 15:20:53 +0000 (10:20 -0500)
committerGitHub <noreply@github.com>
Fri, 13 May 2022 15:20:53 +0000 (08:20 -0700)
commite8eebe0aaea199f8bd7ae8ef3348ca2985b20b59
tree7ee0980560d380ad9b39217fd74175fd352d9cbatree
parentac44a9b53b367c32dfa756dbde76920d4785d03bcommit | diff
Refactor logic exceptions during preregistration for arithmetic (#8769)

Fixes #8755.
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/nl/issue8755-nl-logic-exception.smt2 [new file with mode: 0644] blob