Skip to content

/ servo

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.

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

Profiling #478

Closed
wants to merge 3 commits into from
Closed

Profiling #478

wants to merge 3 commits into from
+218 −35

Commits on May 24, 2013

  1. Profiling in lieu of time::time, rm util alias

    tkuehn Tim Kuehn
    tkuehn authored and Tim Kuehn committed May 24, 2013
    6758f9a

  2. ProfilerMsg ==> ProfilerCategory; all enums end in Category; added co… 

    …nst NUM_BUCKETS; other minor changes
    Tim Kuehn
    Tim Kuehn committed May 24, 2013
    089b1fc

  3. comment on updating NUM_BUCKETS in time.rs

    Tim Kuehn
    Tim Kuehn committed May 24, 2013
    Loading status checks…
    5
    207a4e1
You can’t perform that action at this time.