Code

miri; fix unsafe ub#915

Code

Open

maksimryndin wants to merge 3 commits intostarkware-libs:devstarkware-libs/stwo:devfrom maksimryndin:ub-detection-mirimaksimryndin/stwo:ub-detection-miriCopy head branch name to clipboard

+106-106

Commits

Commits on Nov 29, 2024

• miri; fix unsafe ub

  maksimryndin

  committed
  af0d548

  Copy full SHA for af0d548

Commits on Nov 30, 2024

• miri ci specify lib only

  maksimryndin

  committed
  1730cf9

  Copy full SHA for 1730cf9

Commits on Dec 3, 2024

• merge latest

  maksimryndin

  committed
  c804737

  Copy full SHA for c804737