chore(dafny-rust): setup and test check-in polymorph rust code (commented out for now); fix windows tests (#688)

Author: RitvikKapila

.github/actions/polymorph_codegen/action.yml

@@ -109,6 +109,13 @@ runs:
       run: |
         make polymorph_dotnet ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
 
+    # TODO: Uncomment when checking in polymorph_rust code
+    # - name: Regenerate Rust code using smithy-dafny
+    #   working-directory: ./${{ inputs.library }}
+    #   shell: bash
+    #   run: |
+    #     make polymorph_rust ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
+
     - name: Check regenerated code against commited code
       # Composite action inputs seem to not actually support booleans properly for some reason
       if: inputs.diff-generated-code == 'true'

.github/workflows/library_rust_tests.yml

@@ -14,10 +14,6 @@ on:
         default: false
         type: boolean
 
-# env:
-  # Used for Test Vectors
-  # VECTORS_URL: https://github.com/awslabs/aws-encryption-sdk-test-vectors/raw/master/vectors/awses-decrypt/python-2.3.0.zip
-
 jobs:
   testRust:
     strategy:
@@ -62,19 +58,12 @@ jobs:
       # TODO - uncomment this after Rust formatter works
       # - name: Rustfmt Check
       #   uses: actions-rust-lang/rustfmt@v1
-
+      
+      # TODO: Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
-        # TODO: Use setup-dafny-actions@v1.7.0 for Rust instead of rust-unsound branch
-        # uses: dafny-lang/setup-dafny-action@v1.7.0
-        # with:
-        #   dafny-version: ${{ inputs.dafny }}
-        shell: bash
-        run: |
-          git clone https://github.com/dafny-lang/dafny.git --recurse-submodules
-          cd dafny/
-          make exe
-
-          echo $PWD/Scripts >> $GITHUB_PATH
+        uses: dafny-lang/setup-dafny-action@v1.7.0
+        with:
+          dafny-version: nightly-latest
 
       # TODO: Remove this after the formatting in Rust starts working
       - name: smithy-dafny Rust hacks
@@ -92,6 +81,9 @@ jobs:
           distribution: "corretto"
           java-version: "17"
 
+      - name: Setup NASM for Windows (aws-lc-sys)
+        uses: ilammy/setup-nasm@v1
+
       - name: Install Smithy-Dafny codegen dependencies
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
@@ -119,7 +111,7 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_rust TRANSPILE_TESTS_IN_RUST=1 CORES=$CORES
 
-      # Remove Rust hacks
+      # Remove Rust hacks once Dafny fixes this
       - name: Update implementation_from_dafny.rs to add deps
         shell: bash
         working-directory: ./AwsEncryptionSDK/runtimes/rust/src
@@ -138,14 +130,6 @@ jobs:
             ' implementation_from_dafny.rs
           fi
 
-      # - name: Compile MPL TestVectors implementation
-      #   shell: bash
-      #   working-directory: ./mpl/TestVectorsAwsCryptographicMaterialProviders
-      #   run: |
-      #     # This works because `node` is installed by default on GHA runners
-      #     CORES=$(node -e 'console.log(os.cpus().length)')
-      #     make transpile_rust CORES=$CORES
-
       - name: Test Rust
         working-directory: ./AwsEncryptionSDK
         shell: bash

AwsEncryptionSDK/runtimes/rust/.gitignore

@@ -1,2 +1,18 @@
 target
 Cargo.lock
+src/implementation_from_dafny.rs
+client.rs
+src/client/
+conversions.rs
+src/conversions/
+deps.rs
+src/deps/
+error.rs
+src/error/
+operation.rs
+src/operation/
+standard_library_conversions.rs
+standard_library_externs.rs
+types.rs
+src/types/
+*.pem

AwsEncryptionSDK/runtimes/rust/Cargo.toml

@@ -16,20 +16,20 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.6"
-aws-lc-rs = "1.9.0"
-aws-lc-sys = "0.21.2"
-aws-sdk-dynamodb = "1.47.0"
-aws-sdk-kms = "1.44.0"
+aws-config = "1.5.9"
+aws-lc-rs = "1.10.0"
+aws-lc-sys = "0.22.0"
+aws-sdk-dynamodb = "1.51.0"
+aws-sdk-kms = "1.48.0"
 aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.6"
+aws-smithy-types = "1.2.8"
 chrono = "0.4.38"
 dafny_runtime = { path = "dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
 rand = "0.8.5"
-tokio = {version = "1.40.0", features = ["full"] }
-uuid = { version = "1.10.0", features = ["v4"] }
+tokio = {version = "1.41.0", features = ["full"] }
+uuid = { version = "1.11.0", features = ["v4"] }
 
 [lib]
 path = "src/implementation_from_dafny.rs"