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

Introduced profiling instrumentation #3285

Merged
merged 6 commits into from
Jul 19, 2023
Merged

Introduced profiling instrumentation #3285

merged 6 commits into from
Jul 19, 2023

Commits on Jul 5, 2023

  1. Introduced profiling instrumentation

    @dkargin
    dkargin committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    17b39a6 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2023

  1. Added explicit name to some of warzone threads

    @dkargin
    dkargin committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    10f0539 View commit details
    Browse the repository at this point in the history

  2. Workaround for unused Scope::m_domain

    @dkargin
    dkargin committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    d0d1512 View commit details
    Browse the repository at this point in the history

  3. Eliminated timing from profiling scopes

    @dkargin
    dkargin committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    a57f7c9 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Make profiling scopes a complete no-op when profiling is disabled

    @past-due
    past-due committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    66f8b96 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Added licence plate to profiling.{h,cpp}

    @dkargin
    dkargin committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    0838ace View commit details
    Browse the repository at this point in the history