Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Update cryptol #175

Merged
merged 2 commits into from
Mar 2, 2021
Merged

Update cryptol #175

merged 2 commits into from
Mar 2, 2021

Conversation

brianhuffman
Copy link
Contributor

Updates to the cryptol-saw-core package to adapt to GaloisInc/cryptol#1066 and GaloisInc/cryptol#1075.

Brian Huffman added 2 commits March 2, 2021 11:33
This adapts cryptol-saw-core to GaloisInc/cryptol#1066.

(Note: saw-core PR #158 was intended to adapt to the same cryptol
PR, but missing translations for the new cryptol primitives caused
the cryptol-saw-core test suite to fail. This PR fixes the test
suite failure.)
@brianhuffman brianhuffman requested a review from robdockins March 2, 2021 19:47
Copy link
Contributor

@robdockins robdockins left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks OK to me. I think we'll eventually want to lift the SMT solver instance up into the CryptolEnv, but that can wait until a later PR.

@brianhuffman brianhuffman merged commit 78185d3 into master Mar 2, 2021
@brianhuffman brianhuffman deleted the update-cryptol branch March 2, 2021 22:44
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants