projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c07d80a) | patch
[Proofs] Alethe: Translate ASSUME rule (#7213)
authorLachnitt <lachnitt@stanford.edu>
Tue, 21 Sep 2021 19:59:27 +0000 (12:59 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Sep 2021 19:59:27 +0000 (16:59 -0300)
commit636012f559ff6df9f3ee774baba1b0805f4269c8
treefb345f85d9adeef5dce583e6ee75fe85c3711a8dtree
parentc07d80a0ce4dc7144bad7146b0dc96574dd250c9commit | diff
[Proofs] Alethe: Translate ASSUME rule (#7213)

Implementation of the translation of ASSUME rules into the Alethe calculus.

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