projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbf6e12) | patch
(proof-new) Split proof ensure closed checks to own file (#5522)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 7 Dec 2020 13:55:30 +0000 (07:55 -0600)
committerGitHub <noreply@github.com>
Mon, 7 Dec 2020 13:55:30 +0000 (14:55 +0100)
commit85f14a1ba37949afbd33f38c8565dc5d45a300fe
treeb0b27253f07100b34541f2dd41c55d6f4b2e540btree
parentcbf6e1238ad355e7369f110385342c0a5ebb89d9commit | diff
 (proof-new) Split proof ensure closed checks to own file (#5522)

Split proof ensure closed checks to own file
src/expr/CMakeLists.txt diff | blob | history
src/expr/lazy_proof.cpp diff | blob | history
src/expr/lazy_proof_chain.cpp diff | blob | history
src/expr/proof_ensure_closed.cpp [new file with mode: 0644] blob
src/expr/proof_ensure_closed.h [new file with mode: 0644] blob
src/expr/proof_generator.cpp diff | blob | history
src/expr/proof_generator.h diff | blob | history
src/expr/proof_node_updater.cpp diff | blob | history
src/prop/prop_proof_manager.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/trust_node.cpp diff | blob | history