projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55f258c) | patch
Remove partial instantiation for local theory extensions (#4020)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Mar 2020 16:27:40 +0000 (11:27 -0500)
committerGitHub <noreply@github.com>
Wed, 11 Mar 2020 16:27:40 +0000 (11:27 -0500)
commitc7f50a009cad7a0c1a2f1a5290e1d7bd03edf0e7
treed3e5f2b28d89d5e242fe5b6d62dc879f804c1d4btree
parent55f258cd92d7bc6fbb7a3b96712495f6885d871ccommit | diff
Remove partial instantiation for local theory extensions (#4020)

Fixes #4019.

This feature was never fully implemented.
src/CMakeLists.txt diff | blob | history
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/local_theory_ext.cpp [deleted file] blob | history
src/theory/quantifiers/local_theory_ext.h [deleted file] blob | history
src/theory/quantifiers_engine.cpp diff | blob | history