Code

Mr Solver Widening#1600

Code

Merged

mergify[bot] merged 5 commits intomasterGaloisInc/saw-script:masterfrom mr-solver/wideningGaloisInc/saw-script:mr-solver/wideningCopy head branch name to clipboardMar 1, 2022

+262-118

Commits

Commits on Mar 1, 2022

• wrote the logic to generalize coinductive hypotheses

  

  Eddy Westbrook

  committed
  0959890

  Copy full SHA for 0959890

• fixed a bug in mrTypeOf, which was using the type context in the wrong order; fixed generalizeCoIndHyp, which was not generalizing the arg_spec itself that was being generalized; added FunNames to …

  Show description for 7df316c
  

  Eddy Westbrook

  committed
  7df316c

  Copy full SHA for 7df316c

• resolve warning, remove old comment

  m-yac

  committed
  1f4ebc2

  Copy full SHA for 1f4ebc2

• whoops, fixed a bug that was accidentally introduced in mrTypeOf by the previous commit; also reorganized some of the coinductive hypothesis code in Solver.hs

  

  Eddy Westbrook

  committed
  3c1393e

  Copy full SHA for 3c1393e

• added the new Mr Solver arrays example to the CI

  

  Eddy Westbrook

  committed
  b648dd0

  Copy full SHA for b648dd0