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

Type-safe global query system #1423

Open
wants to merge 27 commits into
base: master
Choose a base branch
from
Open

Type-safe global query system #1423

wants to merge 27 commits into from

Commits on Apr 19, 2024

  1. Add global_query to Spec

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    36e8076 View commit details
    Browse the repository at this point in the history

  2. Implement MCP.global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    8f0b96c View commit details
    Browse the repository at this point in the history

  3. Also do WarnGlobal using global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    fe98246 View commit details
    Browse the repository at this point in the history

  4. Switch race analysis WarnGlobal to global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    e49a829 View commit details
    Browse the repository at this point in the history

  5. Switch deadlock analysis WarnGlobal to global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    3887752 View commit details
    Browse the repository at this point in the history

  6. Switch mutex analysis WarnGlobal to global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    f1f1771 View commit details
    Browse the repository at this point in the history

  7. Switch dead branch lifter WarnGlobal to global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ac3557e View commit details
    Browse the repository at this point in the history

  8. Add gctx for global_query

    @sim642
    sim642 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    9a1210f View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. Temporarily add WarnGlobal back to dead branch lifter query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    f8698e0 View commit details
    Browse the repository at this point in the history

  2. Add ask to gctx

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    f8bc8d7 View commit details
    Browse the repository at this point in the history

  3. Switch threadFlag analysis to global_query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    501ecab View commit details
    Browse the repository at this point in the history

  4. Switch termination analysis to global_query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    ac0078e View commit details
    Browse the repository at this point in the history

  5. Switch recursion termination lifter to global_query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    a4bdad4 View commit details
    Browse the repository at this point in the history

  6. Implement MCP global_query between analyses

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    01e83d5 View commit details
    Browse the repository at this point in the history

  7. Remove all local WarnGlobal queries

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    bca3775 View commit details
    Browse the repository at this point in the history

  8. Remove unsafe Obj.t argument from WarnGlobal query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    93dea6b View commit details
    Browse the repository at this point in the history

  9. Add variable-less WarnGlobal query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    5f4f454 View commit details
    Browse the repository at this point in the history

  10. Fix MustTermAllLoops warning

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    bc8ab0f View commit details
    Browse the repository at this point in the history

  11. Flatten global_query pattern matching

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    598ae46 View commit details
    Browse the repository at this point in the history

  12. Remove unused MustTermLoop and MustTermAllLoops queries

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    bbd8db9 View commit details
    Browse the repository at this point in the history

  13. Simplify termination analysis global invariant

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    95057f0 View commit details
    Browse the repository at this point in the history

  14. Switch from getg to gctx

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    c9038a9 View commit details
    Browse the repository at this point in the history

  15. Switch InvariantGlobal to global_query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    254e6f3 View commit details
    Browse the repository at this point in the history

  16. Remove all local InvariantGlobal queries

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    6768315 View commit details
    Browse the repository at this point in the history

  17. Remove unsafe Obj.t argument from InvariantGlobal query

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    124462d View commit details
    Browse the repository at this point in the history

  18. Remove old ResultQuery.ask_global

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    16a9c5b View commit details
    Browse the repository at this point in the history

  19. Document Analyses.gctx

    @sim642
    sim642 committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    d0599ad View commit details
    Browse the repository at this point in the history