projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95f928b) | patch
Remove spurious pto singleton inference (#8925)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 30 Jun 2022 18:29:52 +0000 (13:29 -0500)
committerGitHub <noreply@github.com>
Thu, 30 Jun 2022 18:29:52 +0000 (13:29 -0500)
commit906aa7a59ffde0db0b7a3d81c37ea472eedb691e
tree6347157b1d766b95dc5fb3c176db64a5f9c425d0tree
parent95f928be27f79efbaf8c9eea98730f1b076891a2commit | diff
Remove spurious pto singleton inference (#8925)

This removes a spurious lemma schema that is already covered by SEP_POS_REDUCTION.
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history