Code

Update submodule versions.#1455

Code

Merged

mergify[bot] merged 2 commits intomasterGaloisInc/saw-script:masterfrom update-depsGaloisInc/saw-script:update-depsCopy head branch name to clipboardSep 15, 2021

+15-7

Commits

Commits on Sep 15, 2021

• Update submodule versions.

  

  Brian Huffman

  committed
  6a70cdd

  Copy full SHA for 6a70cdd

• Update and adapt to GaloisInc/cryptol#1281 "toSignedInteger".

  

  Brian Huffman

  committed
  ee6629f

  Copy full SHA for ee6629f