From dbec660548df962c8264c0718256fc9896e107a2 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 13 Aug 2025 09:57:45 +0000 Subject: [PATCH 1/3] Add and update rewards to open challenges lacking one Proposes a reward of 10k USD for several challenges and 20k for the larger ones among them. --- doc/src/challenges/0001-core-transmutation.md | 2 +- doc/src/challenges/0002-intrinsics-memory.md | 2 +- doc/src/challenges/0005-linked-list.md | 2 +- doc/src/challenges/0010-string.md | 1 + doc/src/challenges/0012-nonzero.md | 1 + doc/src/challenges/0013-cstr.md | 2 +- doc/src/challenges/0015-intrinsics-simd.md | 2 +- doc/src/challenges/0022-str-iter.md | 2 +- 8 files changed, 8 insertions(+), 6 deletions(-) diff --git a/doc/src/challenges/0001-core-transmutation.md b/doc/src/challenges/0001-core-transmutation.md index 66352a0ecb273..f257407295dd8 100644 --- a/doc/src/challenges/0001-core-transmutation.md +++ b/doc/src/challenges/0001-core-transmutation.md @@ -4,7 +4,7 @@ - **Tracking Issue:** [#19](https://github.com/model-checking/verify-rust-std/issues/19) - **Start date:** *2024/06/12* - **End date:** *2025/04/10* -- **Reward:** *N/A* +- **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0002-intrinsics-memory.md b/doc/src/challenges/0002-intrinsics-memory.md index 23aef0d36f50a..021c52d1ac018 100644 --- a/doc/src/challenges/0002-intrinsics-memory.md +++ b/doc/src/challenges/0002-intrinsics-memory.md @@ -4,7 +4,7 @@ - **Tracking Issue:** [#16](https://github.com/model-checking/verify-rust-std/issues/16) - **Start date:** *2024/06/12* - **End date:** *2025/04/10* -- **Reward:** *N/A* +- **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0005-linked-list.md b/doc/src/challenges/0005-linked-list.md index 3bfcb87cc73a3..b4d5dbca43c6a 100644 --- a/doc/src/challenges/0005-linked-list.md +++ b/doc/src/challenges/0005-linked-list.md @@ -4,7 +4,7 @@ - **Tracking Issue:** [#29](https://github.com/model-checking/verify-rust-std/issues/29) - **Start date:** *2024/07/01* - **End date:** *2025/04/10* -- **Reward:** *5,000 USD* +- **Reward:** *20000 USD* ------------------- diff --git a/doc/src/challenges/0010-string.md b/doc/src/challenges/0010-string.md index 8d884f34a55c7..a63e1c1980216 100644 --- a/doc/src/challenges/0010-string.md +++ b/doc/src/challenges/0010-string.md @@ -5,6 +5,7 @@ - **Start date:** *2024/08/19* - **End date:** *2025/04/10* - **Reward:** *N/A* +- **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0012-nonzero.md b/doc/src/challenges/0012-nonzero.md index 7a42360bca183..c3391f45c705d 100644 --- a/doc/src/challenges/0012-nonzero.md +++ b/doc/src/challenges/0012-nonzero.md @@ -5,6 +5,7 @@ - **Start date:** *2024/08/23* - **End date:** *2025/04/10* - **Reward:** *N/A* +- **Reward:** *10000 USD* ------------------- diff --git a/doc/src/challenges/0013-cstr.md b/doc/src/challenges/0013-cstr.md index bb0a20808ebd2..eb6e28d59b724 100644 --- a/doc/src/challenges/0013-cstr.md +++ b/doc/src/challenges/0013-cstr.md @@ -5,7 +5,7 @@ - **Tracking Issue:** [#150](https://github.com/model-checking/verify-rust-std/issues/150) - **Start date:** *2024/11/04* - **End date:** *2025/04/10* -- **Reward:** *N/A* +- **Reward:** *10000 USD* ------------------- ## Goal diff --git a/doc/src/challenges/0015-intrinsics-simd.md b/doc/src/challenges/0015-intrinsics-simd.md index 72a4d22bd9fd2..32ea982e08070 100644 --- a/doc/src/challenges/0015-intrinsics-simd.md +++ b/doc/src/challenges/0015-intrinsics-simd.md @@ -1,11 +1,11 @@ # Challenge 15: Contracts and Tests for SIMD Intrinsics - **Status:** Open -- **Reward:** - **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/0022-str-iter.md b/doc/src/challenges/0022-str-iter.md index 8dee36bc2a0cc..808bfe97ca453 100644 --- a/doc/src/challenges/0022-str-iter.md +++ b/doc/src/challenges/0022-str-iter.md @@ -4,7 +4,7 @@ - **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* +- **Reward:** *10000 USD* ------------------- From 5d96be1aa35584e7c11b976469ea21c79b307920 Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Wed, 8 Oct 2025 11:38:38 -0400 Subject: [PATCH 2/3] Update reward amount for challenge 0010-string --- doc/src/challenges/0010-string.md | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/src/challenges/0010-string.md b/doc/src/challenges/0010-string.md index a63e1c1980216..7c392b59ec7d2 100644 --- a/doc/src/challenges/0010-string.md +++ b/doc/src/challenges/0010-string.md @@ -4,7 +4,6 @@ - **Tracking Issue:** [#61](https://github.com/model-checking/verify-rust-std/issues/61) - **Start date:** *2024/08/19* - **End date:** *2025/04/10* -- **Reward:** *N/A* - **Reward:** *10000 USD* ------------------- From 017a5e3c75963848d899e20e62fccf3045fbc80b Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Wed, 8 Oct 2025 11:39:48 -0400 Subject: [PATCH 3/3] Update reward amount for challenge 12 --- doc/src/challenges/0012-nonzero.md | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/src/challenges/0012-nonzero.md b/doc/src/challenges/0012-nonzero.md index c3391f45c705d..2c48386dfdb3c 100644 --- a/doc/src/challenges/0012-nonzero.md +++ b/doc/src/challenges/0012-nonzero.md @@ -4,7 +4,6 @@ - **Tracking Issue:** [#71](https://github.com/model-checking/verify-rust-std/issues/71) - **Start date:** *2024/08/23* - **End date:** *2025/04/10* -- **Reward:** *N/A* - **Reward:** *10000 USD* -------------------