From 86fe2046f56e47b48bb537c1e60a93794dbefc6f Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 12 Dec 2024 18:56:53 +0000 Subject: [PATCH] Remove non-endorsement note We now have the foundation's endorsement for this work. --- doc/src/general-rules.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/src/general-rules.md b/doc/src/general-rules.md index b56ddc7e7d778..dfd12722fa7dd 100644 --- a/doc/src/general-rules.md +++ b/doc/src/general-rules.md @@ -6,8 +6,6 @@ and we kept a copy of the Rust standard library inside the `library/` folder that shall be used as the verification target for all our challenges. We will periodically update the `library/` folder to track newer versions of the [official Rust standard library](https://github.com/rust-lang/rust/). -**NOTE:** This work is not officially affiliated, or endorsed by the Rust project or Rust Foundation. - **Challenges:** Each individual verification effort will have a tracking issue where contributors can add comments and ask clarification questions. You can find the list of [open challenges here](https://github.com/model-checking/verify-rust-std/labels/Challenge).