projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e97f944) | patch
Remove some irrelevant node kinds from the model (#8110)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 17 Feb 2022 19:45:10 +0000 (13:45 -0600)
committerGitHub <noreply@github.com>
Thu, 17 Feb 2022 19:45:10 +0000 (19:45 +0000)
commit2acec47dc1bf0fcb2cd3b163993132bc5a630cd5
tree3dd0829eb4414954b179104e2751ffbf2aead476tree
parente97f9447ed646d4a15ba1c107fa8a0f94165353bcommit | diff
Remove some irrelevant node kinds from the model (#8110)

There are several kinds of nodes that are currently sent to the model that don't need to be. Furthermore, we require not sending some of these due to the new invariants in #8095.
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sets/theory_sets.cpp diff | blob | history