projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2f8c85) | patch
Add str.unit to LFSC signature (#8862)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Jun 2022 15:20:14 +0000 (10:20 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Jun 2022 15:20:14 +0000 (10:20 -0500)
commita2eab9fb3c82beb531437c05e9f7d354f8858c31
tree79cd515496733c86039c429f1ea5bfff1f8eeacctree
parentd2f8c855f290f10545fc21444773c5506786a42bcommit | diff
Add str.unit to LFSC signature (#8862)

Fixes buildbot failure.
proofs/lfsc/signatures/theory_def.plf diff | blob | history