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

Move Spec lifters out of Constraints #1575

Merged
merged 18 commits into from
Sep 24, 2024
Merged

Move Spec lifters out of Constraints #1575

merged 18 commits into from
Sep 24, 2024

Commits on Sep 24, 2024

  1. Rename Constraints -> CompareConstraints for split

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    56e687e View commit details
    Browse the repository at this point in the history

  2. Remove non-compare modules from CompareConstraints

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ddd4b76 View commit details
    Browse the repository at this point in the history

  3. Remove compare modules from Constraints

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    0061608 View commit details
    Browse the repository at this point in the history

  4. Split CompareConstraints from Constraints

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    bff6361 View commit details
    Browse the repository at this point in the history

  5. Rename Constraints -> SpecLifters for split

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    5a3d53d View commit details
    Browse the repository at this point in the history

  6. Remove FromSpec from SpecLifters

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    6b6bb62 View commit details
    Browse the repository at this point in the history

  7. Remove Spec lifters from Constraints

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ab5a7b6 View commit details
    Browse the repository at this point in the history

  8. Split SpecLifters from Constraints

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    8dd0048 View commit details
    Browse the repository at this point in the history

  9. Reorganize analysis lifters

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    7ab1b0b View commit details
    Browse the repository at this point in the history

  10. Rename SpecLifters -> RecursionTermLifter for split

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    01762ac View commit details
    Browse the repository at this point in the history

  11. Remove non-recursion lifters from RecursionTermLifter

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    0beb786 View commit details
    Browse the repository at this point in the history

  12. Remove RecursionTermLifter from SpecLifters

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    cb405d7 View commit details
    Browse the repository at this point in the history

  13. Split RecursionTermLifter from SpecLifters

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    c9b28d8 View commit details
    Browse the repository at this point in the history

  14. Rename SpecLifters -> LongjmpLifter for split

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    8edddc3 View commit details
    Browse the repository at this point in the history

  15. Remove non-longjmp lifters from LongjmpLifter

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    259ea67 View commit details
    Browse the repository at this point in the history

  16. Remove LongjmpLifter from SpecLifters

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    7f4f5aa View commit details
    Browse the repository at this point in the history

  17. Split LongjmpLifter from SpecLifters

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d909548 View commit details
    Browse the repository at this point in the history

  18. Document Spec lifter modules

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