cryptol-saw-core: SuiteB and ECC prims#1342

Merged

mergify[bot] merged 3 commits intomasterfrom suiteb-ecc-prims

Jun 16, 2021

+123-5

Commits on Jun 16, 2021

Add stubs for SuiteB and PrimeEC primitives to Cryptol.sawcore.
Brian Huffman
committed
Support SuiteB and PrimeEC primitives in translator.
Brian Huffman
committed
Extend cryptol-saw-core tests to include SuiteB.cry and PrimeEC.cry.
Brian Huffman
committed