We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b540e67 commit 9330f29Copy full SHA for 9330f29
2 files changed
doc/src/challenges/0023-vec-pt1.md
@@ -4,7 +4,7 @@
4
- **Tracking Issue:** [#284](https://github.com/model-checking/verify-rust-std/issues/284)
5
- **Start date:** *2025-03-07*
6
- **End date:** *2025-10-17*
7
-- **Reward:** *5000 USD*
+- **Reward:** *10000 USD*
8
9
-------------------
10
doc/src/challenges/0024-vec-pt2.md
- **Tracking Issue:** [#285](https://github.com/model-checking/verify-rust-std/issues/285)
- **Start date:** *2025/03/07*
- **End date:** *2025/10/17*
0 commit comments