This repository has been archived by the owner on Jun 11, 2021. It is now read-only.

Make test binary load, translate, and typecheck `Cryptol.cry`.#30

Merged

brianhuffman merged 6 commits intomasterfrom check-cryptol-prelude

Aug 6, 2020

+596-16

Commits on Jul 30, 2020

Make test binary load, translate, and typecheck Cryptol.cry.
Brian Huffman
committed
Fix saw-core type error in translation of SignedCmp [n] instance.
Brian Huffman
committed
Make test binary translate and check Float.cry and Array.cry.
Brian Huffman
committed
Add stubs for missing floating point primitives to Cryptol.sawcore.
Brian Huffman
committed
Make test binary translate and check some additional cryptol code.
Brian Huffman
committed

Commits on Jul 31, 2020

Extend translator with support for more class instance rules.
Brian Huffman
committed