Merge branch 'main-1.x' into seebees/net-type-conversion-encapsulation

Author: imabhichow

.github/workflows/pull.yml

@@ -53,7 +53,7 @@ jobs:
         # Rust code generation is under development and depends on pending changes to the
         # Dafny Rust code generation, so we test on a specific prerelease instead.
         dafny-version:
-          - nightly-2025-01-30-7db1e5f
+          - 4.11.0
     uses: ./.github/workflows/test_models_rust_tests.yml
     with:
       dafny: ${{ matrix.dafny-version }}

.github/workflows/push.yml

@@ -55,7 +55,7 @@ jobs:
         # Rust code generation is under development and depends on pending changes to the
         # Dafny Rust code generation, so we test on a specific unreleased commit instead.
         dafny-version:
-          - nightly-2025-01-30-7db1e5f
+          - 4.11.0
     uses: ./.github/workflows/test_models_rust_tests.yml
     with:
       dafny: ${{ matrix.dafny-version }}

.github/workflows/smithy-dafny-conversion.yml

@@ -19,7 +19,7 @@ jobs:
           java-version: "8"
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.6.1
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: "4.1.0"
 

.github/workflows/smithy-polymorph.yml

@@ -29,7 +29,7 @@ jobs:
           java-version: "17"
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.7.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: 4.8.1
 

.github/workflows/test_models_dafny_verification.yml

@@ -47,8 +47,13 @@ jobs:
         with:
           submodules: recursive
 
+      - name: Setup .NET Core SDK 6.0
+        uses: actions/setup-dotnet@v3
+        with:
+          dotnet-version: 6.0.x
+
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.7.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ matrix.dafny-version }}
 

.github/workflows/test_models_go_tests.yml

@@ -50,11 +50,10 @@ jobs:
         with:
           submodules: recursive
 
-      # TODO: Use the released version once all the Dafny issues aew fixed.
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.7.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
-          dafny-version: "nightly-2024-12-04-bf1aac6"
+          dafny-version: ${{ inputs.dafny }}
 
       - name: Install Go
         uses: actions/setup-go@v2

.github/workflows/test_models_java_tests.yml

@@ -52,7 +52,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.7.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/test_models_net_tests.yml

@@ -56,7 +56,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.7.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ matrix.dafny-version }}
 

.github/workflows/test_models_python_tests.yml

@@ -53,7 +53,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.7.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/test_models_rust_tests.yml

@@ -52,14 +52,14 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ inputs.dafny }}
 
       - name: Set up Rust
         uses: actions-rust-lang/setup-rust-toolchain@v1
         with:
-          toolchain: "1.81.0"
+          toolchain: "1.88.0"
           rustflags: ""
           components: rustfmt