From 297599356c1884b5eb9a302d2ba02ee65c6e388c Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 13 Aug 2025 09:57:45 +0000 Subject: [PATCH] Fixup merge resolution: 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. This PR restores what #459 originally proposed and had gotten approved, but was then lost during merge-conflict resolution. --- doc/src/challenges/0001-core-transmutation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/challenges/0001-core-transmutation.md b/doc/src/challenges/0001-core-transmutation.md index a1761c0cbb667..029a627f06289 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* - **Contributors**: [Alex Le Blanc](https://github.com/AlexLB99), [Patrick Lam](https://github.com/patricklam) -------------------