projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 254c039) | patch
(proof-new) Make term conversion proof generator optionally term-context sensitive...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Sep 2020 18:01:10 +0000 (13:01 -0500)
committerGitHub <noreply@github.com>
Wed, 2 Sep 2020 18:01:10 +0000 (11:01 -0700)
commit0ee1b1371e7cf50c14883316fdd6374114799a99
tree0ad441bb81f4265e341322bd21d4e0a4952abbbetree
parent254c0391d9186221bc3b8c63687cc30a06b14f1bcommit | diff
(proof-new) Make term conversion proof generator optionally term-context sensitive (#4972)

This will be used by TermFormulaRemoval.
src/expr/CMakeLists.txt diff | blob | history
src/expr/term_conversion_proof_generator.cpp diff | blob | history
src/expr/term_conversion_proof_generator.h diff | blob | history