projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4640dd5) | patch
Default equality proofs for bags and separation logic (#6932)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 00:48:03 +0000 (19:48 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 00:48:03 +0000 (00:48 +0000)
commitbedba8e500fabeb0ac8f4f6e93af245f750a1850
tree5e81376490d020e4b14e7218f309ab4544358aa6tree
parent4640dd5d09d65761ab96ea7f6848d823a3a43278commit | diff
Default equality proofs for bags and separation logic (#6932)

This is the last 2 remaining theories not to use the default handling of equality proofs.

In preparation for proofs in central equality engine.
src/theory/bags/theory_bags.cpp diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history