Code

Newtype fix#1396

Code

Merged

robdockins merged 4 commits intomasterGaloisInc/saw-script:masterfrom newtype-fixGaloisInc/saw-script:newtype-fixCopy head branch name to clipboardJul 30, 2021

+25-83

Commits

Commits on Jul 29, 2021

• Bump cryptol submodule, update withSolver calls.

  Show description for c446e1f
  robdockins

  committed
  c446e1f

  Copy full SHA for c446e1f

• Update the saw-core translation of Cryptol selectors.

  Show description for 63ae2f8
  robdockins

  committed
  63ae2f8

  Copy full SHA for 63ae2f8

Commits on Jul 30, 2021

• Update saw-remote-api to track withSolver API changes.

  robdockins

  committed
  128440c

  Copy full SHA for 128440c

• squash unused import warnings

  robdockins

  committed
  aed443f

  Copy full SHA for aed443f