projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f0ad7b) | patch
[proofs] Alethe: Rename DUPLICATED_LITERALS (#7661)
authorLachnitt <lachnitt@stanford.edu>
Thu, 18 Nov 2021 14:44:48 +0000 (06:44 -0800)
committerGitHub <noreply@github.com>
Thu, 18 Nov 2021 14:44:48 +0000 (14:44 +0000)
commit2686f57262348908b88a7bd9abda214b8980d287
treefd02fbec8c467d432fa00dac6b28593d2d28cd89tree
parent1f0ad7ba72e3081a3ead8960bc6dabfa1ccd7898commit | diff
[proofs] Alethe: Rename DUPLICATED_LITERALS (#7661)

In the Alethe specification the DUPLICATED_LITERALS rule was renamed to CONTRACTION. This PR renames the rule to be consistent with the standard.
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