projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 356647c) | patch
(proof-new) Remove arith-snorm option. (#4591)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 11 Jun 2020 00:10:06 +0000 (19:10 -0500)
committerGitHub <noreply@github.com>
Thu, 11 Jun 2020 00:10:06 +0000 (19:10 -0500)
commit2f30f5dc342fa19b42842d744034f53a1dee3f43
tree10aa6d491a8d337bbbda3af456b96f0ed989bfb0tree
parent356647c4b7eb2420f6c6b350f0622bb4c863b0a5commit | diff
(proof-new) Remove arith-snorm option. (#4591)

This option only marginally helped and will be difficult to support with the new proof infrastructure.
src/options/arith_options.toml diff | blob | history
src/theory/arith/congruence_manager.cpp diff | blob | history
src/theory/arith/congruence_manager.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/nl/issue3955-ee-double-notify.smt2 diff | blob | history