projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44832e8) | patch
[proofs] Alethe: adds a node converter
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 20 Sep 2021 19:49:22 +0000 (16:49 -0300)
committerGitHub <noreply@github.com>
Mon, 20 Sep 2021 19:49:22 +0000 (19:49 +0000)
commitf6563f7d1e25279c6446e74ce358ea63c4b53ab0
treed2c40f9ca3639fa587cc4bc7f3dcf510d867ac4btree
parent44832e870dcf44c4710411331f9ce21e7f0dc64fcommit | diff
[proofs] Alethe: adds a node converter

Currently the only transformation it applies is removing attributes from quantifiers. Others may be added later.
src/CMakeLists.txt diff | blob | history
src/proof/alethe/alethe_node_converter.cpp [new file with mode: 0644] blob
src/proof/alethe/alethe_node_converter.h [new file with mode: 0644] blob