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

SE: Pass states per stack #7059

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

SE: Pass states per stack #7059

wants to merge 19 commits into from

Commits on Apr 24, 2024

  1. Introduce ProgramStates

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    0069374 View commit details
    Browse the repository at this point in the history

  2. Remove "toArray" cache.

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    3b92b83 View commit details
    Browse the repository at this point in the history

  3. Introduce and use SymbolicContexts

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    25de4df View commit details
    Browse the repository at this point in the history

  4. Use SymbolicContexts in OperationDispatcher

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    fe9c2e5 View commit details
    Browse the repository at this point in the history

  5. Formatting and re-factorings

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    13159d5 View commit details
    Browse the repository at this point in the history

  6. Remove copy constructor (toArray is no longer needed)

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    3c50fcf View commit details
    Browse the repository at this point in the history

  7. Formatting

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    8bf68cf View commit details
    Browse the repository at this point in the history

  8. Formatting

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    e4721dd View commit details
    Browse the repository at this point in the history

  9. Make states a struct (no default equality) and tests for add

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    14a2ff3 View commit details
    Browse the repository at this point in the history

  10. Fix errors after re-base

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    1bbc26b View commit details
    Browse the repository at this point in the history

  11. Fix formatting

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    0369f0f View commit details
    Browse the repository at this point in the history

  12. Formatting

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    43b9bd8 View commit details
    Browse the repository at this point in the history

  13. usings

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    9f772f3 View commit details
    Browse the repository at this point in the history

  14. Code smell

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    684b373 View commit details
    Browse the repository at this point in the history

  15. Remove field initializer

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    32b2d93 View commit details
    Browse the repository at this point in the history

  16. Fix errors after re-base

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    84eb022 View commit details
    Browse the repository at this point in the history

  17. Move test file to right location

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    987bc7b View commit details
    Browse the repository at this point in the history

  18. Typo

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    beb5d76 View commit details
    Browse the repository at this point in the history

  19. Update header

    @martin-strecker-sonarsource
    martin-strecker-sonarsource committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    ae45497 View commit details
    Browse the repository at this point in the history