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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

馃懛 馃 馃摎 Add ability to apply filter on predicate inputs #109

Merged
merged 9 commits into from
May 30, 2023
Merged

馃懛 馃 馃摎 Add ability to apply filter on predicate inputs #109

merged 9 commits into from
May 30, 2023

Commits on May 21, 2023

  1. initial commit

    @steffnova
    steffnova committed May 21, 2023
    Configuration menu
    Copy the full SHA
    e9e9c84 View commit details
    Browse the repository at this point in the history

  2. Almost a final version

    @steffnova
    steffnova committed May 21, 2023
    Configuration menu
    Copy the full SHA
    f954a4a View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Added property package

    @steffnova
    steffnova committed May 23, 2023
    Configuration menu
    Copy the full SHA
    f016217 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2023

  1. Added documentation for check and property packages

    @steffnova
    steffnova committed May 24, 2023
    Configuration menu
    Copy the full SHA
    a193cf6 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. add tests for property package

    @steffnova
    steffnova committed May 26, 2023
    Configuration menu
    Copy the full SHA
    1f95253 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. add tests for property/inputs_shrinker

    @steffnova
    steffnova committed May 30, 2023
    Configuration menu
    Copy the full SHA
    906b0a0 View commit details
    Browse the repository at this point in the history

  2. add tests for property/inputs_generator

    @steffnova
    steffnova committed May 30, 2023
    Configuration menu
    Copy the full SHA
    6d8f796 View commit details
    Browse the repository at this point in the history

  3. update documentation

    @steffnova
    steffnova committed May 30, 2023
    Configuration menu
    Copy the full SHA
    3f34946 View commit details
    Browse the repository at this point in the history

  4. update CI

    @steffnova
    steffnova committed May 30, 2023
    Configuration menu
    Copy the full SHA
    f40f81e View commit details
    Browse the repository at this point in the history