perf: more Fsub profiling (do not review yet)

[chenson2018]

No description provided.

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for bd4d303 against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -2.7G (-0.14%)

No significant changes detected.

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for 0b8638b against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -12.9G (-0.69%)

Small changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -13.5G (-8.84%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for 8f9059b against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -17.4G (-0.93%)

Small changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -15.5G (-10.20%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for 59e46f9 against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -19.5G (-1.04%)

Small changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -17.1G (-11.22%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for 709183e against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -18.3G (-0.98%)

Small changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -17.8G (-11.71%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for 71c5458 against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -27.7G (-1.48%)

Medium changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -25.2G (-16.54%)

Small changes (1✅)

• ✅ build//wall-clock: -2s (-5.31%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for ee8f59f against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -25.0G (-1.33%)

Medium changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -25.2G (-16.55%)

Small changes (2✅)

• ✅ build//wall-clock: -2s (-4.69%)
• ✅ build/profile/blocked (unaccounted)//wall-clock: -12s (-3.89%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for 736d1a4 against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -30.1G (-1.61%)

Medium changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -30.8G (-20.22%)

Small changes (2✅)

• ✅ build//wall-clock: -2s (-5.92%)
• ✅ build/profile/blocked (unaccounted)//wall-clock: -16s (-5.21%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for e8df3b4 against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -22.0G (-1.18%)

Small changes (3✅)

• ✅ build//wall-clock: -1s (-4.18%)
• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -22.5G (-14.78%)
• ✅ build/profile/blocked (unaccounted)//wall-clock: -15s (-4.67%)

[chenson2018]

!radar

[leanprover-radar]

Benchmark results for c331b8d against cf466f8 are in. There are no significant changes. @chenson2018

• ✅ build//instructions: -36.7G (-1.96%)

Medium changes (1✅)

• ✅ build/module/Cslib.Languages.LambdaCalculus.LocallyNameless.Fsub.Typing//instructions: -37.3G (-24.48%)

Small changes (2✅)

• ✅ build//wall-clock: -2s (-5.90%)
• ✅ build/profile/blocked (unaccounted)//wall-clock: -24s (-7.41%)