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.

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

desktop-postflop: init at 0.2.7 #252951

Merged
merged 1 commit into from
Jun 5, 2024

desktop-postflop: init at 0.2.7

de48819
Select commit
Loading
Failed to load commit list.
Merged

desktop-postflop: init at 0.2.7 #252951

desktop-postflop: init at 0.2.7
de48819
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jan 16, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 548.30 547.98 ↘ 0.31 -0.06%
envs-bytes 18,366,563,864 18,387,752,368 ↗ 21,188,504 0.12%
envs-elements 961,160,401 962,247,616 ↗ 1,087,215 0.11%
envs-number 667,330,041 668,110,715 ↗ 780,674 0.12%
gc-heapSize 56,358,838,272 56,157,507,584 ↘ 201,330,688 -0.36%
gc-totalBytes 109,099,004,640 109,196,586,960 ↗ 97,582,320 0.09%
list-bytes 2,609,105,248 2,612,095,808 ↗ 2,990,560 0.11%
list-concats 56,261,402 56,343,019 ↗ 81,617 0.15%
list-elements 326,138,156 326,511,976 ↗ 373,820 0.11%
nrAvoided 813,516,061 814,536,178 ↗ 1,020,117 0.13%
nrFunctionCalls 621,220,141 621,956,825 ↗ 736,684 0.12%
nrLookups 323,079,046 323,422,460 ↗ 343,414 0.11%
nrOpUpdateValuesCopied 1,593,316,014 1,594,412,650 ↗ 1,096,636 0.07%
nrOpUpdates 72,779,827 72,860,033 ↗ 80,206 0.11%
nrPrimOpCalls 307,657,496 308,063,110 ↗ 405,614 0.13%
nrThunks 881,962,322 882,953,973 ↗ 991,651 0.11%
sets-bytes 35,169,645,344 35,194,223,600 ↗ 24,578,256 0.07%
sets-elements 2,072,586,107 2,074,008,685 ↗ 1,422,578 0.07%
sets-number 125,516,727 125,630,290 ↗ 113,563 0.09%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,248,714 2,248,798 ↗ 84 0.00%
symbols-number 162,483 162,487 ↗ 4 0.00%
values-bytes 27,655,490,376 27,682,080,768 ↗ 26,590,392 0.10%
values-number 1,152,312,099 1,153,420,032 ↗ 1,107,933 0.10%