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

saw-remote-api version info #1895

Open
WeeknightMVP opened this issue Jul 13, 2023 · 1 comment
Open

saw-remote-api version info #1895

WeeknightMVP opened this issue Jul 13, 2023 · 1 comment
Labels
easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: saw-python Related to the Python bindings for the RPC SAW server subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings type: enhancement Issues describing an improvement to an existing feature or capability
Milestone
2024T3

Comments

@WeeknightMVP
Copy link

A version command for the saw-remote-api server and a SAWConnection.version command for the Python client, like GaloisInc/cryptol#1547 implemented for cryptol-remote-api to resolve GaloisInc/cryptol#1544, would help users locate or check whether they are currently using a compatible client for a given server, especially in container settings to more quickly recognize issues such as the failing cryptol-remote-api nightly container build resolved by GaloisInc/cryptol#1534.
@weaversa
Copy link
Contributor

I agree that this would be great to have!

@sauclovian-g sauclovian-g added type: enhancement Issues describing an improvement to an existing feature or capability easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings subsystem: saw-python Related to the Python bindings for the RPC SAW server labels Nov 7, 2024
@sauclovian-g sauclovian-g added this to the 2024T3 milestone Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: saw-python Related to the Python bindings for the RPC SAW server subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Milestone
2024T3
Development

No branches or pull requests
3 participants
@WeeknightMVP @weaversa @sauclovian-g