Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix challenge numbers and move to challenges/ dir #22

Merged
merged 2 commits into from
Jun 21, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions doc/src/SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,6 @@

---

# Challenges
- [Core Transmutation](./core-transmutation.md)
- [Memory safety of core intrinsics](./intrinsics-memory.md)
- [Challenges](./challenges.md)
- [Core Transmutation](./challenges/0001-core-transmutation.md)
- [Memory safety of core intrinsics](./challenges/0002-intrinsics-memory.md)
7 changes: 7 additions & 0 deletions doc/src/challenges.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
This chapter contains all existing challenges, including the ones that have already been solved or expired.

For the most up-to-date information on a challenge status,
please check their tracking issue linked in the challenge description.

If you would like to submit a new challenge, please see
["Call for Challenges" section](./general-rules.md#call-for-challenges).
Original file line number Diff line number Diff line change
Expand Up @@ -83,5 +83,5 @@ All proofs must automatically ensure the absence of the following undefined beha
* Producing an invalid value


Note: All solutions to verification challenges need to satisfy the criteria established in the [challenge book](general-rules.md)
Note: All solutions to verification challenges need to satisfy the criteria established in the [challenge book](../general-rules.md)
in addition to the ones listed above.
2 changes: 1 addition & 1 deletion doc/src/template.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Challenge XXXX[^challenge_id]: Challenge Title

- **Status:** *One of the following: [Open | Resolved | Expired]*
- **Status:** *One of the following: \[Open | Resolved | Expired\]*
- **Solution:** *Option field to point to the PR that solved this challenge.*
- **Tracking Issue:** *Link to issue*
- **Start date:** *YY/MM/DD*
Expand Down
Loading