Code

Dangling vars#1736

Code

Merged

mergify[bot] merged 4 commits intomasterGaloisInc/saw-script:masterfrom dangling-varsGaloisInc/saw-script:dangling-varsCopy head branch name to clipboardSep 13, 2022

+55-16

Commits

Commits on Aug 31, 2022

• In the goal_eval and hoist_ifs_in_goal tactics, take more

  Show description for 072de66
  robdockins

  committed
  072de66

  Copy full SHA for 072de66

• Add a test case for the dangling variables bug.

  Show description for a0dcf3e
  robdockins

  committed
  a0dcf3e

  Copy full SHA for a0dcf3e

Commits on Sep 7, 2022

• s/unbindProp/unbindAndFreshenProp/g

  RyanGlScott

  committed
  9985cd1

  Copy full SHA for 9985cd1

Commits on Sep 13, 2022

• Merge branch 'master' into dangling-vars

  mergify[bot]

  authored
  4750250

  Copy full SHA for 4750250