projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e7b277) | patch
[proofs] Adding NoSubtype node converter to Alethe (#7587)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 8 Nov 2021 17:25:26 +0000 (14:25 -0300)
committerGitHub <noreply@github.com>
Mon, 8 Nov 2021 17:25:26 +0000 (17:25 +0000)
commitd35d44fc3243a31f1429689c09360a3aa70c0bae
tree55473baa9f8c78996fa011ee924f01922c52d5cbtree
parent8e7b2778362ee10f5e4226b30efd1bc16e81bc6ecommit | diff
[proofs] Adding NoSubtype node converter to Alethe (#7587)

Initial version. It'll be improved on demand according to new cases that may lead to issues.
src/CMakeLists.txt diff | blob | history
src/proof/alethe/alethe_nosubtype_node_converter.cpp [new file with mode: 0644] blob
src/proof/alethe/alethe_nosubtype_node_converter.h [new file with mode: 0644] blob