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

dune_3: 3.16.1 -> 3.17.0 #361854

Merged
merged 1 commit into from
Dec 16, 2024

dune_3: 3.16.1 -> 3.17.0

f537a6a
Select commit
Loading
Failed to load commit list.
Merged

dune_3: 3.16.1 -> 3.17.0 #361854

dune_3: 3.16.1 -> 3.17.0
f537a6a
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 16, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 951.97 845.70 ↘ 106.27 -11.16%
envs-bytes 24,295,255,160 24,295,278,280 ↗ 23,120 0.00%
envs-elements 1,289,133,767 1,289,135,045 ↗ 1,278 0.00%
envs-number 873,886,564 873,887,370 ↗ 806 0.00%
gc-heapSize 72,985,124,864 72,934,789,120 ↘ 50,335,744 -0.07%
gc-totalBytes 151,570,412,608 151,570,549,232 ↗ 136,624 0.00%
list-bytes 3,724,408,112 3,724,410,776 ↗ 2,664 0.00%
list-concats 92,886,995 92,887,103 ↗ 108 0.00%
list-elements 465,551,014 465,551,347 ↗ 333 0.00%
nrAvoided 1,010,694,767 1,010,695,921 ↗ 1,154 0.00%
nrFunctionCalls 803,307,447 803,308,181 ↗ 734 0.00%
nrLookups 424,246,635 424,247,011 ↗ 376 0.00%
nrOpUpdateValuesCopied 2,172,444,448 2,172,445,996 ↗ 1,548 0.00%
nrOpUpdates 101,892,848 101,892,948 ↗ 100 0.00%
nrPrimOpCalls 419,073,687 419,074,158 ↗ 471 0.00%
nrThunks 1,265,446,987 1,265,448,277 ↗ 1,290 0.00%
sets-bytes 49,645,337,328 49,645,373,840 ↗ 36,512 0.00%
sets-elements 2,913,269,410 2,913,271,540 ↗ 2,130 0.00%
sets-number 189,564,173 189,564,325 ↗ 152 0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,430,695 3,430,695 0
symbols-number 189,176 189,176 0
values-bytes 39,936,604,392 39,936,637,248 ↗ 32,856 0.00%
values-number 1,664,025,183 1,664,026,552 ↗ 1,369 0.00%