From 9e29edf8c6cf6b1b91f2af1ba89a0ece44aa0daf Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Tue, 4 Aug 2026 14:33:29 -0400 Subject: [PATCH] Remove end dates from challenges Challenges no longer have a fixed end date. Contributors are welcome to tackle any open challenge regardless of the dates that were previously listed, many of which had already passed. Drops the "End date" field from all 29 existing challenge documents and from the challenge template so that new challenges are not created with one. Signed-off-by: Felipe R. Monteiro --- doc/src/challenge_template.md | 1 - doc/src/challenges/0001-core-transmutation.md | 1 - doc/src/challenges/0002-intrinsics-memory.md | 1 - doc/src/challenges/0003-pointer-arithmentic.md | 1 - doc/src/challenges/0004-btree-node.md | 1 - doc/src/challenges/0005-linked-list.md | 1 - doc/src/challenges/0006-nonnull.md | 1 - doc/src/challenges/0007-atomic-types.md | 1 - doc/src/challenges/0008-smallsort.md | 1 - doc/src/challenges/0009-duration.md | 1 - doc/src/challenges/0010-string.md | 1 - doc/src/challenges/0011-floats-ints.md | 1 - doc/src/challenges/0012-nonzero.md | 1 - doc/src/challenges/0013-cstr.md | 1 - doc/src/challenges/0014-convert-num.md | 1 - doc/src/challenges/0015-intrinsics-simd.md | 1 - doc/src/challenges/0016-iter.md | 1 - doc/src/challenges/0017-slice.md | 1 - doc/src/challenges/0018-slice-iter.md | 1 - doc/src/challenges/0019-rawvec.md | 1 - doc/src/challenges/0020-str-pattern-pt1.md | 1 - doc/src/challenges/0021-str-pattern-pt2.md | 1 - doc/src/challenges/0022-str-iter.md | 1 - doc/src/challenges/0023-vec-pt1.md | 1 - doc/src/challenges/0024-vec-pt2.md | 1 - doc/src/challenges/0025-vecdeque.md | 1 - doc/src/challenges/0026-rc.md | 1 - doc/src/challenges/0027-arc.md | 1 - doc/src/challenges/0028-flt2dec.md | 1 - doc/src/challenges/0029-boxed.md | 1 - 30 files changed, 30 deletions(-) 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* -------------------