-
Notifications
You must be signed in to change notification settings - Fork 62
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Adapt to cryptol PR #1128 "persist-solver2" #1267
Conversation
This mostly consists of commenting-out the `validateSAWState` function. It doesn't apper to have any call sites, so I'm not sure what it is intended to be used for.
2017180
to
8615fc0
Compare
It's worth noting that this PR doesn't actually use a persistent solver connection, it just updates the API uses. |
There a python-level error in the failing test here. https://github.com/GaloisInc/saw-script/pull/1267/checks?check_run_id=2615159214#step:14:76 I can't tell if this is related to my changes or not. @pnwamk, any insights? |
Well, fresh build looks like it passed, so I'm going to chalk that up to transient failure. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM w.r.t. rpc server/client related changes
This PR includes patches that adapt the saw-core package (taken from GaloisInc/saw-core#197) and saw-script package to work with GaloisInc/cryptol#1128, which adds support for a persistent solver connection for cryptol type checking (see #953).
However, this PR is not yet finished because the
saw-remote-api
package still needs to be adapted.