Skip to content

Commit

Permalink
CI: Update SAW_URLs
Browse files Browse the repository at this point in the history 
This updates the `SAW_URL` environment variables to point to a more recent
version of SAW that includes the changes from
GaloisInc/saw-script#2037, which are necessary to
support the AES-GCM proofs.
  • Loading branch information
@RyanGlScott
RyanGlScott committed Apr 23, 2024
1 parent d0ac63a commit 0718836
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion NSym/scripts/install.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

set -ex

SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz'
C2A_URL='https://cryptol-air-interface.s3.us-west-2.amazonaws.com/cryptol-air-interface-2023-11-20-fd3447e-Linux-x86_64.tar.gz'
ELF_URL='https://ocaml-elf-loader.s3.us-west-2.amazonaws.com/elf_loader-2023-11-09-c95cf1c-Linux_x86_64.tar.gz'
OSI_URL='https://ocaml-smt-interface.s3.us-west-2.amazonaws.com/ocaml_smt_interface-2023-11-07-9654c87-Linux_x86_64.tar.gz'
Expand Down
2 changes: 1 addition & 1 deletion SAW/scripts/aarch64/install.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

set -ex

SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz'

mkdir -p /bin /deps

Expand Down
2 changes: 1 addition & 1 deletion SAW/scripts/x86_64/install.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

set -ex

SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-1.1.0.99-2024-04-22-48dcbf7bc-PR2037-Linux-x86_64.tar.gz'

mkdir -p /bin /deps

Expand Down

0 comments on commit 0718836

Please sign in to comment.