projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d145ff) | patch
Add LFSC signature for strings (#7523)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 9 Nov 2021 15:58:30 +0000 (09:58 -0600)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 15:58:30 +0000 (15:58 +0000)
commit29dfa6b2c58887b44d9f89ce67435e75e84f12b9
treec67860af3177e0f1d4584af0c1ac1ddea7f6ae8atree
parent1d145ff68ba6e4abaf77adfe97b072f63c4d7231commit | diff
Add LFSC signature for strings (#7523)

This includes the currently supported rules and cases, although it is highly incomplete.
proofs/lfsc/signatures/strings_programs.plf [new file with mode: 0644] blob
proofs/lfsc/signatures/strings_rules.plf [new file with mode: 0644] blob