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

Updates to Merge2 for Share #5287

Draft
wants to merge 11 commits into
base: trunk
Choose a base branch
from
Draft

Updates to Merge2 for Share #5287

wants to merge 11 commits into from

Commits on Aug 15, 2024

  1. Use separate PPE for each of LCA/Alice/Bob when computing synhashes.

    @ChrisPenner
    ChrisPenner committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    973636b View commit details
    Browse the repository at this point in the history

  2. Build and pass in the appropriate merge PPED for alice/bob/lca

    @ChrisPenner
    ChrisPenner committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    9df178d View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Add eitherToThese to prelude

    @ChrisPenner
    ChrisPenner committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    be313bc View commit details
    Browse the repository at this point in the history

  2. Split off propagated updates when computing diff

    @ChrisPenner
    ChrisPenner committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    0daa489 View commit details
    Browse the repository at this point in the history

  3. Add Human Diff machinery

    @ChrisPenner
    ChrisPenner committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    01fff50 View commit details
    Browse the repository at this point in the history

  4. Wire up a working humanized diff.

    @ChrisPenner
    ChrisPenner committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    bba8722 View commit details
    Browse the repository at this point in the history

  5. Fix up hydrated defns labeled dependencies

    @ChrisPenner
    ChrisPenner committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    de79fe8 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Add semigroup/monoid to nametree

    @ChrisPenner
    ChrisPenner committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    020d9c6 View commit details
    Browse the repository at this point in the history

  2. Add optics for Defns

    @ChrisPenner
    ChrisPenner committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    5071528 View commit details
    Browse the repository at this point in the history

  3. Add Eq, Ord to Defn combinators

    @ChrisPenner
    ChrisPenner committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    821ec04 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Add for to Set Utils

    @ChrisPenner
    ChrisPenner committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    375cb30 View commit details
    Browse the repository at this point in the history