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 1cd16136ed74b..1f635b72accf7 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/08/12* -- **Reward:** *5,000 USD* +- **Reward:** *20000 USD* - **Contributors:** [Bart Jacobs](https://github.com/btj) ------------------- 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* -------------------