projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a24a22) | patch
[proofs] Alethe: Implementation of AletheProofPostprocessCallback (#7212)
authorLachnitt <lachnitt@stanford.edu>
Tue, 21 Sep 2021 18:17:14 +0000 (11:17 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Sep 2021 18:17:14 +0000 (15:17 -0300)
commitc07d80a0ce4dc7144bad7146b0dc96574dd250c9
tree187a049c2f0eafcb17f84014d5bf2b6b5176f5f2tree
parent4a24a22cf0aa633ac4d7c9b14b310ff798c5e3d1commit | diff
[proofs] Alethe: Implementation of AletheProofPostprocessCallback (#7212)

Implementation of addAletheStep and addAletheStepFromOr. Added stub for AletheProofPostprocessCallback update function that will be populated by subsequent PRs.

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