Code

Variable width char#864

Code

Open

brianhuffman wants to merge 3 commits intomasterGaloisInc/cryptol:masterfrom variable-width-charGaloisInc/cryptol:variable-width-charCopy head branch name to clipboard

+114-116

Commits

Commits on Aug 11, 2020

• Remove 8-bit type constraint for character/string literals.

  Show description for ad9fed2
  

  Brian Huffman

  committed
  ad9fed2

  Copy full SHA for ad9fed2

• Update test output with changed type variable names/numbers.

  

  Brian Huffman

  committed
  41438b7

  Copy full SHA for 41438b7

• Add type constraints to strings in some regression tests.

  

  Brian Huffman

  committed
  1df2bd8

  Copy full SHA for 1df2bd8