Code

Allow /prune:0 to disable pruning#848

Code

Merged

keyboardDrummer merged 6 commits intoboogie-org:masterboogie-org/boogie:masterfrom atomb:noprune-flagatomb/boogie:noprune-flagCopy head branch name to clipboardFeb 14, 2024

+37-20

Commits

Commits on Feb 13, 2024

• Add /noprune flag

  Show description for 7e4b1d5
  atomb

  committed
  7e4b1d5

  Copy full SHA for 7e4b1d5

• Bump version

  atomb

  committed
  cf56ae3

  Copy full SHA for cf56ae3

• Change /prune, /noprune to /prune:{0,1}

  atomb

  committed
  6211b1f

  Copy full SHA for 6211b1f

• Fix a few tests

  atomb

  committed
  bb75430

  Copy full SHA for bb75430

• Merge remote-tracking branch 'upstream/master' into noprune-flag

  atomb

  committed
  d6250c2

  Copy full SHA for d6250c2

• Fix one more test

  atomb

  committed
  334acf0

  Copy full SHA for 334acf0