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.

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

Filter-rewriting for length filters #3824

Merged
merged 18 commits into from
Jan 10, 2024

Commits on Dec 26, 2023

  1. add text() length rewrite

    reaganjlee committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    3f8e8c1 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. add lambda support

    reaganjlee committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    19e129f View commit details
    Browse the repository at this point in the history
  2. tests + release

    reaganjlee committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    f5e9f84 View commit details
    Browse the repository at this point in the history
  3. mypy + doc fix

    reaganjlee committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    1b891ca View commit details
    Browse the repository at this point in the history
  4. mypy again

    reaganjlee committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    5765a6d View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2024

  1. release

    reaganjlee committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    9c9e4f6 View commit details
    Browse the repository at this point in the history
  2. implement changes

    reaganjlee committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    ab30943 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. format + bug fix

    reaganjlee committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    705441c View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. filter-rewriting tweaks

    Zac-HD committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    cc3e312 View commit details
    Browse the repository at this point in the history
  2. some more tweaks and tests

    Zac-HD committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    8598f1b View commit details
    Browse the repository at this point in the history
  3. Prettier description of partial()s

    Crucially, this allows for consistent reprs between processes, and thus pytest-xargs support.
    Zac-HD committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    ff22be8 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. sampled_from end bound bug

    reaganjlee committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    bf97466 View commit details
    Browse the repository at this point in the history
  2. bit of cleanup

    reaganjlee committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    69ed3ce View commit details
    Browse the repository at this point in the history
  3. edit release

    reaganjlee committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    5acb761 View commit details
    Browse the repository at this point in the history
  4. reword

    reaganjlee committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    94bae0e View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2453a60 View commit details
    Browse the repository at this point in the history
  6. fix repr test

    Zac-HD committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    f4b6a87 View commit details
    Browse the repository at this point in the history
  7. fix formatting (oops)

    Zac-HD committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    50a3c8f View commit details
    Browse the repository at this point in the history