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.

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

Python: Undeprecate proclaim #1676

Closed
RyanGlScott opened this issue May 25, 2022 · 1 comment · Fixed by #1936
Closed

Python: Undeprecate proclaim #1676

RyanGlScott opened this issue May 25, 2022 · 1 comment · Fixed by #1936
Assignees
Labels
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 type: enhancement Issues describing an improvement to an existing feature or capability

Comments

@RyanGlScott
Copy link
Contributor

#1644 adds support for llvm_assert, which behaves like llvm_precondition or llvm_postcondition depending on where it is used in a specification. We would like to have a Python counterpart to llvm_assert, and in fact, we already have one in the form of the proclaim function. proclaim is currently marked as deprecated, but given that we want to support something like it going forward, it makes sense to remove the deprecation warning and allow users to call it without warnings.

@RyanGlScott RyanGlScott 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 labels May 25, 2022
@smithnormform
Copy link

smithnormform commented May 26, 2022

It might also be nice to have a proclaim_f method like precondition_f and postcondition_f.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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 type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants