(proof-new) Miscellaneous changes from proof-new (#5445)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 23 Nov 2020 16:23:00 +0000 (10:23 -0600)
committerGitHub <noreply@github.com>
Mon, 23 Nov 2020 16:23:00 +0000 (10:23 -0600)
commit5aa585b74682a7e92a188548ce582eeb1212e42b
tree5376b26f086474910ed70632b4a71dc6a32194d5
parente11af4be0f3d1dee41aefa91d856de9035cb3a29
(proof-new) Miscellaneous changes from proof-new (#5445)
src/expr/term_conversion_proof_generator.cpp
src/expr/type_node.cpp
src/smt/preprocessor.cpp