summaryrefslogtreecommitdiff
path: root/src/expr/proof_node_manager.cpp
AgeCommit message (Expand)Author
2020-11-12(proof-new) Fix true explanations of propagations in pf equality engine (#5338)Andrew Reynolds
2020-10-18(proof-new) Refactoring cyclic checks (#5291)Andrew Reynolds
2020-10-06(proof-new) Allow null proofs from generators in LazyCDProof (#5196)Andrew Reynolds
2020-09-30(proof-new) Add the term conversion sequence generator (#5097)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-17[proof-new] Have mkScope agnostic to True assumptions (#5086)Haniel Barbosa
2020-09-16[proof-new] Adds Lazy CDProof chain data-structure (#5060)Haniel Barbosa
2020-09-11(proof-new) Handle mismatched assumptions in proof equality engine during mkS...Andrew Reynolds
2020-09-02(proof-new) Improve debugging infrastructure for open proofs (#4984)Andrew Reynolds
2020-06-23(proof-new) Updates to proof node manager (#4617)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-06-05(proof-new) Updates to CDProof (#4565)Andrew Reynolds
2020-04-16Add ProofNodeManager and ProofChecker (#4317)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback