Code

Add contest book#6

Code

Merged

celinval merged 5 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

celinval:contest-0000-basiccelinval/rust-dev:contest-0000-basicCopy head branch name to clipboard

Jun 4, 2024

Commits

Commits on Jun 3, 2024

• Add book entry

  celinval

  committed
  7c22812

  Copy full SHA for 7c22812

• Add a few more configuration files

  celinval

  committed
  1295490

  Copy full SHA for 1295490

Commits on Jun 4, 2024

• Fix workflow after adding link check

  celinval

  committed
  a965bb3

  Copy full SHA for a965bb3

• Fix .github/workflows/book.yml

  celinval

  authored
  98bad46

  Copy full SHA for 98bad46

• Update doc/src/general-rules.md

  Show description for 574e0c6
  

  celinval

  and

  jaisnan

  authored
  574e0c6

  Copy full SHA for 574e0c6