Code

Panic freedom with F*#133

Code

Draft

karthikbhargavan wants to merge 12 commits intomaincryspen/bertie:mainfrom fstar-fixescryspen/bertie:fstar-fixesCopy head branch name to clipboard

+6,118-4,692

Commits

Commits on Jan 12, 2025

• getting fstar to verify without patches

  karthikbhargavan

  committed
  0bf761a

  Copy full SHA for 0bf761a

Commits on Jan 14, 2025

• wip: panic freedom

  karthikbhargavan

  committed
  a2515dd

  Copy full SHA for a2515dd

Commits on Jan 15, 2025

• fsti

  karthikbhargavan

  committed
  c00e4ce

  Copy full SHA for c00e4ce

• pushing formats

  karthikbhargavan

  committed
  df9e597

  Copy full SHA for df9e597

Commits on Jan 16, 2025

• Merge branch 'main' into fstar-fixes

  karthikbhargavan

  committed
  3583640

  Copy full SHA for 3583640

• fmt

  karthikbhargavan

  committed
  ba07f35

  Copy full SHA for ba07f35

• secret integer fix

  karthikbhargavan

  committed
  3964f3e

  Copy full SHA for 3964f3e

• cfg hax

  karthikbhargavan

  committed
  64a2505

  Copy full SHA for 64a2505

• cfg hax

  karthikbhargavan

  committed
  aed4d9c

  Copy full SHA for aed4d9c

• cfg hax

  karthikbhargavan

  committed
  0ef31c7

  Copy full SHA for 0ef31c7

• lint

  karthikbhargavan

  committed
  f12e2c3

  Copy full SHA for f12e2c3

• Merge branch 'main' into fstar-fixes

  karthikbhargavan

  authored
  213ade1

  Copy full SHA for 213ade1