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 kani::spawn and an executor to the Kani library #1659

Merged
merged 46 commits into from
Jul 6, 2023
Merged

Add kani::spawn and an executor to the Kani library #1659

merged 46 commits into from
Jul 6, 2023

Commits on Sep 8, 2022

  1. Add kani::spawn and an executor to the Kani library

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

Commits on Sep 9, 2022

  1. Add test

    @fzaiser
    fzaiser committed Sep 9, 2022
    Configuration menu
    Copy the full SHA
    1e626b8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Sep 9, 2022
    Configuration menu
    Copy the full SHA
    13c01b8 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    2006673 View commit details
    Browse the repository at this point in the history

  2. Address review comments

    @fzaiser
    fzaiser committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    b36737b View commit details
    Browse the repository at this point in the history

  3. Check bound of num_tasks

    @fzaiser
    fzaiser committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    6fe4f8e View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2022

  1. Improve documentation and remove unnecessary code

    @fzaiser
    fzaiser committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    0d529f6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Nov 1, 2022
    Configuration menu
    Copy the full SHA
    7fd9a5b View commit details
    Browse the repository at this point in the history

  3. Fix clippy

    @fzaiser
    fzaiser committed Nov 1, 2022
    Configuration menu
    Copy the full SHA
    31d8115 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. Introduce enum for scheduling assumption and improve docs

    @fzaiser
    fzaiser committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    c7f5a73 View commit details
    Browse the repository at this point in the history

  2. Disable proof harness to improve CI times

    @fzaiser
    fzaiser committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    1db9f81 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Nov 4, 2022
    Configuration menu
    Copy the full SHA
    f51186a View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2022

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Nov 7, 2022
    Configuration menu
    Copy the full SHA
    e65595e View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2022

  1. Remove nondeterministic harness

    @fzaiser
    fzaiser committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    9ababc9 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2022

  1. Use the exact same code in manual_spawn.rs and spawn.rs to reproduce … 

    …performance issue
    @fzaiser
    fzaiser committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    6f2ad12 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    b4b205e View commit details
    Browse the repository at this point in the history

  2. Fix formatting

    @fzaiser
    fzaiser committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    4601765 View commit details
    Browse the repository at this point in the history

  3. Fix submodule

    @fzaiser
    fzaiser committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    cf6af18 View commit details
    Browse the repository at this point in the history

  4. Use vectors instead of arrays

    @fzaiser
    fzaiser committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    7f88bd1 View commit details
    Browse the repository at this point in the history

  5. Fix clippy

    @fzaiser
    fzaiser committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    ffe2374 View commit details
    Browse the repository at this point in the history

  6. Fix test

    @fzaiser
    fzaiser committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    71e9ab1 View commit details
    Browse the repository at this point in the history

  7. Make the GLOBAL_EXECUTOR an option. 

    This ensures that it is an error to call `spawn` outside of `spawnable_block_on`.
    @fzaiser
    fzaiser committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    2806c40 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Dec 16, 2022
    Configuration menu
    Copy the full SHA
    2b44665 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

  1. Fix test

    @fzaiser
    fzaiser committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    3c24fe3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Dec 20, 2022
    Configuration menu
    Copy the full SHA
    eb9a260 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2022

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Dec 22, 2022
    Configuration menu
    Copy the full SHA
    c6c08ed View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2022

  1. Remove nondeterministic scheduling strategy

    @fzaiser
    fzaiser committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    f6eb352 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Dec 23, 2022
    Configuration menu
    Copy the full SHA
    269a080 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2023

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    d51ccd0 View commit details
    Browse the repository at this point in the history

  2. Select harness using flags instead of commenting

    @fzaiser
    fzaiser committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    333e51a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Feb 13, 2023
    Configuration menu
    Copy the full SHA
    351ee66 View commit details
    Browse the repository at this point in the history

  4. Fix test

    @fzaiser
    fzaiser committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    fdfb45b View commit details
    Browse the repository at this point in the history

  5. Fix test

    @fzaiser
    fzaiser committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    2e38a6a View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2023

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Feb 14, 2023
    Configuration menu
    Copy the full SHA
    a24c117 View commit details
    Browse the repository at this point in the history

  2. Add additional checks to round-robin test

    @fzaiser
    fzaiser committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    54abbe3 View commit details
    Browse the repository at this point in the history

  3. Remove manual tests

    @fzaiser
    fzaiser committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    0bbd42a View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2023

  1. Rename method to block_on_with_spawn

    @fzaiser
    fzaiser committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    2ac7346 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Feb 15, 2023
    Configuration menu
    Copy the full SHA
    07b4330 View commit details
    Browse the repository at this point in the history

  3. Update doc comments and add a check

    @fzaiser
    fzaiser committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    baed1d1 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    bc948a7 View commit details
    Browse the repository at this point in the history

  2. Add unstable attributes

    @fzaiser
    fzaiser committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    ff3f99b View commit details
    Browse the repository at this point in the history

  3. Add -Z async-lib flag

    @fzaiser
    fzaiser committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    e432a1a View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2023

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Jun 25, 2023
    Configuration menu
    Copy the full SHA
    1b8ff44 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. Merge branch 'main' into spawn-lib

    @fzaiser
    fzaiser authored Jul 5, 2023
    Configuration menu
    Copy the full SHA
    407c435 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. Add reason to unstable APIs

    @celinval
    celinval authored Jul 6, 2023
    Configuration menu
    Copy the full SHA
    00c64d5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into spawn-lib

    @celinval
    celinval authored Jul 6, 2023
    Configuration menu
    Copy the full SHA
    fd477f8 View commit details
    Browse the repository at this point in the history