projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3fafcf) | patch
Add node converter utility (#6878)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 15 Jul 2021 04:25:36 +0000 (23:25 -0500)
committerGitHub <noreply@github.com>
Thu, 15 Jul 2021 04:25:36 +0000 (04:25 +0000)
commit20db536832e9f2da6ed06917eedcad4101194ffc
tree7be25231c3b1fcbe213ab412033297e62bf07c6ctree
parentd3fafcf6d7881eea61f22141b8b8feb2cdcee1f7commit | diff
Add node converter utility (#6878)

Adds a utility for converting nodes. This is the first step towards the LFSC proof conversion.
src/expr/CMakeLists.txt diff | blob | history
src/expr/node_converter.cpp [new file with mode: 0644] blob
src/expr/node_converter.h [new file with mode: 0644] blob