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

Propagate z3 parameters in the tuning options #2990

Merged
merged 18 commits into from
Sep 23, 2024
Merged

Propagate z3 parameters in the tuning options #2990

merged 18 commits into from
Sep 23, 2024

Commits on Sep 17, 2024

  1. add FineTuningParser

    @konnov
    konnov committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    c2fd92d View commit details
    Browse the repository at this point in the history

  2. fix formatting

    @konnov
    konnov committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    f56616c View commit details
    Browse the repository at this point in the history

  3. fix the description of FineTuningParser

    @konnov
    konnov committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    31e3520 View commit details
    Browse the repository at this point in the history

  4. fix loading of the tuning properties

    @konnov
    konnov committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    9227178 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. pass tuning parameters to Z3

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    2b6e4f1 View commit details
    Browse the repository at this point in the history

  2. add a reference to 2989

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    2819b35 View commit details
    Browse the repository at this point in the history

  3. fix formatting

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    e4d9f1d View commit details
    Browse the repository at this point in the history

  4. add release notes

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    bfa7118 View commit details
    Browse the repository at this point in the history

  5. update fine tuning parameters

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    b205b92 View commit details
    Browse the repository at this point in the history

  6. add smt.randomSeed

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    870673f View commit details
    Browse the repository at this point in the history

  7. output warnings to console until configuration

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    f2aae84 View commit details
    Browse the repository at this point in the history

  8. do not decorate messages in the console-only mode

    @konnov
    konnov committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    7a92a2f View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into igor/z3-params

    @konnov
    konnov authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    563841a View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Update mod-infra/src/main/scala/at/forsyte/apalache/infra/log/Logback… 

    …Configurator.scala

Co-authored-by: Thomas Pani <[email protected]>
    @konnov @thpani
    konnov and thpani authored Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f13411e View commit details
    Browse the repository at this point in the history

  2. fix the manual

    @konnov
    konnov committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    65daf03 View commit details
    Browse the repository at this point in the history

  3. fix after review

    @konnov
    konnov committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    ce1d6ac View commit details
    Browse the repository at this point in the history

  4. improve a comment after review

    @konnov
    konnov committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    c8dd004 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into igor/z3-params

    @konnov
    konnov authored Sep 23, 2024
    Configuration menu
    Copy the full SHA
    643240c View commit details
    Browse the repository at this point in the history