projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a8ec60) | patch
Add let binding utility (#5444)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 18 Nov 2020 20:30:07 +0000 (14:30 -0600)
committerGitHub <noreply@github.com>
Wed, 18 Nov 2020 20:30:07 +0000 (14:30 -0600)
commitf10a5a5ab423ee3b59667e8fda415eff85cf69e3
tree4a7e0d10774520724e0514447d41c4096c0752cftree
parent5a8ec602967719f48a0bd76b84976a9504ae209bcommit | diff
Add let binding utility (#5444)

This utility will replace the dagification visitor for printing lets for Node in the smt2 printer, and will be used further in e.g. LFSC proof printing.
src/CMakeLists.txt diff | blob | history
src/printer/let_binding.cpp [new file with mode: 0644] blob
src/printer/let_binding.h [new file with mode: 0644] blob