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

Periodically print Z3 statistics #2992

Merged
merged 13 commits into from
Sep 23, 2024
Merged

Periodically print Z3 statistics #2992

merged 13 commits into from
Sep 23, 2024

Commits on Sep 18, 2024

  1. add a Z3 statistics thread

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

  2. print statistics on dispose

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

  3. add z3StatsSec in the tests

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

  4. add z3StatsSec in tests

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

  5. fix formatting

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

  6. Merge branch 'main' into igor/z3-stats

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

  7. add release notes

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

Commits on Sep 19, 2024

  1. swap sleep and stat query to avoid late exceptions

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

  2. print stats a bit more accurately

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

Commits on Sep 21, 2024

  1. use a lock

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

  2. Merge branch 'main' into igor/z3-stats

    @konnov
    konnov authored Sep 21, 2024
    Configuration menu
    Copy the full SHA
    2c23f03 View commit details
    Browse the repository at this point in the history

  3. fix formatting

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

Commits on Sep 23, 2024

  1. make statisticsLock a val

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