projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bedba8e) | patch
Fix eq proof conversion for constant merged parameterized ops (#6926)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 01:21:20 +0000 (20:21 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 01:21:20 +0000 (01:21 +0000)
commit8bfa89721ce12e815abbbbe2caf87f2384bc8eb5
treec52f175894df096a82e03545e47a9fd9d6f66304tree
parentbedba8e500fabeb0ac8f4f6e93af245f750a1850commit | diff
Fix eq proof conversion for constant merged parameterized ops (#6926)

This issue arises when using the central equality engine on several regressions.
src/theory/uf/eq_proof.cpp diff | blob | history