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 support for crosshair backend #3806

Merged
merged 46 commits into from
Mar 9, 2024
Merged

Add support for crosshair backend #3806

merged 46 commits into from
Mar 9, 2024
+879 −89

Commits on Feb 16, 2024

  1. wip

    @tybug
    tybug committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    2ec0e1d View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. wip

    @tybug
    tybug committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    e514d73 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into provider-plugins-2

    @tybug
    tybug committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    93d4636 View commit details
    Browse the repository at this point in the history

  3. bad debugging

    @tybug
    tybug committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    751498d View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. update for crosshair

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    0a9881a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into provider-plugins-2

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    09894e2 View commit details
    Browse the repository at this point in the history

  3. formatting and remove some debug

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    87aab30 View commit details
    Browse the repository at this point in the history

  4. update IRTypeName

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    f22c875 View commit details
    Browse the repository at this point in the history

  5. fix PrngProvider weights

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    f6863f7 View commit details
    Browse the repository at this point in the history

  6. add post_test_case_hook

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    074a696 View commit details
    Browse the repository at this point in the history

  7. format

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    8a9f916 View commit details
    Browse the repository at this point in the history

  8. abstract to _pop_ir_tree_value

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    71e53a3 View commit details
    Browse the repository at this point in the history

  9. typing

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    66d3999 View commit details
    Browse the repository at this point in the history

  10. better backend database/shrinking

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    e49a0eb View commit details
    Browse the repository at this point in the history

  11. format

    @tybug
    tybug committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    76a9b57 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. default result to None

    @tybug
    tybug committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    cfa4133 View commit details
    Browse the repository at this point in the history

  2. require post_test_case_hook to be nonnull

    @tybug
    tybug committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    447bf8b View commit details
    Browse the repository at this point in the history

  3. remove unecessary context wrapper

    @tybug
    tybug committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    9c1e375 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. move hacky context manager to the provider interface

    @tybug
    tybug committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    c5e4d2c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into provider-plugins

    @tybug
    tybug committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    e11822c View commit details
    Browse the repository at this point in the history

  3. update for new ir structure

    @tybug
    tybug committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    ede32b2 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into provider-plugins

    @tybug
    tybug committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    490d940 View commit details
    Browse the repository at this point in the history

  5. implement fake_forced

    @tybug
    tybug committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    58eaf78 View commit details
    Browse the repository at this point in the history

  6. add test for backend shrinking ability

    @tybug
    tybug committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    308ca92 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. wording

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    443c3bb View commit details
    Browse the repository at this point in the history

  2. extract PrimitiveProvider to interface, add lifetime attr

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    e636675 View commit details
    Browse the repository at this point in the history

  3. add track_redundant_inputs attr

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    142afb9 View commit details
    Browse the repository at this point in the history

  4. prefer NotImplementedError to pass

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    c707955 View commit details
    Browse the repository at this point in the history

  5. typing

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    46ed532 View commit details
    Browse the repository at this point in the history

  6. fix backend default 

    was causing parent settings to not be inherited properly
    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    60915c3 View commit details
    Browse the repository at this point in the history

  7. make test easier to pass

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2ac416a View commit details
    Browse the repository at this point in the history

  8. add tests for backend attrs and shrinking

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    f409f7b View commit details
    Browse the repository at this point in the history

  9. reword comment

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    7c1b229 View commit details
    Browse the repository at this point in the history

  10. remove track_redundant_inputs :( 

    hopefully we can bring this back in the future
    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    d9de115 View commit details
    Browse the repository at this point in the history

  11. type ignore setting

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    079b8ea View commit details
    Browse the repository at this point in the history

  12. reword comment again 

    old explanation was mistaken
    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    8329f95 View commit details
    Browse the repository at this point in the history

  13. update ghostwriter for backend

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    f868f00 View commit details
    Browse the repository at this point in the history

  14. lint

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    eb0a7bc View commit details
    Browse the repository at this point in the history

  15. did not mean to delete that

    @tybug
    tybug committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    6cdf683 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. use BUFFER_SIZE

    @tybug
    tybug committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    f180bf3 View commit details
    Browse the repository at this point in the history

  2. remove database=None

    @tybug
    tybug committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6678233 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. remove stale condition, that doesnt play well with new backends

    @tybug
    tybug committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    beac7df View commit details
    Browse the repository at this point in the history

  2. remove prng provider seeding 

    I'm not sure this was doing anything since the buffer should be empty always
    @tybug
    tybug committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    d94b801 View commit details
    Browse the repository at this point in the history

  3. format

    @tybug
    tybug committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    ec3ef6c View commit details
    Browse the repository at this point in the history

  4. Small cleanups

    @Zac-HD
    Zac-HD committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    7e1a86c View commit details
    Browse the repository at this point in the history

  5. correct lifetime recommendation

    @tybug
    tybug committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    7322913 View commit details
    Browse the repository at this point in the history