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

Reimplement positivity checker #3057

Merged
merged 27 commits into from
Oct 1, 2024
Merged

Reimplement positivity checker #3057

merged 27 commits into from
Oct 1, 2024

Commits on Sep 30, 2024

  1. style

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    bebac5e View commit details
    Browse the repository at this point in the history

  2. traces

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    4042b20 View commit details
    Browse the repository at this point in the history

  3. style

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    1972758 View commit details
    Browse the repository at this point in the history

  4. wip

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    0b1f3a5 View commit details
    Browse the repository at this point in the history

  5. computing polarities

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    9b50b5e View commit details
    Browse the repository at this point in the history

  6. unblock and type

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    55f75f4 View commit details
    Browse the repository at this point in the history

  7. maybe it works

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    7e41151 View commit details
    Browse the repository at this point in the history

  8. add test

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    c37529f View commit details
    Browse the repository at this point in the history

  9. only throw when part of mutual block

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    839ac62 View commit details
    Browse the repository at this point in the history

  10. adapt neg test

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    8d9a00a View commit details
    Browse the repository at this point in the history

  11. remove old code

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    5cd1a0d View commit details
    Browse the repository at this point in the history

  12. fix side

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    5510ef8 View commit details
    Browse the repository at this point in the history

  13. respect --no-positivity

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    df24635 View commit details
    Browse the repository at this point in the history

  14. respect positive keyword

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    69a65f8 View commit details
    Browse the repository at this point in the history

  15. improve error message

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    fb99b0a View commit details
    Browse the repository at this point in the history

  16. mutual blocks are grouped incorrectly

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    32c9ab2 View commit details
    Browse the repository at this point in the history

  17. remove traces

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    f9aceb4 View commit details
    Browse the repository at this point in the history

  18. workaround mutual block bug

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    5912405 View commit details
    Browse the repository at this point in the history

  19. fix blocking

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    ac64202 View commit details
    Browse the repository at this point in the history

  20. remove unused code

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    35c1353 View commit details
    Browse the repository at this point in the history

  21. rename CheckerNew -> Checker

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    a9a62e8 View commit details
    Browse the repository at this point in the history

  22. unblock one by one

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    5583019 View commit details
    Browse the repository at this point in the history

  23. add positive tests

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    598a1fb View commit details
    Browse the repository at this point in the history

  24. rename Negative -> NonStrictlyPositive

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    2f230a8 View commit details
    Browse the repository at this point in the history

  25. remove New from constructor name

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    10269aa View commit details
    Browse the repository at this point in the history

  26. style

    @janmasrovira
    janmasrovira committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    888045e View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. support partially applied inductive types

    @janmasrovira
    janmasrovira committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    a97b8c8 View commit details
    Browse the repository at this point in the history