Code

Refactor AssumptionStack#1169

Code

Merged

langston-barrett merged 9 commits intoGaloisInc:masterGaloisInc/crucible:masterfrom langston-barrett:lb/assumption-stack-refactorlangston-barrett/crucible:lb/assumption-stack-refactorCopy head branch name to clipboardJan 24, 2024

+114-67

Commits

Commits on Jan 24, 2024

• crucible: Turn a tuple into PoppedFrame

  Show description for 5d76014
  langston-barrett

  committed
  5d76014

  Copy full SHA for 5d76014

• crucible: Helper for collecting PoppedFrame goals

  langston-barrett

  committed
  e1ffc07

  Copy full SHA for e1ffc07

• crucible: Helper for popping frames from AssumptionStack

  langston-barrett

  committed
  c1f3800

  Copy full SHA for c1f3800

• crucible: Another helper for popping frames from AssumptionStack

  langston-barrett

  committed
  24b6349

  Copy full SHA for 24b6349

• crucible: Document error conditions in AssumptionStack

  langston-barrett

  committed
  e27eba6

  Copy full SHA for e27eba6

• crucible: Rename popFrame{,OrPanic}, popFrame{Checked,}

  langston-barrett

  committed
  ea7e24d

  Copy full SHA for ea7e24d

• crucible: Don't export the constructor of AssumptionStack

  Show description for b62ca9e
  langston-barrett

  committed
  b62ca9e

  Copy full SHA for b62ca9e

• crucible: Add AssumptionStack refactors to CHANGELOG

  langston-barrett

  committed
  2bf03d1

  Copy full SHA for 2bf03d1

• crucible: Fix position of Haddock comment, remove comma

  langston-barrett

  committed
  a633fd9

  Copy full SHA for a633fd9