projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15aa8eb) | patch
[proofs] Alethe: Translate REORDERING rule (#7533)
authorLachnitt <lachnitt@stanford.edu>
Tue, 9 Nov 2021 18:29:54 +0000 (10:29 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 18:29:54 +0000 (18:29 +0000)
commita78a1959ae41d2e6f7a93ae77109eec00b39dab6
tree53a421ace5091c53c59ec2b83335f1d1750fde24tree
parent15aa8ebd3acacc9b69a77f1892a7895e444759bbcommit | diff
[proofs] Alethe: Translate REORDERING rule (#7533)

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

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