m

aws · Jan 28, 2025 · 7b562f0 · 7b562f0
1 parent 4fc8916
commit 7b562f0
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
@@ -114,7 +114,7 @@ jobs:
         uses: ./smithy-dafny/.github/actions/build_dafny_from_source
         with:
           dafny-version: 4.9.2
-          ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30
+          ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -315,7 +315,7 @@ jobs:
         uses: ./smithy-dafny/.github/actions/build_dafny_from_source
         with:
           dafny-version: 4.9.2
-          ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30
+          ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d
 
       - name: Setup Dafny 2 Not Rust
         if: matrix.decrypting_language != 'rust'

diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -68,7 +68,7 @@ jobs:
         uses: ./smithy-dafny/.github/actions/build_dafny_from_source
         with:
           dafny-version: 4.9.2
-          ref: 867e0e262e8b939f6a1b1260fccec71613dbcc30
+          ref: a928ebf5733dca040cbbb9b0c5861c20fb5bff6d
 
       # TODO: Remove this after the formatting in Rust starts working
       - name: smithy-dafny Rust hacks

diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs
@@ -72,6 +72,7 @@ fn main2() {
     crate::implementation_from_dafny::r#_WrappedMaterialProvidersMain_Compile::_default::Main(&dafny_args);
 }
 
+// RUST_MIN_STACK does not work for `main`, so we need a new thread
 fn main() {
     std::thread::Builder::new().stack_size(64 * 1024 * 1024).spawn(main2).unwrap().join().unwrap();
 }
diff --git a/smithy-dafny b/smithy-dafny
+1 −1		.github/workflows/pull.yml
+1 −2		TestModels/dafny-dependencies/dafny_runtime_rust/src/lib.rs
+3 −2		codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/SymbolUtils.java
+3 −6		codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/ValidationGenerator.java
+26 −2		...dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java
+86 −94		.../src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java
+1 −1		...n/src/main/java/software/amazon/polymorph/smithygo/localservice/shapevisitor/DafnyToSmithyShapeVisitor.java
+4 −3		codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/utils/GoCodegenUtils.java