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

implement a generator based on Arbitrary for compatibility #108

Merged
merged 22 commits into from
Feb 20, 2023
Merged

implement a generator based on Arbitrary for compatibility #108

merged 22 commits into from
Feb 20, 2023

Commits on Jan 28, 2023

  1. implement a generator based on Arbitrary for compatibility

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    0d89008 View commit details
    Browse the repository at this point in the history

  2. make the arbitrary feature opt-in

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    72f0448 View commit details
    Browse the repository at this point in the history

  3. hoist generation from a byte slice into Driver

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    779d911 View commit details
    Browse the repository at this point in the history

  4. also implement with_arbitrary

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    32257b2 View commit details
    Browse the repository at this point in the history

  5. avoid being too slow when the len range is too wide in forced mode

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    fd6e10a View commit details
    Browse the repository at this point in the history

  6. fix kani gen_from_bytes implementation

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    54e0146 View commit details
    Browse the repository at this point in the history

  7. keep msrv as it was

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    3bf9e07 View commit details
    Browse the repository at this point in the history

  8. add unit tests for arbitrary in makefile

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    c0283d6 View commit details
    Browse the repository at this point in the history

  9. bump msrv for tests to pass 

    cargo doesn't think of taking old arbitrary versions and otherwise fails with
error: package `arbitrary v1.2.3` cannot be built because it requires rustc 1.63.0 or newer, while the currently active rustc version is 1.57.0
    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    6d55ef6 View commit details
    Browse the repository at this point in the history

  10. do not oom trying to allocate big lots of memory

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    2af269d View commit details
    Browse the repository at this point in the history

  11. do not even try to allocate too much at once, for asan

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    fe75abd View commit details
    Browse the repository at this point in the history

  12. handle clippy lints

    @Ekleog
    Ekleog committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    154db5e View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. cargo fmt

    @Ekleog
    Ekleog committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    25f9d92 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2023

  1. Undo cargo lints change

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    83d6a81 View commit details
    Browse the repository at this point in the history

  2. Revert "bump msrv for tests to pass" 

    This reverts commit 6d55ef6.
    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    923ccee View commit details
    Browse the repository at this point in the history

  3. Make CI work properly with two different MSRVs

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    66684c1 View commit details
    Browse the repository at this point in the history

  4. Set MSRV in clippy config

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    deaa389 View commit details
    Browse the repository at this point in the history

  5. Fix syntax in makefile

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    e47271b View commit details
    Browse the repository at this point in the history

  6. Check version of rustc rather than cargo

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    cf82d60 View commit details
    Browse the repository at this point in the history

  7. Move condition to github action

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    f4ff0a3 View commit details
    Browse the repository at this point in the history

  8. Use matrix exclude

    @Ekleog
    Ekleog committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    939cb0f View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2023

  1. fix typo 

    Co-authored-by: Cameron Bytheway <bytheway.cameron@gmail.com>
    @Ekleog @camshaft
    Ekleog and camshaft committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    51e78c7 View commit details
    Browse the repository at this point in the history