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: Add the ability to toggle what4_eval #1537

Closed
RyanGlScott opened this issue Dec 8, 2021 · 0 comments · Fixed by #1538
Closed

saw-remote-api: Add the ability to toggle what4_eval #1537

RyanGlScott opened this issue Dec 8, 2021 · 0 comments · Fixed by #1538
Assignees
@RyanGlScott
Labels
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

Comments

@RyanGlScott
Copy link
Contributor

#1515 adds {enable,disable}_what4_eval commands. We should have corresponding options in saw-remote-api (and in the Python saw-client library, once #1493 is implemented).
@RyanGlScott RyanGlScott added type: enhancement Issues describing an improvement to an existing feature or capability subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings labels Dec 8, 2021
@RyanGlScott RyanGlScott self-assigned this Dec 8, 2021
RyanGlScott added a commit that referenced this issue Dec 8, 2021
@RyanGlScott
Add What4 eval to saw-remote-api and saw-client
f0cc92d 
The infrastructure for doing so was already in place in `saw-remote-api`, and
thanks to #1493, the infrastructure for adding this functionality in the
Python `saw-client` library is now in place as well.

Fixes #1537.
@RyanGlScott RyanGlScott mentioned this issue Dec 8, 2021
Merged
RyanGlScott added a commit that referenced this issue Dec 10, 2021
@RyanGlScott
Add What4 eval to saw-remote-api and saw-client
e8b082d 
The infrastructure for doing so was already in place in `saw-remote-api`, and
thanks to #1493, the infrastructure for adding this functionality in the
Python `saw-client` library is now in place as well.

Fixes #1537.
@mergify mergify bot closed this as completed in #1538 Dec 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RyanGlScott RyanGlScott

Labels
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
No milestone
Development

Successfully merging a pull request may close this issue.

saw-remote-api: Reach parity with SAWScript for global option settings GaloisInc/saw-script
1 participant
@RyanGlScott