diff --git a/doc/src/challenge_template.md b/doc/src/challenge_template.md index a39fad01050f1..0c59a6b0af0be 100644 --- a/doc/src/challenge_template.md +++ b/doc/src/challenge_template.md @@ -4,7 +4,6 @@ - **Solution:** *Option field to point to the PR that solved this challenge.* - **Tracking Issue:** *Link to issue* - **Start date:** *YYYY/MM/DD* -- **End date:** *YYYY/MM/DD* - **Reward:** *TBD*[^reward] ------------------- diff --git a/doc/src/challenges/0001-core-transmutation.md b/doc/src/challenges/0001-core-transmutation.md index 029a627f06289..b384aa5f5fbbb 100644 --- a/doc/src/challenges/0001-core-transmutation.md +++ b/doc/src/challenges/0001-core-transmutation.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#19](https://github.com/model-checking/verify-rust-std/issues/19) - **Start date:** *2024/06/12* -- **End date:** *2025/04/10* - **Reward:** *10000 USD* - **Contributors**: [Alex Le Blanc](https://github.com/AlexLB99), [Patrick Lam](https://github.com/patricklam) diff --git a/doc/src/challenges/0002-intrinsics-memory.md b/doc/src/challenges/0002-intrinsics-memory.md index 021c52d1ac018..2b1dd4d1f5930 100644 --- a/doc/src/challenges/0002-intrinsics-memory.md +++ b/doc/src/challenges/0002-intrinsics-memory.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#16](https://github.com/model-checking/verify-rust-std/issues/16) - **Start date:** *2024/06/12* -- **End date:** *2025/04/10* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0003-pointer-arithmentic.md b/doc/src/challenges/0003-pointer-arithmentic.md index 65fb3074cf487..c8ede475aab44 100644 --- a/doc/src/challenges/0003-pointer-arithmentic.md +++ b/doc/src/challenges/0003-pointer-arithmentic.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#76](https://github.com/model-checking/verify-rust-std/issues/76) - **Start date:** *2024/06/24* -- **End date:** *2024/12/11* - **Reward:** *N/A* - **Contributors:** [Surya Togaru](https://github.com/stogaru), [Yifei Wang](https://github.com/xsxszab), [Szu-Yu Lee](https://github.com/szlee118), [Mayuresh Joshi](https://github.com/MayureshJoshi25) diff --git a/doc/src/challenges/0004-btree-node.md b/doc/src/challenges/0004-btree-node.md index 838d9199b400b..907afbe71c22d 100644 --- a/doc/src/challenges/0004-btree-node.md +++ b/doc/src/challenges/0004-btree-node.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#77](https://github.com/model-checking/verify-rust-std/issues/77) - **Start date:** *2024/07/01* -- **End date:** *2025/04/10* - **Reward:** *10,000 USD* ------------------- diff --git a/doc/src/challenges/0005-linked-list.md b/doc/src/challenges/0005-linked-list.md index 1f635b72accf7..4a5debc25308b 100644 --- a/doc/src/challenges/0005-linked-list.md +++ b/doc/src/challenges/0005-linked-list.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29) - **Start date:** *2024/07/01* -- **End date:** *2025/08/12* - **Reward:** *20000 USD* - **Contributors:** [Bart Jacobs](https://github.com/btj) diff --git a/doc/src/challenges/0006-nonnull.md b/doc/src/challenges/0006-nonnull.md index 4b1b73b75ccf5..0218aaeb9199d 100644 --- a/doc/src/challenges/0006-nonnull.md +++ b/doc/src/challenges/0006-nonnull.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#53](https://github.com/model-checking/verify-rust-std/issues/53) - **Start date:** *2024/08/16* -- **End date:** *2025/04/10* - **Reward:** *N/A* - **Contributors**: [Quinyuan Wu](https://github.com/QinyuanWu), [Daniel Tu](https://github.com/danielhumanmod), [Dhvani Kapadia](https://github.com/Dhvani-Kapadia) and [Jiun Chi Yang](https://github.com/Jimmycreative) ------------------- diff --git a/doc/src/challenges/0007-atomic-types.md b/doc/src/challenges/0007-atomic-types.md index 43a19f805a382..64c247ed31d08 100644 --- a/doc/src/challenges/0007-atomic-types.md +++ b/doc/src/challenges/0007-atomic-types.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#83](https://github.com/model-checking/verify-rust-std/issues/83) - **Start date:** *2024/10/30* -- **End date:** *2025/04/10* - **Reward:** *10,000 USD* ------------------- diff --git a/doc/src/challenges/0008-smallsort.md b/doc/src/challenges/0008-smallsort.md index ea4e90caa94dc..55f0552c6762b 100644 --- a/doc/src/challenges/0008-smallsort.md +++ b/doc/src/challenges/0008-smallsort.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#56](https://github.com/model-checking/verify-rust-std/issues/56) - **Start date:** *2024/08/17* -- **End date:** *2025/04/10* - **Reward:** *10,000 USD* ------------------- diff --git a/doc/src/challenges/0009-duration.md b/doc/src/challenges/0009-duration.md index 4d44f20376cc4..b30742ada4363 100644 --- a/doc/src/challenges/0009-duration.md +++ b/doc/src/challenges/0009-duration.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#72](https://github.com/model-checking/verify-rust-std/issues/72) - **Start date:** *2024/08/20* -- **End date:** *2024/12/10* - **Reward:** *N/A* - **Contributors**: [Samuel Thomas](https://github.com/sgpthomas) and [Cole Vick](https://github.com/cvick32) ------------------- diff --git a/doc/src/challenges/0010-string.md b/doc/src/challenges/0010-string.md index 7c392b59ec7d2..26e493f8dfb8c 100644 --- a/doc/src/challenges/0010-string.md +++ b/doc/src/challenges/0010-string.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#61](https://github.com/model-checking/verify-rust-std/issues/61) - **Start date:** *2024/08/19* -- **End date:** *2025/04/10* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0011-floats-ints.md b/doc/src/challenges/0011-floats-ints.md index 2d80453e25c3c..95760e976c43a 100644 --- a/doc/src/challenges/0011-floats-ints.md +++ b/doc/src/challenges/0011-floats-ints.md @@ -4,7 +4,6 @@ - **Status:** Resolved - **Tracking Issue:** [#59](https://github.com/model-checking/verify-rust-std/issues/59) - **Start date:** *2024/08/20* -- **End date:** *2024/12/04* - **Reward:** *N/A* - **Contributors**: [Rajath M Kotyal](https://github.com/rajathkotyal), [Yen-Yun Wu](https://github.com/Yenyun035), [Lanfei Ma](https://github.com/lanfeima), [Junfeng Jin](https://github.com/MWDZ) diff --git a/doc/src/challenges/0012-nonzero.md b/doc/src/challenges/0012-nonzero.md index 2c48386dfdb3c..85326244572cb 100644 --- a/doc/src/challenges/0012-nonzero.md +++ b/doc/src/challenges/0012-nonzero.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#71](https://github.com/model-checking/verify-rust-std/issues/71) - **Start date:** *2024/08/23* -- **End date:** *2025/04/10* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0013-cstr.md b/doc/src/challenges/0013-cstr.md index eb6e28d59b724..1a112713ef315 100644 --- a/doc/src/challenges/0013-cstr.md +++ b/doc/src/challenges/0013-cstr.md @@ -4,7 +4,6 @@ - **Solution:** - **Tracking Issue:** [#150](https://github.com/model-checking/verify-rust-std/issues/150) - **Start date:** *2024/11/04* -- **End date:** *2025/04/10* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0014-convert-num.md b/doc/src/challenges/0014-convert-num.md index ec784d09dadd1..6c398bb74fc8e 100644 --- a/doc/src/challenges/0014-convert-num.md +++ b/doc/src/challenges/0014-convert-num.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#220](https://github.com/model-checking/verify-rust-std/issues/220) - **Start date:** 2024/12/15 -- **End date:** 2025/2/28 - **Prize:** *TBD* - **Contributors**: [Shoyu Vanilla](https://github.com/ShoyuVanilla) ------------------- diff --git a/doc/src/challenges/0015-intrinsics-simd.md b/doc/src/challenges/0015-intrinsics-simd.md index 32ea982e08070..a927b1a0bc045 100644 --- a/doc/src/challenges/0015-intrinsics-simd.md +++ b/doc/src/challenges/0015-intrinsics-simd.md @@ -4,7 +4,6 @@ - **Solution:** - **Tracking Issue:** [#173](https://github.com/model-checking/verify-rust-std/issues/173) - **Start date:** 2025/02/01 -- **End date:** 2025/08/01 - **Reward:** *20000 USD* ------------------- diff --git a/doc/src/challenges/0016-iter.md b/doc/src/challenges/0016-iter.md index b85b9badc70a4..89f55669c35b0 100644 --- a/doc/src/challenges/0016-iter.md +++ b/doc/src/challenges/0016-iter.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#280](https://github.com/model-checking/verify-rust-std/issues/280) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *10,000 USD* ------------------- diff --git a/doc/src/challenges/0017-slice.md b/doc/src/challenges/0017-slice.md index 4ecda06a3ec47..76f4dd8b02039 100644 --- a/doc/src/challenges/0017-slice.md +++ b/doc/src/challenges/0017-slice.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#281](https://github.com/model-checking/verify-rust-std/issues/281) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0018-slice-iter.md b/doc/src/challenges/0018-slice-iter.md index 6b59bae162c53..74c02df42d9b9 100644 --- a/doc/src/challenges/0018-slice-iter.md +++ b/doc/src/challenges/0018-slice-iter.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#282](https://github.com/model-checking/verify-rust-std/issues/282) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0019-rawvec.md b/doc/src/challenges/0019-rawvec.md index 133339ebe899c..08bd4afa9de27 100644 --- a/doc/src/challenges/0019-rawvec.md +++ b/doc/src/challenges/0019-rawvec.md @@ -3,7 +3,6 @@ - **Status:** Resolved - **Tracking Issue:** [#283](https://github.com/model-checking/verify-rust-std/issues/283) - **Start date:** *2025-03-07* -- **End date:** *2025-08-12* - **Reward:** *10000 USD* - **Contributors:** [Bart Jacobs](https://github.com/btj) diff --git a/doc/src/challenges/0020-str-pattern-pt1.md b/doc/src/challenges/0020-str-pattern-pt1.md index 12d6066fe77b6..a551ef74bcf90 100644 --- a/doc/src/challenges/0020-str-pattern-pt1.md +++ b/doc/src/challenges/0020-str-pattern-pt1.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#277](https://github.com/model-checking/verify-rust-std/issues/277) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *25000 USD* ------------------- diff --git a/doc/src/challenges/0021-str-pattern-pt2.md b/doc/src/challenges/0021-str-pattern-pt2.md index e8a6bb6ed7bf0..bd209eb072a9c 100644 --- a/doc/src/challenges/0021-str-pattern-pt2.md +++ b/doc/src/challenges/0021-str-pattern-pt2.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#278](https://github.com/model-checking/verify-rust-std/issues/278) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *25000 USD* ------------------- diff --git a/doc/src/challenges/0022-str-iter.md b/doc/src/challenges/0022-str-iter.md index 808bfe97ca453..8b01d82b6e60e 100644 --- a/doc/src/challenges/0022-str-iter.md +++ b/doc/src/challenges/0022-str-iter.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#279](https://github.com/model-checking/verify-rust-std/issues/279) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0023-vec-pt1.md b/doc/src/challenges/0023-vec-pt1.md index 08259fefbf9de..88bace6ed4e36 100644 --- a/doc/src/challenges/0023-vec-pt1.md +++ b/doc/src/challenges/0023-vec-pt1.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#284](https://github.com/model-checking/verify-rust-std/issues/284) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *15000 USD* ------------------- diff --git a/doc/src/challenges/0024-vec-pt2.md b/doc/src/challenges/0024-vec-pt2.md index c3b1ac84cf9cf..ddb49a6ff851c 100644 --- a/doc/src/challenges/0024-vec-pt2.md +++ b/doc/src/challenges/0024-vec-pt2.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#285](https://github.com/model-checking/verify-rust-std/issues/285) - **Start date:** *2025/03/07* -- **End date:** *2025/10/17* - **Reward:** *15000 USD* ------------------- diff --git a/doc/src/challenges/0025-vecdeque.md b/doc/src/challenges/0025-vecdeque.md index 5185dcc031bbf..79d6fc517c6f7 100644 --- a/doc/src/challenges/0025-vecdeque.md +++ b/doc/src/challenges/0025-vecdeque.md @@ -3,7 +3,6 @@ - **Status:** Open - **Tracking Issue:** [#286](https://github.com/model-checking/verify-rust-std/issues/286) - **Start date:** *2025-03-07* -- **End date:** *2025-10-17* - **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0026-rc.md b/doc/src/challenges/0026-rc.md index b5fc0a329243e..08a1f83f7511b 100644 --- a/doc/src/challenges/0026-rc.md +++ b/doc/src/challenges/0026-rc.md @@ -4,7 +4,6 @@ - **Solution:** *Option field to point to the PR that solved this challenge.* - **Tracking Issue:** [#382](https://github.com/model-checking/verify-rust-std/issues/382) - **Start date:** *2025/06/01* -- **End date:** *2025/12/31* - **Reward:** *10,000 USD* ------------------- diff --git a/doc/src/challenges/0027-arc.md b/doc/src/challenges/0027-arc.md index 4081356ef9e8a..9edb3f55a13fd 100644 --- a/doc/src/challenges/0027-arc.md +++ b/doc/src/challenges/0027-arc.md @@ -4,7 +4,6 @@ - **Solution:** *Option field to point to the PR that solved this challenge.* - **Tracking Issue:** [#383](https://github.com/model-checking/verify-rust-std/issues/383) - **Start date:** *2025/06/01* -- **End date:** *2025/12/31* - **Reward:** *10,000 USD* ------------------- diff --git a/doc/src/challenges/0028-flt2dec.md b/doc/src/challenges/0028-flt2dec.md index a5a52a25b503d..730d18a854898 100644 --- a/doc/src/challenges/0028-flt2dec.md +++ b/doc/src/challenges/0028-flt2dec.md @@ -4,7 +4,6 @@ - **Solution:** *Option field to point to the PR that solved this challenge.* - **Tracking Issue:** [#524](https://github.com/model-checking/verify-rust-std/issues/524) - **Start date:** *2026/01/01* -- **End date:** *2026/08/31* - **Reward:** *5,000 USD* ------------------- diff --git a/doc/src/challenges/0029-boxed.md b/doc/src/challenges/0029-boxed.md index 6e4dcf0531127..7559e49008069 100644 --- a/doc/src/challenges/0029-boxed.md +++ b/doc/src/challenges/0029-boxed.md @@ -4,7 +4,6 @@ - **Solution:** *Option field to point to the PR that solved this challenge.* - **Tracking Issue:** [#526](https://github.com/model-checking/verify-rust-std/issues/526) - **Start date:** *2026/01/01* -- **End date:** *2026/12/31* - **Reward:** *15,000 USD* -------------------