projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db157ad) | patch
(proof-new) Minor updates to term conversion proof generator (#5691)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 17 Dec 2020 16:50:49 +0000 (10:50 -0600)
committerGitHub <noreply@github.com>
Thu, 17 Dec 2020 16:50:49 +0000 (17:50 +0100)
commit9b099b715cec0dc60048fdc64b4d61b977d14096
treed342bef4833946288c427a4d3d1c05b7df2a518ftree
parentdb157ade422c4bc16750d2cb6db7643f1fd3dad6commit | diff
(proof-new) Minor updates to term conversion proof generator (#5691)

Minor updates to term conversion proof generator
src/expr/term_conversion_proof_generator.cpp diff | blob | history