Fix AWS-LC PR 1628

awslabs · Jun 12, 2024 · 9320373 · 9320373
1 parent 7d839cf
commit 9320373
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,7 +1,7 @@
 [submodule "src"]
 	path = src
-	branch = main
-	url = https://github.com/aws/aws-lc.git
+	branch = CryptoAlg-2220
+	url = https://github.com/justsmth/aws-lc.git
 [submodule "cryptol-specs"]
 	path = cryptol-specs
 	branch = sha-imperative

diff --git a/SAW/scripts/x86_64/docker_install_aes_gcm.sh b/SAW/scripts/x86_64/docker_install_aes_gcm.sh
@@ -5,7 +5,7 @@
 
 set -ex
 
-Z3_URL='https://github.com/Z3Prover/z3/releases/download/z3-4.8.14/z3-4.8.14-x64-glibc-2.31.zip'
+Z3_URL='https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/z3-4.13.0-x64-glibc-2.31.zip'
 YICES_URL='https://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-x86_64-pc-linux-gnu-static-gmp.tar.gz'
 
 mkdir -p /bin /deps