Code

Prune assumptions#915

Code

Draft

keyboardDrummer wants to merge 27 commits intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:pruneAssumptionskeyboardDrummer/boogie:pruneAssumptionsCopy head branch name to clipboard

+1,808-1,473

Commits

Commits on Jul 19, 2024

• Some good results with the prototype

  keyboardDrummer

  committed
  6c47a05

  Copy full SHA for 6c47a05

• Add block optimizations

  keyboardDrummer

  committed
  bd1e255

  Copy full SHA for bd1e255

• Make printing reliable

  keyboardDrummer

  committed
  a83c8fb

  Copy full SHA for a83c8fb

• Remove obsolete comment

  keyboardDrummer

  committed
  a8af071

  Copy full SHA for a8af071

• Refactor printing code

  keyboardDrummer

  committed
  edc7885

  Copy full SHA for edc7885

• Further printing refactoring

  keyboardDrummer

  committed
  0a04ac2

  Copy full SHA for 0a04ac2

• Do not introduce empty splits

  keyboardDrummer

  committed
  24e80ae

  Copy full SHA for 24e80ae

• Refactoring

  keyboardDrummer

  committed
  206d6cd

  Copy full SHA for 206d6cd

• Refactoring

  keyboardDrummer

  committed
  dd24bad

  Copy full SHA for dd24bad

• Update split printing

  keyboardDrummer

  committed
  a96f08a

  Copy full SHA for a96f08a

• Some fixes

  keyboardDrummer

  committed
  ebad173

  Copy full SHA for ebad173

Commits on Jul 22, 2024

• Laziness in block optimization

  keyboardDrummer

  committed
  6d31655

  Copy full SHA for 6d31655

• Merge remote-tracking branch 'origin/master' into pruneAssumptions

  keyboardDrummer

  committed
  bc8c963

  Copy full SHA for bc8c963

• Removed unused branch

  keyboardDrummer

  committed
  5dd99eb

  Copy full SHA for 5dd99eb

• Fixes

  keyboardDrummer

  committed
  c610cc0

  Copy full SHA for c610cc0

• Fix and reaches analysis

  keyboardDrummer

  committed
  adf9514

  Copy full SHA for adf9514

• Change live analysis

  keyboardDrummer

  committed
  6bad09b

  Copy full SHA for 6bad09b

• Algoritm update

  keyboardDrummer

  committed
  91f8553

  Copy full SHA for 91f8553

Commits on Jul 23, 2024

• Some hacks to make it work

  keyboardDrummer

  committed
  9dbeec2

  Copy full SHA for 9dbeec2

• Fixes

  keyboardDrummer

  committed
  152e4cd

  Copy full SHA for 152e4cd

• Fixes

  keyboardDrummer

  committed
  841b040

  Copy full SHA for 841b040

• Fix

  keyboardDrummer

  committed
  acde618

  Copy full SHA for acde618

• Tweak

  keyboardDrummer

  committed
  96fdae8

  Copy full SHA for 96fdae8

Commits on Jul 24, 2024

• Use globals vs locals idea. 3855 is still failing

  keyboardDrummer

  committed
  1e03e89

  Copy full SHA for 1e03e89

• 3855 passes now

  keyboardDrummer

  committed
  97fbea5

  Copy full SHA for 97fbea5

• Useless update

  keyboardDrummer

  committed
  3bfc33d

  Copy full SHA for 3bfc33d

• Tiny change

  keyboardDrummer

  committed
  2b174b5

  Copy full SHA for 2b174b5