diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-28 08:49:16 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-28 08:49:16 -0500 |
commit | 7c420ce316b4d519beae03b6a1c0843b192ea45e (patch) | |
tree | 71fb9561895a7e1c6becb686d699fc095c0db614 /contrib | |
parent | 05724151ca936fa2943bb82e3b1339210b9b950c (diff) |
Allow Int/Real subtyping in LFSC proofs
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-lfsc-checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker index ad3e81ac2..b0e2c7be3 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -40,7 +40,7 @@ SIG_DIR="$BASE_DIR/lfsc-signatures" mkdir -p $SIG_DIR # download and unpack signatures -sig_version="768cfda32847e7ba6b846d5e4e6e92e89b66aee1" +sig_version="43b9b5939aac2939c9bd7d6240cb01172351a0e4" download "https://github.com/CVC4/signatures/archive/$sig_version.tar.gz" $BASE_DIR/tmp/signatures.tgz tar --strip 1 -xzf $BASE_DIR/tmp/signatures.tgz -C $SIG_DIR |