projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1878c6) | patch
[proofs] [doc] Document string rules (#8498)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 1 Apr 2022 20:27:47 +0000 (17:27 -0300)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 20:27:47 +0000 (13:27 -0700)
commitf01250d341937155679ae32638907d147fd61088
tree165169b940e2050b0df88ba3517b40facd820fb9tree
parentb1878c681842ac0169457adbdc6750e59ae7e35bcommit | diff
[proofs] [doc] Document string rules (#8498)

Also replaces negation of equality literals by disequality literals.
src/proof/proof_rule.h diff | blob | history