projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f51aa7) | patch
[proofs] Alethe: Added Final Callback Function to alethe_proof_processor (#7200)
authorLachnitt <lachnitt@stanford.edu>
Fri, 17 Sep 2021 20:37:53 +0000 (13:37 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Sep 2021 20:37:53 +0000 (20:37 +0000)
commit03b640fb95528063772c80555d7f06a9884cd870
tree74d0ad97f131bbb8e521cd9234843a9cdfdbe7a7tree
parent1f51aa7fe56076c6db970f0ed392ff55a6038a6acommit | diff
[proofs] Alethe: Added Final Callback Function to alethe_proof_processor (#7200)

Added final callback 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