projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c3322f) | patch
[proofs] Alethe: Implementation of Process Function (#7745)
authorLachnitt <lachnitt@stanford.edu>
Fri, 3 Dec 2021 23:39:38 +0000 (15:39 -0800)
committerGitHub <noreply@github.com>
Fri, 3 Dec 2021 23:39:38 +0000 (20:39 -0300)
commitc2e17604dda0f221a2232daa89ee580da2877315
tree51c15829cad94546454e2c84af14365d72dcb05etree
parent2c3322f4ec4a0bf0e89034b38795c28dbc7cd9cbcommit | diff
[proofs] Alethe: Implementation of Process Function (#7745)

Add call to updater and finalizer to process function of the AlethePostProcessor.

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