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

Enumerating counterexamples #833

Merged
merged 18 commits into from
Jun 11, 2021
Merged

Enumerating counterexamples #833

merged 18 commits into from
Jun 11, 2021

Commits on May 18, 2021

  1. closes #542: enumeration of counterexamples by view abstraction

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    76b7977 View commit details
    Browse the repository at this point in the history

  2. simplify the code

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    d2a5791 View commit details
    Browse the repository at this point in the history

  3. update the manual with enumeration of counterexamples

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    e29e6e7 View commit details
    Browse the repository at this point in the history

  4. changelog entry

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    19ad5fb View commit details
    Browse the repository at this point in the history

  5. Merge branch 'unstable' into igor/enum542

    @konnov
    konnov authored May 18, 2021
    Configuration menu
    Copy the full SHA
    8f06ec7 View commit details
    Browse the repository at this point in the history

  6. add the missing page

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    6d4cbfc View commit details
    Browse the repository at this point in the history

  7. Merge branch 'igor/enum542'

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    4d20ec3 View commit details
    Browse the repository at this point in the history

  8. fix formatting

    @konnov
    konnov committed May 18, 2021
    Configuration menu
    Copy the full SHA
    3f4faf8 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2021

  1. reporting normal errors instead of failures

    @konnov
    konnov committed May 19, 2021
    Configuration menu
    Copy the full SHA
    2f5aacb View commit details
    Browse the repository at this point in the history

Commits on May 21, 2021

  1. fix types in the decoder

    @konnov
    konnov committed May 21, 2021
    Configuration menu
    Copy the full SHA
    eef9d0d View commit details
    Browse the repository at this point in the history

Commits on May 24, 2021

  1. enumerating the same invariant over predicates

    @konnov
    konnov committed May 24, 2021
    Configuration menu
    Copy the full SHA
    687567c View commit details
    Browse the repository at this point in the history

Commits on May 27, 2021

  1. path constraints in the right place

    @konnov
    konnov committed May 27, 2021
    Configuration menu
    Copy the full SHA
    7249b86 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2021

  1. Update tla-bmcmt/src/main/scala/at/forsyte/apalache/tla/bmcmt/SeqMode… 

    …lChecker.scala

Co-authored-by: Kukovec <jkukovec@forsyte.at>
    @konnov
    konnov and Kukovec authored Jun 11, 2021
    Configuration menu
    Copy the full SHA
    11ef675 View commit details
    Browse the repository at this point in the history

  2. added a comment as suggested by Jure

    @konnov
    konnov committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    3253a5a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'unstable' into igor/enum542

    @konnov
    konnov authored Jun 11, 2021
    Configuration menu
    Copy the full SHA
    1280ef4 View commit details
    Browse the repository at this point in the history

  4. fix formatting

    @konnov
    konnov committed Jun 11, 2021
    Configuration menu
    Copy the full SHA
    aa6f0cb View commit details
    Browse the repository at this point in the history

  5. Merge branch 'unstable' into igor/enum542

    @konnov
    konnov authored Jun 11, 2021
    Configuration menu
    Copy the full SHA
    fdd058f View commit details
    Browse the repository at this point in the history

  6. Merge branch 'unstable' into igor/enum542

    @konnov
    konnov authored Jun 11, 2021
    Configuration menu
    Copy the full SHA
    c0edcb1 View commit details
    Browse the repository at this point in the history