From 53aa3dc684f8ecd425b5f5a7e55d299c64dcc543 Mon Sep 17 00:00:00 2001 From: Alex Le Blanc Date: Tue, 29 Jul 2025 13:22:42 -0400 Subject: [PATCH 1/2] Update 0001-core-transmutation.md --- 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 66352a0ecb273..5993e8a402bb9 100644 --- a/doc/src/challenges/0001-core-transmutation.md +++ b/doc/src/challenges/0001-core-transmutation.md @@ -1,6 +1,6 @@ # Challenge 1: Verify `core` transmuting methods -- **Status:** Open +- **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* From d3543f0c6ad6339f6a42a5bffd2efc5082d60a80 Mon Sep 17 00:00:00 2001 From: Alex Le Blanc Date: Tue, 26 Aug 2025 15:04:13 -0400 Subject: [PATCH 2/2] Update 0001-core-transmutation.md --- doc/src/challenges/0001-core-transmutation.md | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/src/challenges/0001-core-transmutation.md b/doc/src/challenges/0001-core-transmutation.md index 5993e8a402bb9..a1761c0cbb667 100644 --- a/doc/src/challenges/0001-core-transmutation.md +++ b/doc/src/challenges/0001-core-transmutation.md @@ -5,6 +5,7 @@ - **Start date:** *2024/06/12* - **End date:** *2025/04/10* - **Reward:** *N/A* +- **Contributors**: [Alex Le Blanc](https://github.com/AlexLB99), [Patrick Lam](https://github.com/patricklam) -------------------