Merge branch 'main' into imabhichow/dafny-4.11

Author: imabhichow

.github/workflows/library_interop_tests.yml

@@ -111,7 +111,7 @@ jobs:
         if: matrix.language == 'rust'
         uses: ./.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
@@ -305,7 +305,7 @@ jobs:
         if: matrix.decrypting_language == 'rust'
         uses: ./.github/actions/setup_dafny
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Setup Dafny 2 Not Rust
         if: matrix.decrypting_language != 'rust'

project.properties

@@ -11,5 +11,5 @@ dafnyVerifyVersion=4.9.1
 # Only keep if the new Dafny version has Python runtime compatibility issues.
 # GitHub workflow will enforce this review. Goal: remove this entirely.
 dafnyRuntimePythonVersion=4.11.0
-dafnyRustVersion=nightly-2025-01-30-7db1e5f
+dafnyRustVersion=4.10.0
 mplVersion=1.11.1-SNAPSHOT