Code

refined core transmutation challenge.#11

Code

Merged

tautschnig merged 13 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom pnkfelix:core-transmutation-challenge-2024-06pnkfelix/rust:core-transmutation-challenge-2024-06Copy head branch name to clipboardJun 12, 2024

+147

Commits

Commits on Jun 10, 2024

• refined core transmutation challenge.

  pnkfelix

  committed
  fc7bcf0

  Copy full SHA for fc7bcf0

Commits on Jun 11, 2024

• clarify that full-functional correctness is not the specific point of this challenge, and that it suffices to focus on the transmutation-related safety invariants.

  pnkfelix

  committed
  929dd4a

  Copy full SHA for 929dd4a

• added appendix explaining how the list of methods was constructed.

  pnkfelix

  committed
  3e7249a

  Copy full SHA for 3e7249a

• Address comments from reviewers

  Show description for 3db5b5a
  feliperodri

  committed
  3db5b5a

  Copy full SHA for 3db5b5a

Commits on Jun 12, 2024

• Merge branch 'main' into core-transmutation-challenge-2024-06

  tautschnig

  authored
  316196b

  Copy full SHA for 316196b

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  38d03e0

  Copy full SHA for 38d03e0

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  d0fadd4

  Copy full SHA for d0fadd4

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  e55b676

  Copy full SHA for e55b676

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  fbc02a3

  Copy full SHA for fbc02a3

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  21099fe

  Copy full SHA for 21099fe

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  ee50c83

  Copy full SHA for ee50c83

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  9a99cfc

  Copy full SHA for 9a99cfc

• Update doc/src/core-transmutation.md

  tautschnig

  authored
  e8fe674

  Copy full SHA for e8fe674