Code

Remove {:vcs_split_on_every_assert}#166

Code

Merged

stefan-aws merged 2 commits intomaindafny-lang/Dafny-VMC:mainfrom remove-split-on-every-assertdafny-lang/Dafny-VMC:remove-split-on-every-assertCopy head branch name to clipboardMar 14, 2024

+19-23

Commits

Commits on Mar 11, 2024

• fix

  stefan-aws

  committed
  a36c2a8

  Copy full SHA for a36c2a8

Commits on Mar 14, 2024

• Merge branch 'main' into remove-split-on-every-assert

  jtristan

  authored
  aa3f1d2

  Copy full SHA for aa3f1d2