Merge branch 'main' into verify-iter-2

celinval · Dec 6, 2024 · 4d259e3 · 4d259e3
2 parents 690ade9 + e70a892
commit 4d259e3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/doc/src/challenges/0003-pointer-arithmentic.md b/doc/src/challenges/0003-pointer-arithmentic.md
@@ -88,7 +88,7 @@ At least 3 of the following usages were proven safe:
 
 | Function          | Location      |
 |-------------------|---------------|
-| \[u8\]::is_asc_ii | core::slice   |
+| \[u8\]::is_ascii | core::slice   |
 | String::remove    | alloc::string |
  | Vec::swap_remove | alloc::vec |
  | Option::as_slice | core::option |

diff --git a/doc/src/challenges/0011-floats-ints.md b/doc/src/challenges/0011-floats-ints.md
@@ -1,11 +1,12 @@
 # Challenge 11: Safety of Methods for Numeric Primitive Types
 
 
-- **Status:** Open
+- **Status:** Resolved
 - **Tracking Issue:** [#59](https://github.com/model-checking/verify-rust-std/issues/59)
 - **Start date:** *2024/08/20*
-- **End date:** *2025/04/10*
+- **End date:** *2024/12/04*
 - **Reward:** *N/A*
+- **Contributors**: [Rajath M Kotyal](https://github.com/rajathkotyal), [Yen-Yun Wu](https://github.com/Yenyun035), [Lanfei Ma](https://github.com/lanfeima), [Junfeng Jin](https://github.com/MWDZ)
 
 -------------------