From 53aa3dc684f8ecd425b5f5a7e55d299c64dcc543 Mon Sep 17 00:00:00 2001 From: Alex Le Blanc Date: Tue, 29 Jul 2025 13:22:42 -0400 Subject: [PATCH] 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*