projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2df0cc4) | patch
Simplify contrib/get-lfsc-checker and use cvc5 repo for LFSC signatures (#7835)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 17 Dec 2021 22:07:04 +0000 (16:07 -0600)
committerGitHub <noreply@github.com>
Fri, 17 Dec 2021 22:07:04 +0000 (22:07 +0000)
commit63892729113274410dd974f1d2541aa96d3788d3
tree4aa87fe3830a22a4aefd9bd409abefa512650737tree
parent2df0cc4257391daf6daf175826d69a735517ad19commit | diff
Simplify contrib/get-lfsc-checker and use cvc5 repo for LFSC signatures (#7835)
contrib/get-lfsc-checker diff | blob | history