Skip to content
This repository has been archived by the owner on May 27, 2021. It is now read-only.

Add some timer outputs. #365

Merged
merged 4 commits into from
Mar 22, 2019
Merged

Add some timer outputs. #365

merged 4 commits into from
Mar 22, 2019

Commits on Mar 22, 2019

  1. Add some timer outputs.

    @maleadt
    maleadt committed Mar 22, 2019
    Configuration menu
    Copy the full SHA
    a2354ca View commit details
    Browse the repository at this point in the history

  2. Add more timings, and exclude library building.

    @maleadt
    maleadt committed Mar 22, 2019
    Configuration menu
    Copy the full SHA
    ea00ebb View commit details
    Browse the repository at this point in the history

  3. More timings.

    @maleadt
    maleadt committed Mar 22, 2019
    Configuration menu
    Copy the full SHA
    37a24a7 View commit details
    Browse the repository at this point in the history

  4. More detailed irgen timings.

    @maleadt
    maleadt committed Mar 22, 2019
    Configuration menu
    Copy the full SHA
    dddecc7 View commit details
    Browse the repository at this point in the history