projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03b640f) | patch
[proofs] Alethe: Added Proof Postprocessor to alethe_proof_processor (#7202)
authorLachnitt <lachnitt@stanford.edu>
Fri, 17 Sep 2021 21:03:01 +0000 (14:03 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Sep 2021 21:03:01 +0000 (21:03 +0000)
commit1704b74ffa93b36a2e08e42ca21aad0991ad4d70
treefd6f603b1668b1e35a3c5b8c379c1e7a38202bf5tree
parent03b640fb95528063772c80555d7f06a9884cd870commit | diff
[proofs] Alethe: Added Proof Postprocessor to alethe_proof_processor (#7202)

Added proof postprocessor class to alethe_proof_processor header file.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/proof/alethe/alethe_post_processor.h diff | blob | history