Code

Issue851#855

Code

Merged

brianhuffman merged 3 commits intomasterGaloisInc/cryptol:masterfrom issue851GaloisInc/cryptol:issue851Copy head branch name to clipboardJul 30, 2020

+77-42

Commits

Commits on Jul 30, 2020

• Add recognizer functions tIsRational and tIsFloat.

  

  Brian Huffman

  committed
  b7b4d9f

• Rewrite function toExpr using a complete pattern match.

  Show description for aac3c94
  

  Brian Huffman

  committed
  aac3c94

• Add regression test for #851.

  

  Brian Huffman

  committed
  331725e