From 926555642729aabbe2c47e18cb7d6a1d40ff9df1 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Tue, 9 Sep 2025 18:56:57 +0000 Subject: [PATCH] Update README.md now that Challenge 1 is resolved This is a follow-up to #433 and #482. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d19c8379e5a80..84497b97840fc 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ These are the challenges: | Challenge | Reward | Status | Proof | | --------- | ------ | ------ | ----- | -| [1: Verify core transmuting methods](https://model-checking.github.io/verify-rust-std/challenges/0001-core-transmutation.html) | N/A | Open | | +| [1: Verify core transmuting methods](https://model-checking.github.io/verify-rust-std/challenges/0001-core-transmutation.html) | N/A | [Resolved](https://github.com/model-checking/verify-rust-std/issues/19) | [Kani](https://github.com/model-checking/verify-rust-std/blob/main/library/core/src/intrinsics/mod.rs) | | [2: Verify the memory safety of core intrinsics using raw pointers](https://model-checking.github.io/verify-rust-std/challenges/0002-intrinsics-memory.html) | N/A | Open | | | [3: Verifying Raw Pointer Arithmetic Operations](https://model-checking.github.io/verify-rust-std/challenges/0003-pointer-arithmentic.html) | N/A | [Resolved](https://github.com/model-checking/verify-rust-std/pull/212) | [Kani](https://github.com/model-checking/verify-rust-std/pull/212/files) | | [4: Memory safety of BTreeMap's `btree::node` module](https://model-checking.github.io/verify-rust-std/challenges/0004-btree-node.html) | 10,000 USD | Open | |