Skip to content

Tracking issue for Kani's unstable async library, feature async-lib #2559

New issue
New issue
Open
Open
Tracking issue for Kani's unstable async library, feature async-lib#2559
Labels
T-TrackingIssueIssues used to track a large amount of work related to a feature

Description

@fzaiser
fzaiser
opened on Jun 23, 2023

This feature was introduced in #1659.

Activity

  1. rahulku
    added
    T-RFCLabel RFC PRs and Issues
    on Sep 22, 2023
  2. celinval
    added
    T-TrackingIssueIssues used to track a large amount of work related to a feature
    and removed
    T-RFCLabel RFC PRs and Issues
    on Sep 22, 2023

  3. celinval commented on Sep 22, 2023

    @celinval
    celinval
    on Sep 22, 2023
    Contributor

    closing this in favor of #1393

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-TrackingIssueIssues used to track a large amount of work related to a feature

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions