projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42fdf7d) | patch
[proofs] Alethe: Added Callback Function to alethe_proof_processor (#7186)
authorLachnitt <lachnitt@stanford.edu>
Wed, 15 Sep 2021 18:19:53 +0000 (11:19 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Sep 2021 18:19:53 +0000 (18:19 +0000)
commitc6e663987150cab74d0e75393eef36595f9764b9
tree75c1c5b39395e432a788ad92dedc16131567ef18tree
parent42fdf7d5ac4db85b75ac43de0b6ae524d3ce63d5commit | diff
[proofs] Alethe: Added Callback Function to alethe_proof_processor (#7186)

Added alethe_proof_processor header file and introduced callback class.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/proof/alethe/alethe_post_processor.h [new file with mode: 0644] blob