Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Include what4 provers in remote API #1122

Closed
atomb opened this issue Mar 11, 2021 · 1 comment
Closed

Include what4 provers in remote API #1122

atomb opened this issue Mar 11, 2021 · 1 comment
Assignees
@atomb
Labels
subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings
Milestone
0.8

Comments

@atomb
Copy link
Contributor

atomb commented Mar 11, 2021

Currently, the remote API understands only a subset of the provers understood by SAWScript, and includes only SBV-based provers. It should include everything we have library support for.
@atomb atomb added the subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings label Mar 11, 2021
@atomb atomb added this to the 0.8 milestone Mar 11, 2021
@atomb atomb self-assigned this Mar 11, 2021
@atomb
Copy link
Contributor Author

atomb commented Apr 16, 2021

This is fixed by PR #1183.

@atomb atomb closed this as completed Apr 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings
Projects
None yet
Milestone
0.8
Development

No branches or pull requests
1 participant
@atomb