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

Issue 662: Detection of always True conditions #1258

Merged
merged 12 commits into from
Nov 24, 2022
Merged

Issue 662: Detection of always True conditions #1258

merged 12 commits into from
Nov 24, 2022

Commits on Nov 15, 2022

  1. Check for always true conditions in refinements 

    ref #662
    @jklmnn
    jklmnn committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    2ac7000 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2022

  1. Refactor interface of ParallelProofs.add

    @jklmnn
    jklmnn committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    8fba78e View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2022

  1. Check message conditions for always true expressions 

    ref #662
    @jklmnn
    jklmnn committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    4ca64f6 View commit details
    Browse the repository at this point in the history

  2. Check refinements for always false conditions 

    ref #662
    @jklmnn
    jklmnn committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    857a41c View commit details
    Browse the repository at this point in the history

  3. Improve testing of static true and false conditions 

    ref #662
    @jklmnn
    jklmnn committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    2429335 View commit details
    Browse the repository at this point in the history

  4. Update changelog 

    ref #662
    @jklmnn
    jklmnn committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    c9762d8 View commit details
    Browse the repository at this point in the history

  5. Warn if always true cannot be proven nor disproven 

    ref #662
    @jklmnn
    jklmnn committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    07e8bf2 View commit details
    Browse the repository at this point in the history

  6. Fix tests that contain statically true conditions 

    ref #662
    @jklmnn
    jklmnn committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    0df15bd View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

  1. Only raise exception in propagate on errors 

    ref #1255
    @jklmnn
    jklmnn committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    6c7c17c View commit details
    Browse the repository at this point in the history

  2. Test warning on possibly always true message condition 

    ref #662
    @jklmnn
    jklmnn committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    7998398 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2022

  1. Clarify add_unsat argument 

    ref #1258
    @jklmnn
    jklmnn committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    1ffa728 View commit details
    Browse the repository at this point in the history

  2. Fix multiple reporting of warnings 

    ref #1258
    @jklmnn
    jklmnn committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    ad33798 View commit details
    Browse the repository at this point in the history