projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b5c27) | patch
Update LFSC version (#8713)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 May 2022 20:35:27 +0000 (13:35 -0700)
committerGitHub <noreply@github.com>
Tue, 3 May 2022 20:35:27 +0000 (20:35 +0000)
commite705ed6752b71764a5e0db7c2818191c280dd11a
treea2d0028ecae4af94b5e22843911ef06a2b151b7btree
parent70b5c27382628cc0e3d7bf6cbae58c8532668023commit | diff
Update LFSC version (#8713)

This updates the get-lfsc-checker script to get the latest version of
LFSC, which supports older versions of CMake.
contrib/get-lfsc-checker diff | blob | history