projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df8c922) | patch
Propagate the usage of proof let maps into constant disequality proofs
authorGuy <katz911@gmail.com>
Tue, 26 Jul 2016 00:20:14 +0000 (17:20 -0700)
committerGuy <katz911@gmail.com>
Tue, 26 Jul 2016 00:20:14 +0000 (17:20 -0700)
commitd1cdf6f1719c3d56590ef6305f70f376f4d80b57
treea9316bf4e3275248f65c2a9037f7d8e92f84d2catree
parentdf8c922b3d212bc5fadcd5cd26ebe868a9fe0f47commit | diff
Propagate the usage of proof let maps into constant disequality proofs
src/proof/array_proof.cpp diff | blob | history
src/proof/theory_proof.cpp diff | blob | history
src/proof/theory_proof.h diff | blob | history
src/proof/uf_proof.cpp diff | blob | history