projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 032bee9) | patch
Pin LFSC version (#5412)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 10 Nov 2020 21:00:06 +0000 (13:00 -0800)
committerGitHub <noreply@github.com>
Tue, 10 Nov 2020 21:00:06 +0000 (15:00 -0600)
commitcef8ceaf4cd81863171363fe54a97921361d1de9
tree51816ab0ed2be84baa10fc830405dabc2c24503dtree
parent032bee9200bf64af0851832c97ce20b87a6f8e0fcommit | diff
Pin LFSC version (#5412)

I chose commit 61ef1dc55d2bc909656f905699b28c99ddcfc518,
which is missing:

any changes to the OSX build process
(We're still figuring this out)
change to top-level identifier shadowing
(we have a few versions of the signatures floating around, and I
worry that they may not all be fixed w.r.t. no re-using identifiers)
contrib/get-lfsc-checker diff | blob | history