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

Make Predicate stack-safe using Eval #283

Closed
wants to merge 10 commits into from
Closed

Make Predicate stack-safe using Eval #283

wants to merge 10 commits into from

Commits on Jul 30, 2020

  1. Predicate: add benchmark

    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    b00c4c9 View commit details
    Browse the repository at this point in the history

  2. Predicate: stack safety tests

    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    fc6bacc View commit details
    Browse the repository at this point in the history

  3. Make Predicate stack-safe using Eval

    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    76069db View commit details
    Browse the repository at this point in the history

  4. Avoid trivial benchmarks and safety tests 

    If the set is simplified it defeats the point
    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    cadc03c View commit details
    Browse the repository at this point in the history

  5. Use Predicate.empty where applicable

    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    f71a3bd View commit details
    Browse the repository at this point in the history

  6. Improve ArbitraryPredicate

    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    47d5786 View commit details
    Browse the repository at this point in the history

  7. Add Bool[Predicate[A]]

    Louis Bettens committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    d0df5ec View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2020

  1. Predicate: use Eval static instances

    Louis Bettens committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    2e93fce View commit details
    Browse the repository at this point in the history

  2. PredicateInstances: fix naming of implicits

    Louis Bettens committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    77e0628 View commit details
    Browse the repository at this point in the history

  3. PredicateSpec: increase comparion sample size

    Louis Bettens committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    94604fb View commit details
    Browse the repository at this point in the history