projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5266e8e) | patch
(proof-new) Updates to skolem manager interface (#4664)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 2 Jul 2020 13:33:49 +0000 (08:33 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Jul 2020 13:33:49 +0000 (08:33 -0500)
commit5401565e7622f9ee6b07abb68e1a9378cb9876a8
tree6aec7ada59563bdd8ecad7b78dbe4ab6d3014a3ctree
parent5266e8e075ed222598449cb7bc058e095077d3aecommit | diff
 (proof-new) Updates to skolem manager interface (#4664)

Adds a fix for mkPurifySkolem and introduces new interfaces in preparation for arithmetic operator elimination and term formula removal proofs.
src/expr/node_manager.h diff | blob | history
src/expr/skolem_manager.cpp diff | blob | history
src/expr/skolem_manager.h diff | blob | history