Fix AWS-LC PR 1628

awslabs · Jun 12, 2024 · 6b5e373 · 6b5e373
1 parent a48d3d9
commit 6b5e373
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 4 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/README.md b/README.md
@@ -1,4 +1,4 @@
-# AWS LibCrypto Formal Verification
+# AWS LibCrypto Formal Verification test1
 
 [![.github/workflows/main.yml](https://github.com/awslabs/aws-lc-verification/actions/workflows/main.yml/badge.svg)](https://github.com/awslabs/aws-lc-verification/actions/workflows/main.yml)
 

diff --git a/SAW/scripts/x86_64/entrypoint_check_aes_gcm.sh b/SAW/scripts/x86_64/entrypoint_check_aes_gcm.sh
@@ -73,4 +73,9 @@ apply_patch "noinline_ec_GFp_simple_is_at_infinity"
 ./scripts/x86_64/build_x86.sh  "Release"
 ./scripts/x86_64/build_llvm.sh "Release"
 ./scripts/x86_64/post_build.sh
+
+# llvm-dis build/llvm_x86/crypto/crypto_test.bc
+objdump -d build/llvm_x86/crypto/crypto_test | grep "endbr64"
+
+
 ./scripts/x86_64/run_checks_aes_gcm.sh
diff --git a/src b/src