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

Requirement redundancies: Approximation of explanation via invariants #681

Draft
wants to merge 11 commits into
base: dev
Choose a base branch
from
Draft

Requirement redundancies: Approximation of explanation via invariants #681

wants to merge 11 commits into from
+111 −7

Commits on Oct 1, 2024

  1. Added new redundancy result

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    992aa12 View commit details
    Browse the repository at this point in the history

  2. Added loop invariant result handling in VerificationResultTransformer… 

    … to extract redundancy set approximation
    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    73ee0dc View commit details
    Browse the repository at this point in the history

  3. Added location invariants to extract redundancy set approximation

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    78b5428 View commit details
    Browse the repository at this point in the history

  4. Small bugfix

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    a8677c2 View commit details
    Browse the repository at this point in the history

  5. Made regex slightly more verbose

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    4300c43 View commit details
    Browse the repository at this point in the history

  6. Changed function name isLoopLocation to isLoopInvariant inside Invari… 

    …antResults
    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    3765a8b View commit details
    Browse the repository at this point in the history

  7. Changed HashSet to LinkedHashSet

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    e391017 View commit details
    Browse the repository at this point in the history

  8. Create InvariantResults for all pre-error locations

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    b4ff0a6 View commit details
    Browse the repository at this point in the history

  9. Removed unecessary commented code

    @Paswalt
    Paswalt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    c80803b View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Changed predecessors of all error locations to predecessors of the fi… 

    …nal states of the corresponding check. Kept new function inside IcfgUtils. Removed now unecessary set from VerificationResultTransformer
    @Paswalt
    Paswalt committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    8aa2980 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. Made pattern static

    @Paswalt
    Paswalt authored Oct 6, 2024
    Configuration menu
    Copy the full SHA
    7a64dc4 View commit details
    Browse the repository at this point in the history