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

Add a kani::futures library containing block_on #1427

Merged
merged 4 commits into from
Jul 30, 2022
Merged

Add a kani::futures library containing block_on #1427

merged 4 commits into from
Jul 30, 2022

Commits on Jul 29, 2022

  1. Add a kani::futures library containing block_on

    @fzaiser
    fzaiser committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    8a8b50e View commit details
    Browse the repository at this point in the history

  2. Make the implementation safer and clearer

    @fzaiser
    fzaiser committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    2f02bea View commit details
    Browse the repository at this point in the history

  3. Address review comments

    @fzaiser
    fzaiser committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    ec9e144 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2022

  1. Merge branch 'main' into kani_futures_library

    @fzaiser
    fzaiser authored Jul 30, 2022
    Configuration menu
    Copy the full SHA
    09d6646 View commit details
    Browse the repository at this point in the history