Code

Revert isolation#966

Code

Merged

keyboardDrummer merged 4 commits intoboogie-org:masterboogie-org/boogie:masterfrom fabiomadge:revert_isolationfabiomadge/boogie:revert_isolationCopy head branch name to clipboardOct 15, 2024

+2,577-3,437

Commits

Commits on Oct 15, 2024

• Revert "fix: Skip empty splits (boogie-org#965)"

  Show description for b20f9f2
  fabiomadge

  committed
  b20f9f2

  Copy full SHA for b20f9f2

• Revert "Extracted refactorings from boogie-org#960 (boogie-org#961)"

  Show description for 0a9babb
  fabiomadge

  committed
  0a9babb

  Copy full SHA for 0a9babb

• Revert "Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands (boogie-org#952)"

  Show description for 2eb33e2
  fabiomadge

  committed
  2eb33e2

  Copy full SHA for 2eb33e2

• bump version

  fabiomadge

  committed
  588b308

  Copy full SHA for 588b308