projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b732c86) | patch
Add a few comments to ProofManager (#3477)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 19 Nov 2019 01:07:52 +0000 (17:07 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 19 Nov 2019 01:07:52 +0000 (19:07 -0600)
commit7ac4aac015e69a6f377c5254c600bea386d58577
treea1a7bb1425bf3658ccd868ad461f2f79f4ebd57btree
parentb732c86723668bd73094fa9a2719760a91cd9981commit | diff
Add a few comments to ProofManager (#3477)
src/proof/proof_manager.cpp diff | blob | history