projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3f06d6) | patch
A few proof bugs fixed
authorGuy <katz911@gmail.com>
Wed, 6 Jul 2016 23:41:33 +0000 (16:41 -0700)
committerGuy <katz911@gmail.com>
Wed, 6 Jul 2016 23:41:33 +0000 (16:41 -0700)
commitf9899f4ffc081369f419b8572a5aa397fbaa428a
tree2d48cf1e799e3336229ce34d0344ca3733a54a45tree
parente3f06d67aec4c423530002562e556f265f249123commit | diff
A few proof bugs fixed
src/proof/array_proof.cpp diff | blob | history
src/proof/theory_proof.cpp diff | blob | history
src/theory/arrays/array_proof_reconstruction.cpp diff | blob | history
src/theory/uf/equality_engine.cpp diff | blob | history