Code

Opaque block fresh soundness#6066

Code

Merged

keyboardDrummer merged 9 commits intodafny-lang:masterdafny-lang/dafny:masterfrom keyboardDrummer:opaqueBlockFreshSoundnesskeyboardDrummer/dafny:opaqueBlockFreshSoundnessCopy head branch name to clipboardFeb 10, 2025

+427-363

Commits

Commits on Jan 22, 2025

• Refactor if/else into switch

  keyboardDrummer

  committed
  95c15b6

  Copy full SHA for 95c15b6

• Add test and fix for opaque block soundness issue

  keyboardDrummer

  committed
  403cbb8

  Copy full SHA for 403cbb8

• Add release note

  keyboardDrummer

  committed
  9256353

  Copy full SHA for 9256353

Commits on Feb 5, 2025

• Back to if statement

  keyboardDrummer

  committed
  c694d51

  Copy full SHA for c694d51

• Merge remote-tracking branch 'origin/master' into opaqueBlockFreshSoundness

  keyboardDrummer

  committed
  b0fd0b3

  Copy full SHA for b0fd0b3

• Convert if to switch

  keyboardDrummer

  committed
  0737095

  Copy full SHA for 0737095

Commits on Feb 6, 2025

• Merge branch 'master' into opaqueBlockFreshSoundness

  keyboardDrummer

  authored
  34a516d

  Copy full SHA for 34a516d

Commits on Feb 8, 2025

• Merge branch 'master' into opaqueBlockFreshSoundness

  keyboardDrummer

  authored
  8f914d7

  Copy full SHA for 8f914d7

Commits on Feb 10, 2025

• Ran formatter

  keyboardDrummer

  committed
  d6f9e0e

  Copy full SHA for d6f9e0e