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

Add PPX derivers for lattices of tuple and record types #1095

Merged
merged 17 commits into from
Aug 7, 2024
Merged

Add PPX derivers for lattices of tuple and record types #1095

merged 17 commits into from
Aug 7, 2024

Commits on Jun 28, 2023

  1. Add ppx_deriving_lattice using ppx_easy_deriving

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    b38e7a9 View commit details
    Browse the repository at this point in the history

  2. Use lattice deriver for Lattice.ProdConf

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    a4ef64e View commit details
    Browse the repository at this point in the history

  3. Use lattice deriver for Lattice.Prod3

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    35fe676 View commit details
    Browse the repository at this point in the history

  4. Remove unused Prod4

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    7989ea4 View commit details
    Browse the repository at this point in the history

  5. Use lattice deriver for BaseDomain.BaseComponents

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    a7d42a4 View commit details
    Browse the repository at this point in the history

  6. Use lattice deriver for RelationDomain.RelComponents

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    9a34f8c View commit details
    Browse the repository at this point in the history

  7. Use lattice deriver for PthreadDomain.D

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    b0c207f View commit details
    Browse the repository at this point in the history

  8. Use more derivers for PthreadDomain.D

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    a96262e View commit details
    Browse the repository at this point in the history

  9. Derive hash for IntDomain and FloatDomain

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    17aa06c View commit details
    Browse the repository at this point in the history

  10. Add ppx_deriving_printable using ppx_easy_deriving

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    5ed8049 View commit details
    Browse the repository at this point in the history

  11. Use relift deriver with lattice deriver

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    816a6f5 View commit details
    Browse the repository at this point in the history

  12. Use relift deriver more

    @sim642
    sim642 committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    2e2bcc3 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Merge branch 'master' into ppx-lattice-easy-vendor

    @sim642
    sim642 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    6704370 View commit details
    Browse the repository at this point in the history

  2. Vendor ppx_easy_deriving

    @sim642
    sim642 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    0f99b66 View commit details
    Browse the repository at this point in the history

  3. Deduplicate (include_subdirs no) in src/ppx

    @sim642
    sim642 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    a39ab19 View commit details
    Browse the repository at this point in the history

  4. Exclude PPX-s from Goblint_lib documentation check

    @sim642
    sim642 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    cd793b9 View commit details
    Browse the repository at this point in the history

  5. Add LICENSE for vendored ppx_easy_deriving

    @sim642
    sim642 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2e1d5fe View commit details
    Browse the repository at this point in the history