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

Fix overflow checking #3353

Merged
merged 14 commits into from
Jun 24, 2024
Merged

Fix overflow checking #3353

merged 14 commits into from
Jun 24, 2024

Commits on Nov 15, 2023

  1. fix creating of branches for overflow checking

    @WolframPfeifer
    WolframPfeifer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    5b68afc View commit details
    Browse the repository at this point in the history

  2. correct inRange(..) predicates for overflow check semantics

    @WolframPfeifer
    WolframPfeifer committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    b301337 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Merge branch 'main' into pfeifer/3352overflowCheckingFix

    @WolframPfeifer
    WolframPfeifer committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    554703a View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. Merge branch 'main' into pfeifer/3352overflowCheckingFix

    @WolframPfeifer
    WolframPfeifer committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    fcd3981 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Merge branch 'main' into pfeifer/3352overflowCheckingFix

    @WolframPfeifer
    WolframPfeifer committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    03ebaec View commit details
    Browse the repository at this point in the history

  2. throw an error if choices used in a taclet are not declared

    @WolframPfeifer
    WolframPfeifer committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    f8d0956 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Merge branch 'main' into pfeifer/3352overflowCheckingFix

    @WolframPfeifer
    WolframPfeifer committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7f892ec View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. spotless

    @WolframPfeifer
    WolframPfeifer committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    2cb2476 View commit details
    Browse the repository at this point in the history

  2. repair soundness of assignment2UpdateRules with checked overflows

    @WolframPfeifer
    WolframPfeifer committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    ebfb642 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into pfeifer/3352overflowCheckingFix

    @WolframPfeifer
    WolframPfeifer authored Jun 21, 2024
    Configuration menu
    Copy the full SHA
    e484916 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. update oracle for taclet equality test

    @WolframPfeifer
    WolframPfeifer committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f2ddbd6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into pfeifer/3352overflowCheckingFix

    @WolframPfeifer
    WolframPfeifer committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    6fe5020 View commit details
    Browse the repository at this point in the history

  3. spotless

    @WolframPfeifer
    WolframPfeifer committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    ec65160 View commit details
    Browse the repository at this point in the history

  4. Update key.core/src/main/java/de/uka/ilkd/key/nparser/builder/TacletP… 

    …Builder.java


More concrete comment where to declare taclet options
    @WolframPfeifer
    WolframPfeifer authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    fb3a5b1 View commit details
    Browse the repository at this point in the history