Update saw-core version and adapt to GaloisInc/saw-core#69.#821

Merged

brianhuffman merged 3 commits intomasterfrom typed-extcns

Aug 21, 2020

+13-49

Commits on Aug 21, 2020

Update saw-core version and adapt to GaloisInc/saw-core#69 .
Brian Huffman
committed
Use new function typedTermOfFirstOrderValue from cryptol-saw-core.
Brian Huffman
committed
Rewrite lambdas to use new abstractTypedExts from cryptol-saw-core.
Brian Huffman
committed