projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Generalize congruence handling for HO in eq proofs (#6883)
[cvc5.git] / src / theory / uf / eq_proof.cpp
2021-07-14 Haniel BarbosaGeneralize congruence handling for HO in eq proofs... blob | commitdiff | raw
2021-05-24 Andrew ReynoldsMove proof utilities to src/proof/ (#6611) blob | commitdiff | raw | diff to current
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-10 Aina NiemetzMove ExprManager::isNAryKind to NodeManager. (#6107) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-03 Gereon KremerMore cleanup of includes to reduce compilation times... blob | commitdiff | raw | diff to current
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-16 Haniel Barbosa[proof-new] Extending eqproof conversion to HO congruen... blob | commitdiff | raw | diff to current
2020-09-01 Haniel BarbosaRemoves old proof code (#4964) blob | commitdiff | raw | diff to current
2020-08-13 Haniel Barbosa[proof-new] Adding support for corner case of transitiv... blob | commitdiff | raw | diff to current
2020-08-12 Haniel Barbosageneralize handling MERGED_THROUGH_CONSTANST in EqProof... blob | commitdiff | raw | diff to current
2020-07-17 Haniel BarbosaFix EqProof to ProofNode conversion (#4760) blob | commitdiff | raw | diff to current
2020-07-16 Haniel Barbosa(proof-new) Implements the conversion between EqProof... blob | commitdiff | raw | diff to current
2020-07-16 Haniel Barbosa(proof-new) Adding API for converting EqProof into... blob | commitdiff | raw | diff to current