Code

Add Challenge 19: Safety of RawVec#314

Code

Open

thanhnguyen-aws wants to merge 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

thanhnguyen-aws:rawvecchallengethanhnguyen-aws/verify-rust-std:rawvecchallengeCopy head branch name to clipboard

Commits

Commits on Apr 3, 2025

• add rawvec challenge

  thanhnguyen-aws

  committed
  9854f93

  Copy full SHA for 9854f93

• add rawvec challenge

  thanhnguyen-aws

  committed
  613291d

  Copy full SHA for 613291d

Commits on Apr 4, 2025

• Merge branch 'main' into rawvecchallenge

  tautschnig

  authored
  dcd19cd

  Copy full SHA for dcd19cd

• Update doc/src/challenges/0019-rawvec.md

  tautschnig

  authored
  c3ed50a

  Copy full SHA for c3ed50a