Fix challenges numbering

doc/src/SUMMARY.md

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

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

@@ -1,7 +1,7 @@
 # Challenge 1: Verify `core` transmuting methods
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/19)
+- **Tracking Issue:** [#19](https://github.com/model-checking/verify-rust-std/issues/19)
 - **Start date:** 2024-06-12
 - **End date:** 2024-12-10
 

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

@@ -1,7 +1,7 @@
 # Challenge 2: Verify the memory safery of core intrinsics using raw pointers
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/16)
+- **Tracking Issue:** [#16](https://github.com/model-checking/verify-rust-std/issues/16)
 - **Start date:** *24/06/12*
 - **End date:** *24/12/10*
 

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

@@ -2,7 +2,7 @@
 
 - **Status:** Open
 - **Solution:**
-- **Tracking Issue:** <https://github.com/model-checking/verify-rust-std/issues/21>
+- **Tracking Issue:** [#76](https://github.com/model-checking/verify-rust-std/issues/76)
 - **Start date:** 24/06/24
 - **End date:** 24/12/10
 

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

@@ -1,7 +1,7 @@
 # Challenge 4: Memory safety of BTreeMap's `btree::node` module
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/25)
+- **Tracking Issue:** [#77](https://github.com/model-checking/verify-rust-std/issues/77)
 - **Start date:** *2024-07-01*
 - **End date:** *2024-12-10*
 

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

@@ -1,7 +1,7 @@
 # Challenge 5: Verify functions iterating over inductive data type: `linked_list`
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/29)
+- **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29)
 - **Start date:** *24/07/01*
 - **End date:** *24/12/10*
 

doc/src/challenges/0006-nonnull.md

@@ -1,7 +1,7 @@
 # Challenge 6: Safety of NonNull
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/53)
+- **Tracking Issue:** [#53](https://github.com/model-checking/verify-rust-std/issues/53)
 - **Start date:** *2024-08-16*
 - **End date:** *2024-12-10*
 

doc/src/challenges/0008-smallsort.md

@@ -1,7 +1,7 @@
 # Challenge 8: Contracts for SmallSort
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/56)
+- **Tracking Issue:** [#56](https://github.com/model-checking/verify-rust-std/issues/56)
 - **Start date:** *2024-08-17*
 - **End date:** *2024-12-10*
 

doc/src/challenges/0010-string.md

@@ -1,7 +1,7 @@
 # Challenge 10: Memory safety of String
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/61)
+- **Tracking Issue:** [#61](https://github.com/model-checking/verify-rust-std/issues/61)
 - **Start date:** *2024-08-19*
 - **End date:** *2024-12-10*
 

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

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

doc/src/challenges/0012-nonzero.md

@@ -1,7 +1,7 @@
 # Challenge 12: Safety of `NonZero`
 
 - **Status:** Open
-- **Tracking Issue:** [Link to issue](https://github.com/model-checking/verify-rust-std/issues/71)
+- **Tracking Issue:** [#71](https://github.com/model-checking/verify-rust-std/issues/71)
 - **Start date:** *2024-08-23*
 - **End date:** *2024-12-10*