Code

fix: Correctly update wStmts#4015

Code

Merged

keyboardDrummer merged 3 commits intodafny-lang:masterdafny-lang/dafny:masterfrom fabiomadge:fix_4007fabiomadge/dafny:fix_4007Copy head branch name to clipboardMay 16, 2023

+19-3

Commits

Commits on May 15, 2023

• fix

  fabiomadge

  committed
  a5dfe84

  Copy full SHA for a5dfe84

• alpha renaming

  fabiomadge

  committed
  7a5891a

  Copy full SHA for 7a5891a

Commits on May 16, 2023

• Merge branch 'master' into fix_4007

  keyboardDrummer

  authored
  d3610c4

  Copy full SHA for d3610c4