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

Refactor Data.List.Relation.Binary.Permutation.*, part I #2333

Merged
merged 42 commits into from
Sep 28, 2024
Merged

Refactor Data.List.Relation.Binary.Permutation.*, part I #2333

merged 42 commits into from
Sep 28, 2024

Commits on Mar 28, 2024

  1. move steps towards deprecation in Homogeneous

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    7ab1da5 View commit details
    Browse the repository at this point in the history

  2. deprecate steps; refactor Setoid proofs and equaiotnal reasoning … 

    …combinators
    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    4ece6bb View commit details
    Browse the repository at this point in the history

  3. extensive refactoring

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    38f22e4 View commit details
    Browse the repository at this point in the history

  4. tidy up

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    9399636 View commit details
    Browse the repository at this point in the history

  5. add equivalence with Setoid representation

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    c6f701f View commit details
    Browse the repository at this point in the history

  6. removed buggy PermutationReasoning syntax

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    b37ba6f View commit details
    Browse the repository at this point in the history

  7. refactored; removed buggy PermutationReasoning syntax

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    791baf9 View commit details
    Browse the repository at this point in the history

  8. CHANGELOG

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    ff7845a View commit details
    Browse the repository at this point in the history

  9. final fix-ups

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    a3d0b8e View commit details
    Browse the repository at this point in the history

  10. tighten imports

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    2950a39 View commit details
    Browse the repository at this point in the history

  11. tighten imports

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    69ca8fd View commit details
    Browse the repository at this point in the history

  12. redundant constructor aliases

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    5f0051a View commit details
    Browse the repository at this point in the history

  13. fix-up Reasoning steps with the alias

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    5461356 View commit details
    Browse the repository at this point in the history

  14. use aliases

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    8b44fd8 View commit details
    Browse the repository at this point in the history

  15. more import tightening

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    7918a8d View commit details
    Browse the repository at this point in the history

  16. refactor: encapsulate and tighten up

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    00a335a View commit details
    Browse the repository at this point in the history

  17. avoid PermutationReasoning custom combinators

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    91feb30 View commit details
    Browse the repository at this point in the history

  18. fix up CHANGELOG

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    227043d View commit details
    Browse the repository at this point in the history

  19. encapsulate helper function

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    4df26ef View commit details
    Browse the repository at this point in the history

  20. revert changes

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    0bf8e38 View commit details
    Browse the repository at this point in the history

  21. review comments

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    60a1958 View commit details
    Browse the repository at this point in the history

  22. fix-whitespace

    @jamesmckinna
    jamesmckinna committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    fd80b0b View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. toned down the comment on steps

    @jamesmckinna
    jamesmckinna committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    1781ea3 View commit details
    Browse the repository at this point in the history

  2. remove use of infix insert

    @jamesmckinna
    jamesmckinna committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    7c2bc35 View commit details
    Browse the repository at this point in the history

  3. revert other deprecation

    @jamesmckinna
    jamesmckinna committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    2e032a5 View commit details
    Browse the repository at this point in the history

  4. no need for qualification

    @jamesmckinna
    jamesmckinna committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    4ad9fef View commit details
    Browse the repository at this point in the history

  5. remove deprecation banner

    @jamesmckinna
    jamesmckinna committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    83dc6c7 View commit details
    Browse the repository at this point in the history

  6. three paras of commentary on the new transitivity proofs

    @jamesmckinna
    jamesmckinna committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    246bf5c View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2024

  1. missing entry

    @jamesmckinna
    jamesmckinna committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    39bb784 View commit details
    Browse the repository at this point in the history

  2. missing terminator

    @jamesmckinna
    jamesmckinna committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    b7dff80 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2024

  1. response to review comments

    @jamesmckinna
    jamesmckinna committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    ce4d72f View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2024

  1. with to let

    @jamesmckinna
    jamesmckinna committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    c8bf0a6 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Merge branch 'master' into permutation-refactor

    @jamesmckinna
    jamesmckinna authored Apr 16, 2024
    Configuration menu
    Copy the full SHA
    e5701d9 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. Merge branch 'master' into permutation-refactor

    @jamesmckinna
    jamesmckinna authored Apr 24, 2024
    Configuration menu
    Copy the full SHA
    a40a26f View commit details
    Browse the repository at this point in the history

  2. fixed BagAndSetEquality

    @jamesmckinna
    jamesmckinna committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    cbef1f8 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Merge branch 'master' into permutation-refactor

    @jamesmckinna
    jamesmckinna authored May 14, 2024
    Configuration menu
    Copy the full SHA
    9eb7000 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Merge branch 'master' into permutation-refactor

    @jamesmckinna
    jamesmckinna authored May 15, 2024
    Configuration menu
    Copy the full SHA
    a5e2849 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Merge branch 'master' into permutation-refactor

    @jamesmckinna
    jamesmckinna authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    26371ae View commit details
    Browse the repository at this point in the history

  2. fixed qualified import bug introduced during merge conflict resolution

    @jamesmckinna
    jamesmckinna committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    dd296a6 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Merge branch 'master' into permutation-refactor

    @jamesmckinna
    jamesmckinna authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    7f84607 View commit details
    Browse the repository at this point in the history

  2. Update CHANGELOG.md 

    Deleted spurious attribution of the lemmas in `Data.List.Properties` about `product` to `Data.List.Relation.Unary.All.Properties`. Hope this fixes things now!
    @jamesmckinna
    jamesmckinna authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    92c14a8 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2024

  1. Merge branch 'master' into permutation-refactor

    @MatthewDaggitt
    MatthewDaggitt authored Sep 28, 2024
    Configuration menu
    Copy the full SHA
    901310f View commit details
    Browse the repository at this point in the history