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

Create mechanism to enable / disable APIs #2279

Open
celinval opened this issue Mar 7, 2023 · 0 comments
Open

Create mechanism to enable / disable APIs #2279

celinval opened this issue Mar 7, 2023 · 0 comments
Assignees
@celinval
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-RFC Label RFC PRs and Issues
Milestone
Maintenance

Comments

@celinval
Copy link
Contributor

celinval commented Mar 7, 2023

Proposed change: Add a mechanism for us to mark an API as unstable, and to ensure that users explicit enable them.

Motivation: We want to enable experiments and fast development for our libraries the same way we do for our software without affecting users trust. An experimental API may bring instability and unexpected results, so users should be aware of that when they choose to enable them.

The initial use case would be async APIs introduced in #1659.
@celinval celinval added [C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-RFC Label RFC PRs and Issues labels Mar 7, 2023
@celinval celinval self-assigned this Mar 7, 2023
@celinval celinval mentioned this issue Mar 8, 2023
Merged
4 tasks
@celinval celinval added this to the Maintenance milestone Mar 8, 2023
celinval added a commit that referenced this issue Apr 5, 2023
@celinval @adpaco-aws
RFC: Unstable APIs (#2281)
0f0e2b8 
Create a RFC for feature gate for APIs included in the Kani library.

Tracking issue: #2279

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
This was referenced Apr 7, 2023
Closed
Merged
@celinval celinval mentioned this issue Apr 18, 2023
Merged
4 tasks
@celinval celinval mentioned this issue Jun 28, 2024
Merged
celinval added a commit that referenced this issue Jul 3, 2024
@celinval @zhassan-aws
Remove deprecated --enable-stubbing (#3309)
f6d3385 
Part of #2279 

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@celinval celinval

Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-RFC Label RFC PRs and Issues
Projects
No open projects
Kani 2023-03-27
Status: In Progress
Milestone
Maintenance
Development

No branches or pull requests
1 participant
@celinval