projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5849b2) | patch
Add LFSC signature for quantifiers (#7540)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 2 Nov 2021 13:16:29 +0000 (08:16 -0500)
committerGitHub <noreply@github.com>
Tue, 2 Nov 2021 13:16:29 +0000 (13:16 +0000)
commit7ea2ea8f708fc7b5e8ea370898fbcb8cbf487aec
tree4b8f96bfea654df4877d290ec6e3c0585e83afd9tree
parentb5849b2061c841926f7548858613223d1e805b21commit | diff
Add LFSC signature for quantifiers (#7540)

Also includes a fix for the Boolean signature. After the strings PR and this one, the initial LFSC signature is complete.
proofs/lfsc/signatures/boolean_programs.plf diff | blob | history
proofs/lfsc/signatures/boolean_rules.plf diff | blob | history
proofs/lfsc/signatures/quantifiers_rules.plf [new file with mode: 0644] blob
proofs/lfsc/signatures/util_defs.plf diff | blob | history