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 Algebra.Solver.*Monoid #2407

Merged
merged 33 commits into from
Sep 3, 2024
Merged

Refactor Algebra.Solver.*Monoid #2407

merged 33 commits into from
Sep 3, 2024

Commits on Jun 8, 2024

  1. refactor Solver infrastructure

    @jamesmckinna
    jamesmckinna committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    1e5eec1 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2024

  1. refactor Solver infrastructure

    @jamesmckinna
    jamesmckinna committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    036f8b5 View commit details
    Browse the repository at this point in the history

  2. tighten imports and some with

    @jamesmckinna
    jamesmckinna committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    8c6342c View commit details
    Browse the repository at this point in the history

  3. tidy up Solver.Monoid

    @jamesmckinna
    jamesmckinna committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    e8ac5fd View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. refactor Algebra.Solver.*Monoid

    @jamesmckinna
    jamesmckinna committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    a495a12 View commit details
    Browse the repository at this point in the history

  2. regularise vocabulary: deprecations

    @jamesmckinna
    jamesmckinna committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    77f420a View commit details
    Browse the repository at this point in the history

  3. variables for Algebra.Solver.Ring

    @jamesmckinna
    jamesmckinna committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    54a53a8 View commit details
    Browse the repository at this point in the history

  4. tweaks

    @jamesmckinna
    jamesmckinna committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    706b3a1 View commit details
    Browse the repository at this point in the history

  5. forgot to add Expression module

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

Commits on Jun 14, 2024

  1. refactor: use existing lemma

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

Commits on Jun 19, 2024

  1. Merge branch 'master' into solver-refactor

    @jamesmckinna
    jamesmckinna authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    d1f052c View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. fixed deprecations to v2.2

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

Commits on Jul 27, 2024

  1. v2.2 CHANGELOG

    @jamesmckinna
    jamesmckinna committed Jul 27, 2024
    Configuration menu
    Copy the full SHA
    f83f962 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into solver-refactor

    @jamesmckinna
    jamesmckinna authored Jul 27, 2024
    Configuration menu
    Copy the full SHA
    fbcb318 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2024

  1. use zipWith!

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

Commits on Jul 30, 2024

  1. remove dependency on Data.Nat.GeneralisedArithmetic.fold

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

  2. simplify import dependencies

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

  3. refactor: tweaks

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

Commits on Aug 12, 2024

  1. Merge branch 'master' into solver-refactor

    @jamesmckinna
    jamesmckinna authored Aug 12, 2024
    Configuration menu
    Copy the full SHA
    74e6a9f View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge branch 'master' into solver-refactor

    @jamesmckinna
    jamesmckinna authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    578691a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into solver-refactor

    @jamesmckinna
    jamesmckinna authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    45dc3ca View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2024

  1. Merge branch 'master' into solver-refactor

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

Commits on Aug 29, 2024

  1. change Level parameterisation of NormalAPI

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

  2. clarify exports from module R?

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

  3. deprecations

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

  4. knock-on effects

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

  5. deprecations

    @jamesmckinna
    jamesmckinna committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    1c02f94 View commit details
    Browse the repository at this point in the history

  6. fixed exports of Normal form instantiations

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

  7. fixed exports of Solver

    @jamesmckinna
    jamesmckinna committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    45379e6 View commit details
    Browse the repository at this point in the history

  8. fixed deprecations in CHANGELOG

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

  9. note on import strategy in CHANGELOG

    @jamesmckinna
    jamesmckinna committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    07e005a View commit details
    Browse the repository at this point in the history

  10. name of Solver module

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

Commits on Sep 3, 2024

  1. Merge branch 'master' into solver-refactor

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