kmc7468/cs220
1
0
Fork 0
mirror of https://github.com/kmc7468/cs220.git synced 2025-12-12 21:08:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix broken links

Browse Source
This commit is contained in:
Janggun Lee
2024-09-05 15:14:09 +09:00
parent df9965e46e
commit 36af3a88e2
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
assets/why3/assignment05/README.md
View File

@@ -6,12 +6,12 @@
* You will get PARTIAL SCOREs for each of those three files. * You will get PARTIAL SCOREs for each of those three files.
* E.g. If `max.mlw` and `binary_search.mlw` get passed, 2 out of 3 points will be given. * E.g. If `max.mlw` and `binary_search.mlw` get passed, 2 out of 3 points will be given.
* You may use [Why3 in your browser](https://why3.lri.fr/try/). * 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. * 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. * For each task in the panel (e.g. `loop invariant preservation`), you can right-click it and run the prover.
* Fill in `TODO`s until the prover can verify all tasks, notified with green check-marks. * 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. * To submit your solution, run `./scripts/submit.sh` and submit `assignment05.zip` in the `target` directory to gg.
* More on Why3: <https://why3.lri.fr/doc/index.html> * [More on Why3](https://www.why3.org/doc/).
* Why3 standard library: <https://why3.lri.fr/stdlib/index.html> * [Why3 standard library](https://www.why3.org/stdlib/).