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

Support reporting kernel timings via profiling_summary() #134

Merged
merged 5 commits into from
Jul 28, 2023
Merged

Support reporting kernel timings via profiling_summary() #134

merged 5 commits into from
Jul 28, 2023

Commits on Sep 7, 2021

  1. Support reporting kernel timings via profiling_summary() 

    Also adds a newline after kernel timings are written to the
`<name>.time` file, such that the timings of consecutive runs are on
separate lines.
    @denisalevi
    denisalevi committed Sep 7, 2021
    Configuration menu
    Copy the full SHA
    d639dfd View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Use profile=True instead of preference

    @mstimberg
    mstimberg committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    2e9ecc2 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into support_profiling_s… 

    …ummary
    @mstimberg
    mstimberg committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7412c46 View commit details
    Browse the repository at this point in the history

  3. Fix profiling mechanism

    @mstimberg
    mstimberg committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8028d5d View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Add mechanism to skip Brian tests

    @mstimberg
    mstimberg committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    c30a2df View commit details
    Browse the repository at this point in the history