From f541cf62257f02ad7432b34d3ea78cff9d84b2df Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Wed, 24 Sep 2025 12:27:43 -0400 Subject: [PATCH] chore(rust): use Dafny 4.10.0 for Rust codegen --- .github/workflows/library_interop_keyring_test_vectors.yml | 4 ++-- .github/workflows/library_interop_mkp_test_vectors.yml | 6 +++--- .github/workflows/library_rust_tests.yml | 4 ++-- mpl | 2 +- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/library_interop_keyring_test_vectors.yml b/.github/workflows/library_interop_keyring_test_vectors.yml index ce41dedd1..7cad8191b 100644 --- a/.github/workflows/library_interop_keyring_test_vectors.yml +++ b/.github/workflows/library_interop_keyring_test_vectors.yml @@ -171,7 +171,7 @@ jobs: if: matrix.language == 'rust' uses: ./mpl/.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' @@ -448,7 +448,7 @@ jobs: if: matrix.decrypting_language == 'rust' uses: ./mpl/.github/actions/setup_dafny with: - dafny-version: nightly-2025-01-30-7db1e5f + dafny-version: 4.10.0 - name: Setup Dafny Not Rust if: matrix.decrypting_language != 'rust' diff --git a/.github/workflows/library_interop_mkp_test_vectors.yml b/.github/workflows/library_interop_mkp_test_vectors.yml index 77b7274f9..7dcc7f65e 100644 --- a/.github/workflows/library_interop_mkp_test_vectors.yml +++ b/.github/workflows/library_interop_mkp_test_vectors.yml @@ -111,7 +111,7 @@ jobs: if: matrix.language == 'rust' uses: ./mpl/.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' @@ -303,7 +303,7 @@ jobs: if: matrix.decrypting_language == 'rust' uses: ./mpl/.github/actions/setup_dafny with: - dafny-version: nightly-2025-01-30-7db1e5f + dafny-version: 4.10.0 - name: Setup Dafny Not Rust if: matrix.decrypting_language != 'rust' @@ -727,7 +727,7 @@ jobs: if: matrix.decrypting_language == 'rust' uses: ./mpl/.github/actions/setup_dafny with: - dafny-version: nightly-2025-01-30-7db1e5f + dafny-version: 4.10.0 - name: Setup Dafny Not Rust if: matrix.decrypting_language != 'rust' diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml index 34a3b5bf4..1a9ab93bc 100644 --- a/.github/workflows/library_rust_tests.yml +++ b/.github/workflows/library_rust_tests.yml @@ -56,7 +56,7 @@ jobs: - name: Setup Dafny uses: ./mpl/.github/actions/setup_dafny with: - dafny-version: nightly-2025-01-30-7db1e5f + dafny-version: 4.10.0 - name: Setup Java 17 for codegen uses: actions/setup-java@v3 @@ -148,7 +148,7 @@ jobs: - name: Setup Dafny uses: ./mpl/.github/actions/setup_dafny with: - dafny-version: nightly-2025-01-30-7db1e5f + dafny-version: 4.10.0 - name: Setup Java 17 for codegen uses: actions/setup-java@v3 diff --git a/mpl b/mpl index 453359a4e..f41b3c45c 160000 --- a/mpl +++ b/mpl @@ -1 +1 @@ -Subproject commit 453359a4e0390904152854ffa39db460e63a36dd +Subproject commit f41b3c45c786a119952f0b35b311dbfad5fd3aa6