projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3efc36) | patch
Update to consistent policy for removed terms in quantifier bodies. (#4602)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 12 Jun 2020 23:30:19 +0000 (18:30 -0500)
committerGitHub <noreply@github.com>
Fri, 12 Jun 2020 23:30:19 +0000 (18:30 -0500)
commit08f6f8cc6118b1e6c057a294d1ddb60e2e45b5ed
treede37ebe313376112c41646f206a03e4b8029308ftree
parenta3efc3697434902c5b147ee16c34d7291734206fcommit | diff
Update to consistent policy for removed terms in quantifier bodies. (#4602)
src/smt/term_formula_removal.cpp diff | blob | history