projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94dfcfb) | patch
Fix lambda lifting + proofs (#8152)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 1 Mar 2022 06:02:51 +0000 (00:02 -0600)
committerGitHub <noreply@github.com>
Tue, 1 Mar 2022 06:02:51 +0000 (06:02 +0000)
commitca3787fc653a0024a78758f603ea2573b21d4ab2
tree5b6f8bd8967467c2cc0e3414c1ac6046ee24464atree
parent94dfcfbb9ac7bb3223c4c950038aa9f6d02cccb8commit | diff
Fix lambda lifting + proofs (#8152)

Was leading to eager proof checking failures on proof-new.
src/theory/uf/lambda_lift.cpp diff | blob | history