From b3c36648bf72c368e880a68f8ac6a672e7be5378 Mon Sep 17 00:00:00 2001 From: Jaewoo Kim Date: Fri, 4 Oct 2024 05:11:23 +0000 Subject: [PATCH 1/3] Add why3 warning for step size. --- assets/why3/assignment05/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/assets/why3/assignment05/README.md b/assets/why3/assignment05/README.md index 7d9e695..3f687d3 100644 --- a/assets/why3/assignment05/README.md +++ b/assets/why3/assignment05/README.md @@ -9,6 +9,7 @@ * You may use [Why3 in your browser](https://www.why3.org/try/). * Clicking `Verify` button at the top will open a panel on the right side. * For each task in the panel (e.g. `loop invariant preservation`), you can right-click it and run the prover. + * Important: The prover might not be able to verify the correct solution if the number of steps is too small. Make sure to test with 1000~5000 steps. * Fill in `TODO`s until the prover can verify all tasks, notified with green check-marks. * To submit your solution, run `./scripts/submit.sh` and submit `assignment05.zip` in the `target` directory to gg. From 8f1b5a7890c2aa87392792eaaddb659fe6773f36 Mon Sep 17 00:00:00 2001 From: Janggun Lee Date: Mon, 21 Oct 2024 16:25:32 +0900 Subject: [PATCH 2/3] Fix typos Closes #411 --- src/assignments/assignment09/bigint.rs | 2 +- src/assignments/assignment09/small_exercises.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/assignments/assignment09/bigint.rs b/src/assignments/assignment09/bigint.rs index 4df36fa..95f2e2c 100644 --- a/src/assignments/assignment09/bigint.rs +++ b/src/assignments/assignment09/bigint.rs @@ -25,7 +25,7 @@ use std::ops::*; /// /// The `sign_extension()`, `two_complement()`, and `truncate()` are non-mandatory helper methods. /// -/// For testing and debugging pruposes, the `Display` trait is implemented for you, which shows the +/// For testing and debugging purposes, the `Display` trait is implemented for you, which shows the /// integer in hexadecimal form. #[derive(Debug, Clone)] pub struct BigInt { diff --git a/src/assignments/assignment09/small_exercises.rs b/src/assignments/assignment09/small_exercises.rs index f0af504..9ff2123 100644 --- a/src/assignments/assignment09/small_exercises.rs +++ b/src/assignments/assignment09/small_exercises.rs @@ -9,7 +9,7 @@ use itertools::Itertools; /// /// Returns `true` if the length of sequence is less or equal than 2. /// -/// # Exmample +/// # Example /// /// ``` /// use cs220::assignments::assignment09::small_exercises::*; From 9e92bf231a362558007216f31c8f515ddf472264 Mon Sep 17 00:00:00 2001 From: Janggun Lee Date: Mon, 21 Oct 2024 16:41:19 +0900 Subject: [PATCH 3/3] Update deps --- .github/workflows/rustdoc.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/rustdoc.yaml b/.github/workflows/rustdoc.yaml index 1049537..1f6869b 100644 --- a/.github/workflows/rustdoc.yaml +++ b/.github/workflows/rustdoc.yaml @@ -17,7 +17,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v3 + uses: actions/checkout@v4.1.1 - name: Install Rustup run: if ! command -v rustup &>/dev/null; then (curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y); fi @@ -29,7 +29,7 @@ jobs: run: source "$HOME/.cargo/env"; cargo doc --all - name: Deploy Docs - uses: peaceiris/actions-gh-pages@364c31d33bb99327c77b3a5438a83a357a6729ad # v3.4.0 + uses: peaceiris/actions-gh-pages@v4.0.0 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_branch: gh-pages