Skip to content

Commit c6cecce

Browse files
feliperodrifeliperodri
authored
Fix challenges numbering (model-checking#79)
1 parent e29fb31 commit c6cecce

11 files changed

+23
-21
lines changed

‎doc/src/SUMMARY.md

+13-11
Original file line numberDiff line numberDiff line change
@@ -13,14 +13,16 @@
1313
---
1414

1515
- [Challenges](./challenges.md)
16-
- [Core Transmutation](./challenges/0001-core-transmutation.md)
17-
- [Memory safety of core intrinsics](./challenges/0002-intrinsics-memory.md)
18-
- [Pointer Arithmetic](./challenges/0003-pointer-arithmentic.md)
19-
- [Memory safety of BTreeMap's `btree::node` module](./challenges/0004-btree-node.md)
20-
- [Inductive data type](./challenges/0005-linked-list.md)
21-
- [Safety of NonNull](./challenges/0006-nonnull.md)
22-
- [Contracts for SmallSort](./challenges/0008-smallsort.md)
23-
- [Safe abstractions for `core::time::Duration`](./challenges/0009-duration.md)
24-
- [Memory safety of String](./challenges/0010-string.md)
25-
- [Safety of Methods for Numeric Primitive Types](./challenges/0011-floats-ints.md)
26-
- [Safety of NonZero](./challenges/0012-nonzero.md)
16+
- [1: Verify core transmuting methods](./challenges/0001-core-transmutation.md)
17+
- [2: Verify the memory safery of core intrinsics using raw pointers](./challenges/0002-intrinsics-memory.md)
18+
- [3: Verifying Raw Pointer Arithmetic Operations](./challenges/0003-pointer-arithmentic.md)
19+
- [4: Memory safety of BTreeMap's `btree::node` module](./challenges/0004-btree-node.md)
20+
- [5: Verify functions iterating over inductive data type: `linked_list`](./challenges/0005-linked-list.md)
21+
- [6: Safety of `NonNull`](./challenges/0006-nonnull.md)
22+
- [8: Contracts for SmallSort](./challenges/0008-smallsort.md)
23+
- [9: Safe abstractions for `core::time::Duration`](./challenges/0009-duration.md)
24+
- [10: Memory safety of String](./challenges/0010-string.md)
25+
- [11: Safety of Methods for Numeric Primitive Types](./challenges/0011-floats-ints.md)
26+
- [12: Safety of `NonZero`](./challenges/0012-nonzero.md)
27+
28+

‎doc/src/challenges/0001-core-transmutation.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 1: Verify `core` transmuting methods
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/19)
4+
- **Tracking Issue:** [#19](https://github.com/model-checking/verify-rust-std/issues/19)
55
- **Start date:** 2024-06-12
66
- **End date:** 2024-12-10
77

‎doc/src/challenges/0002-intrinsics-memory.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 2: Verify the memory safery of core intrinsics using raw pointers
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/16)
4+
- **Tracking Issue:** [#16](https://github.com/model-checking/verify-rust-std/issues/16)
55
- **Start date:** *24/06/12*
66
- **End date:** *24/12/10*
77

‎doc/src/challenges/0003-pointer-arithmentic.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
- **Status:** Open
44
- **Solution:**
5-
- **Tracking Issue:** <https://github.com/model-checking/verify-rust-std/issues/21>
5+
- **Tracking Issue:** [#76](https://github.com/model-checking/verify-rust-std/issues/76)
66
- **Start date:** 24/06/24
77
- **End date:** 24/12/10
88

‎doc/src/challenges/0004-btree-node.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 4: Memory safety of BTreeMap's `btree::node` module
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/25)
4+
- **Tracking Issue:** [#77](https://github.com/model-checking/verify-rust-std/issues/77)
55
- **Start date:** *2024-07-01*
66
- **End date:** *2024-12-10*
77

‎doc/src/challenges/0005-linked-list.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 5: Verify functions iterating over inductive data type: `linked_list`
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/29)
4+
- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
55
- **Start date:** *24/07/01*
66
- **End date:** *24/12/10*
77

‎doc/src/challenges/0006-nonnull.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 6: Safety of NonNull
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/53)
4+
- **Tracking Issue:** [#53](https://github.com/model-checking/verify-rust-std/issues/53)
55
- **Start date:** *2024-08-16*
66
- **End date:** *2024-12-10*
77

‎doc/src/challenges/0008-smallsort.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 8: Contracts for SmallSort
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/56)
4+
- **Tracking Issue:** [#56](https://github.com/model-checking/verify-rust-std/issues/56)
55
- **Start date:** *2024-08-17*
66
- **End date:** *2024-12-10*
77

‎doc/src/challenges/0010-string.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 10: Memory safety of String
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/61)
4+
- **Tracking Issue:** [#61](https://github.com/model-checking/verify-rust-std/issues/61)
55
- **Start date:** *2024-08-19*
66
- **End date:** *2024-12-10*
77

‎doc/src/challenges/0011-floats-ints.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33

44
- **Status:** Open
5-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/59)
5+
- **Tracking Issue:** [#59](https://github.com/model-checking/verify-rust-std/issues/59)
66
- **Start date:** *2024-08-20*
77
- **End date:** *2024-12-10*
88

‎doc/src/challenges/0012-nonzero.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Challenge 12: Safety of `NonZero`
22

33
- **Status:** Open
4-
- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/71)
4+
- **Tracking Issue:** [#71](https://github.com/model-checking/verify-rust-std/issues/71)
55
- **Start date:** *2024-08-23*
66
- **End date:** *2024-12-10*
77

0 commit comments

Comments
 (0)