Code

support no_unwind clause#56

Code

Merged

jaybosamiya merged 2 commits intoverus-lang:mainverus-lang/verusfmt:mainfrom tjhance:unwindtjhance/verusfmt:unwindCopy head branch name to clipboardApr 10, 2024

+44-1

Commits

Commits on Apr 9, 2024

• support no_unwind clause

  tjhance

  committed
  bd492fd

  Copy full SHA for bd492fd

Commits on Apr 10, 2024

• Update CHANGELOG for no_unwind

  jaybosamiya

  committed
  7d4456b

  Copy full SHA for 7d4456b