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

[Merged by Bors] - feat: more lemmas about List.dedup and other lattice operations #14282

Closed
wants to merge 16 commits into from
Closed

[Merged by Bors] - feat: more lemmas about List.dedup and other lattice operations #14282

wants to merge 16 commits into from

Commits on Jun 30, 2024

  1. feat(Data/List): dedup and union lemmas

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    9a9ca48 View commit details
    Browse the repository at this point in the history

  2. more lemmas

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    a1c93ed View commit details
    Browse the repository at this point in the history

  3. a few more

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    105f1d2 View commit details
    Browse the repository at this point in the history

  4. fix name

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    cd7fb1e View commit details
    Browse the repository at this point in the history

  5. and another

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    6fbd2fb View commit details
    Browse the repository at this point in the history

  6. and another

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    0f985e4 View commit details
    Browse the repository at this point in the history

  7. oops

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    d1bcfa9 View commit details
    Browse the repository at this point in the history

  8. whitespace

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    3a10a05 View commit details
    Browse the repository at this point in the history

  9. golf

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    e07e06d View commit details
    Browse the repository at this point in the history

  10. golf

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    880b343 View commit details
    Browse the repository at this point in the history

  11. style

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    271accf View commit details
    Browse the repository at this point in the history

  12. typo

    @eric-wieser
    eric-wieser committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    6372dff View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Add Yael's lemma

    @eric-wieser
    eric-wieser committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    e5a59c8 View commit details
    Browse the repository at this point in the history

  2. @golf@

    @eric-wieser
    eric-wieser committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    fdbd259 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. typeo

    @eric-wieser
    eric-wieser committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    d1662a5 View commit details
    Browse the repository at this point in the history

  2. golf

    @eric-wieser
    eric-wieser committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    179ad54 View commit details
    Browse the repository at this point in the history