projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10b5153) | patch
[proof-new] Adding support for corner case of transitivity simulating MERGED_THROUGH_...
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 13 Aug 2020 00:01:40 +0000 (21:01 -0300)
committerGitHub <noreply@github.com>
Thu, 13 Aug 2020 00:01:40 +0000 (21:01 -0300)
commit2fc0fea69f6350db55d217e710efcc08ac56b4db
tree586f734eb2a0952a74ea18174d44f83879678766tree
parent10b5153f63a2e9a575ffe5abfad69e53ed8e3d5bcommit | diff
[proof-new] Adding support for corner case of transitivity simulating MERGED_THROUGH_CONSTANTS (#4879)
src/theory/uf/eq_proof.cpp diff | blob | history
src/theory/uf/eq_proof.h diff | blob | history