Code

saw-core typechecking debugging#1496

Code

Merged

mergify[bot] merged 5 commits intomasterGaloisInc/saw-script:masterfrom saw-core/typechecking-debuggingGaloisInc/saw-script:saw-core/typechecking-debuggingCopy head branch name to clipboardNov 12, 2021

+29-8

Commits

Commits on Nov 3, 2021

• Adding debugging annotations for SAW-core functions

  jpaykin

  committed
  5a9ff20

  Copy full SHA for 5a9ff20

• Adding calls to withErrorTerm to typeInferComplete instances

  jpaykin

  committed
  04932e9

  Copy full SHA for 04932e9

Commits on Nov 12, 2021

• Merge branch 'master' into saw-core/typechecking-debugging

  jpaykin

  authored
  6a68c2f

  Copy full SHA for 6a68c2f

• Merge branch 'master' into saw-core/typechecking-debugging

  jpaykin

  authored
  8aa84c2

  Copy full SHA for 8aa84c2

• Merge branch 'master' into saw-core/typechecking-debugging

  

  Eddy Westbrook

  authored
  8b71591

  Copy full SHA for 8b71591