projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17f0468) | patch
Signature documentation update (#3476)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 19 Nov 2019 00:41:07 +0000 (16:41 -0800)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 19 Nov 2019 00:41:07 +0000 (16:41 -0800)
commitb732c86723668bd73094fa9a2719760a91cd9981
treee9acf5f0397884b4348822600be0ca5f3abaefa4tree
parent17f0468c1656aa91d7cc5e3174a797312a9364c3commit | diff
Signature documentation update (#3476)

This comment was slightly out-of-date.
proofs/signatures/drat.plf diff | blob | history