Code

More Heapster lifetime debugging#1509

Code

Merged

mergify[bot] merged 9 commits intomasterGaloisInc/saw-script:masterfrom heapster/more-lifetime-debuggingGaloisInc/saw-script:heapster/more-lifetime-debuggingCopy head branch name to clipboardNov 15, 2021

+85-33

Commits

Commits on Nov 12, 2021

• made the pretty-printer for bv expressions nicer, by converting constants to signed instead of unsigned integers and not printing the +0 at the end for a 0 constant portion; also added tracing for …

  Show description for 96b1099
  

  Eddy Westbrook

  committed
  96b1099

  Copy full SHA for 96b1099

• changed solveForPermListImplBlock to require a known range for the block on the right-hand side, so that bvDeleteRanges works correctly

  

  Eddy Westbrook

  committed
  3f87d22

  Copy full SHA for 3f87d22

• Merge remote-tracking branch 'origin/master' into heapster/more-lifetime-debugging

  

  Eddy Westbrook

  committed
  9fc36cf

  Copy full SHA for 9fc36cf

• Merge remote-tracking branch 'origin/saw-core/typechecking-debugging' into heapster/more-lifetime-debugging

  

  Eddy Westbrook

  committed
  8216232

  Copy full SHA for 8216232

• bug fix: SImpl_SplitLifetime was adding LOwnedPerms in the wrong order

  

  Eddy Westbrook

  committed
  9298614

  Copy full SHA for 9298614

Commits on Nov 13, 2021

• added a type for Formatter::write_fmt to the rust_data example

  

  Eddy Westbrook

  committed
  925a460

  Copy full SHA for 925a460

• Merge branch 'master' into heapster/more-lifetime-debugging

  

  Eddy Westbrook

  authored
  5ef51b3

  Copy full SHA for 5ef51b3

Commits on Nov 15, 2021

• Merge branch 'master' into heapster/more-lifetime-debugging

  m-yac

  authored
  78d9148

  Copy full SHA for 78d9148

• Merge branch 'master' into heapster/more-lifetime-debugging

  

  Eddy Westbrook

  authored
  4c29623

  Copy full SHA for 4c29623