Code

Add toSignedInteger primitive.#1281

Code

Merged

brianhuffman merged 2 commits intomasterGaloisInc/cryptol:masterfrom toSignedIntegerGaloisInc/cryptol:toSignedIntegerCopy head branch name to clipboardSep 14, 2021

+47-22

Commits

Commits on Sep 11, 2021

• Add primitive toSignedInteger.

  

  Brian Huffman

  committed
  d1883ca

• Update expected test output.

  Show description for 869deb1
  

  Brian Huffman

  committed
  869deb1