projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90e615e) | patch
Add LFSC signature for n-ary programs (#7360)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 20 Oct 2021 17:27:33 +0000 (12:27 -0500)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 17:27:33 +0000 (17:27 +0000)
commit59aa30fe471f80b5e507561a4bd34fd3c9e52a09
treed64f035755b487a2da154e2318e26f0a3101494dtree
parent90e615eb3920bd60173e967c85cbcaf4f34a032ccommit | diff
Add LFSC signature for n-ary programs (#7360)

This is the last utility signature. Theory signatures will be added afterwards.
proofs/lfsc/signatures/nary_programs.plf [new file with mode: 0644] blob