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

Rewrite simple filters for bounded integers() #2853

Merged
merged 2 commits into from Feb 24, 2021
Merged

Rewrite simple filters for bounded integers() #2853

merged 2 commits into from Feb 24, 2021

Commits on Feb 24, 2021

  1. Simple predicate rewriting 

    This is a minimal proof-of-concept for predicate rewriting, sufficient to demonstrate that it works without breaking anything else.  Equally importantly, it adds clear hooks for future work to allow open collaboration.
    @Zac-HD
    Zac-HD committed Feb 24, 2021
    Configuration menu
    Copy the full SHA
    fd269b8 View commit details
    Browse the repository at this point in the history

  2. Review updates

    @Zac-HD
    Zac-HD committed Feb 24, 2021
    Configuration menu
    Copy the full SHA
    37b9f12 View commit details
    Browse the repository at this point in the history