projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6981e3e) | patch
[proofs] Alethe: Translate SPLIT rule (#7399)
authorLachnitt <lachnitt@stanford.edu>
Mon, 25 Oct 2021 13:26:40 +0000 (06:26 -0700)
committerGitHub <noreply@github.com>
Mon, 25 Oct 2021 13:26:40 +0000 (13:26 +0000)
commit418d9264428c56983c92f02537eef321989495b6
tree3a28b7a7bc65e43d05b81491e2b738b7db2d78d3tree
parent6981e3ebde0e65ba772be5cf897611152d1b3ae7commit | diff
[proofs] Alethe: Translate SPLIT rule  (#7399)

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

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