From 95fe4e9c58641b9968584db3a482ea561e0b7333 Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Fri, 20 Dec 2024 16:15:15 -0500 Subject: [PATCH] chore: update mpl --- AwsEncryptionSDK/Makefile | 1 + AwsEncryptionSDK/runtimes/rust/.gitignore | 1 + AwsEncryptionSDK/runtimes/rust/copy_externs.sh | 1 + AwsEncryptionSDK/runtimes/rust/src/lib.rs | 1 + TestVectors/Makefile | 1 + TestVectors/runtimes/rust/.gitignore | 1 + TestVectors/runtimes/rust/copy_externs.sh | 1 + TestVectors/runtimes/rust/src/main.rs | 1 + mpl | 2 +- 9 files changed, 9 insertions(+), 1 deletion(-) diff --git a/AwsEncryptionSDK/Makefile b/AwsEncryptionSDK/Makefile index 9f83c68a8..1421a931f 100644 --- a/AwsEncryptionSDK/Makefile +++ b/AwsEncryptionSDK/Makefile @@ -25,6 +25,7 @@ RUST_OTHER_FILES := \ runtimes/rust/src/hmac.rs \ runtimes/rust/src/kms.rs \ runtimes/rust/src/local_cmc.rs \ + runtimes/rust/src/oslang.rs \ runtimes/rust/src/random.rs \ runtimes/rust/src/rsa.rs \ runtimes/rust/src/sets.rs \ diff --git a/AwsEncryptionSDK/runtimes/rust/.gitignore b/AwsEncryptionSDK/runtimes/rust/.gitignore index e0c923a7d..23eefd366 100644 --- a/AwsEncryptionSDK/runtimes/rust/.gitignore +++ b/AwsEncryptionSDK/runtimes/rust/.gitignore @@ -22,6 +22,7 @@ src/implementation_from_dafny.rs src/kms.rs src/local_cmc.rs src/operation/ +src/oslang.rs src/random.rs src/rsa.rs src/sets.rs diff --git a/AwsEncryptionSDK/runtimes/rust/copy_externs.sh b/AwsEncryptionSDK/runtimes/rust/copy_externs.sh index 98ebc0052..25f854091 100755 --- a/AwsEncryptionSDK/runtimes/rust/copy_externs.sh +++ b/AwsEncryptionSDK/runtimes/rust/copy_externs.sh @@ -15,6 +15,7 @@ cp $SRC/ecdsa.rs src cp $SRC/hmac.rs src cp $SRC/kms.rs src cp $SRC/local_cmc.rs src +cp $SRC/oslang.rs src cp $SRC/random.rs src cp $SRC/rsa.rs src cp $SRC/sets.rs src diff --git a/AwsEncryptionSDK/runtimes/rust/src/lib.rs b/AwsEncryptionSDK/runtimes/rust/src/lib.rs index 53d53c28a..26127a149 100644 --- a/AwsEncryptionSDK/runtimes/rust/src/lib.rs +++ b/AwsEncryptionSDK/runtimes/rust/src/lib.rs @@ -126,6 +126,7 @@ pub(crate) mod ecdsa; pub(crate) mod hmac; pub(crate) mod kms; pub(crate) mod local_cmc; +pub(crate) mod oslang; pub(crate) mod random; pub(crate) mod rsa; pub(crate) mod sets; diff --git a/TestVectors/Makefile b/TestVectors/Makefile index a96f7d090..6dade7a48 100644 --- a/TestVectors/Makefile +++ b/TestVectors/Makefile @@ -26,6 +26,7 @@ RUST_OTHER_FILES := \ runtimes/rust/src/hmac.rs \ runtimes/rust/src/kms.rs \ runtimes/rust/src/local_cmc.rs \ + runtimes/rust/src/oslang.rs \ runtimes/rust/src/random.rs \ runtimes/rust/src/rsa.rs \ runtimes/rust/src/sets.rs \ diff --git a/TestVectors/runtimes/rust/.gitignore b/TestVectors/runtimes/rust/.gitignore index e9aecbc0a..98dcbf80a 100644 --- a/TestVectors/runtimes/rust/.gitignore +++ b/TestVectors/runtimes/rust/.gitignore @@ -21,6 +21,7 @@ src/kms.rs src/local_cmc.rs src/operation.rs src/operation/ +src/oslang.rs src/random.rs src/rsa.rs src/sets.rs diff --git a/TestVectors/runtimes/rust/copy_externs.sh b/TestVectors/runtimes/rust/copy_externs.sh index 98ebc0052..25f854091 100755 --- a/TestVectors/runtimes/rust/copy_externs.sh +++ b/TestVectors/runtimes/rust/copy_externs.sh @@ -15,6 +15,7 @@ cp $SRC/ecdsa.rs src cp $SRC/hmac.rs src cp $SRC/kms.rs src cp $SRC/local_cmc.rs src +cp $SRC/oslang.rs src cp $SRC/random.rs src cp $SRC/rsa.rs src cp $SRC/sets.rs src diff --git a/TestVectors/runtimes/rust/src/main.rs b/TestVectors/runtimes/rust/src/main.rs index 5e2e3ffbf..933131ee3 100644 --- a/TestVectors/runtimes/rust/src/main.rs +++ b/TestVectors/runtimes/rust/src/main.rs @@ -57,6 +57,7 @@ pub(crate) mod ecdsa; pub(crate) mod hmac; pub(crate) mod kms; pub(crate) mod local_cmc; +pub(crate) mod oslang; pub(crate) mod random; pub(crate) mod rsa; pub(crate) mod sets; diff --git a/mpl b/mpl index 59979192a..1915a11bb 160000 --- a/mpl +++ b/mpl @@ -1 +1 @@ -Subproject commit 59979192a51ef5b1864ac36d57925d55eb562fa2 +Subproject commit 1915a11bb84d3d9135b89d2a46ec9d6dff27b493