projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d9f47e) | patch
[proofs] Alethe: Add Alethe Files to be Compiled (#7241)
authorLachnitt <lachnitt@stanford.edu>
Thu, 23 Sep 2021 21:46:05 +0000 (14:46 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Sep 2021 21:46:05 +0000 (21:46 +0000)
commit6c67ed5a2521012d523eb3f11ff344bf7062ee6e
treec698fe3125b452921deea9fe29d928ae2af00c82tree
parent6d9f47e6e97b44991c8331ae8b5db087d9c9e5fecommit | diff
[proofs] Alethe: Add Alethe Files to be Compiled  (#7241)

Adds Alethe proof rule and option. Adds alethe_post_processor and alethe_proof_rule files to list of files to be compiled.
During incorporating these changes errors occurred in the SCOPE rule that are also fixed in this PR.
src/CMakeLists.txt diff | blob | history
src/options/proof_options.toml diff | blob | history
src/proof/alethe/alethe_post_processor.cpp diff | blob | history
src/proof/alethe/alethe_post_processor.h diff | blob | history
src/proof/proof_rule.cpp diff | blob | history
src/proof/proof_rule.h diff | blob | history
src/smt/proof_manager.cpp diff | blob | history