Documentation

Lean.Util.Profiler

trace.profiler.output Firefox Profiler integration

Definitions from https://github.com/firefox-devtools/profiler/blob/main/src/types/profile.js

Instances For
    Instances For
      Instances For
        Instances For
          Instances For
            Instances For
              Instances For
                Instances For
                  Instances For
                    Instances For

                      Push an entry into a frame table.

                      Equations
                        Instances For
                          Instances For
                            Instances For
                              Instances For
                                Instances For

                                  Thread with maps necessary for computing max sharing indices

                                  Instances For
                                    Equations
                                      Instances For
                                        Equations
                                          Instances For
                                            def Lean.Firefox.Profile.export (name : String) (startTime : Float) (traceStates : Array TraceState) (opts : Options) :
                                            Equations
                                              Instances For

                                                Merges given profiles such that samples with identical stacks are deduplicated by adding up their weights. Minimizes profile size while preserving per-stack timing information.

                                                Equations
                                                  Instances For