Code

Export hidden functions#989

Code

Merged

keyboardDrummer merged 7 commits intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:exportHiddenFunctionskeyboardDrummer/boogie:exportHiddenFunctionsCopy head branch name to clipboardNov 26, 2024

+49-15

Commits

Commits on Nov 22, 2024

• Let a Split expose what functions were hidden when computing its live declarations

  keyboardDrummer

  committed
  dc86662

  Copy full SHA for dc86662

• Fixes

  keyboardDrummer

  committed
  c9207aa

  Copy full SHA for c9207aa

• Update version number

  keyboardDrummer

  committed
  9409974

  Copy full SHA for 9409974

• Merge branch 'master' into exportHiddenFunctions

  keyboardDrummer

  authored
  af8861e

  Copy full SHA for af8861e

• Remove unused diff functions

  keyboardDrummer

  committed
  ecb4dc9

  Copy full SHA for ecb4dc9

• Merge branch 'exportHiddenFunctions' of github.com:keyboardDrummer/boogie into exportHiddenFunctions

  keyboardDrummer

  committed
  4d2d7ad

  Copy full SHA for 4d2d7ad

Commits on Nov 26, 2024

• Merge branch 'master' into exportHiddenFunctions

  keyboardDrummer

  authored
  9a98e1c

  Copy full SHA for 9a98e1c