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

crunchy-cli: 3.5.2 -> 3.6.1 #310939

Merged
merged 1 commit into from
May 12, 2024

crunchy-cli: 3.5.2 -> 3.6.1

be87d02
Select commit
Loading
Failed to load commit list.
Merged

crunchy-cli: 3.5.2 -> 3.6.1 #310939

crunchy-cli: 3.5.2 -> 3.6.1
be87d02
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded May 11, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 622.40 607.30 ↘ 15.10 -2.43%
envs-bytes 20,048,596,688 20,048,509,904 ↘ 86,784 -0.00%
envs-elements 1,058,022,014 1,058,017,406 ↘ 4,608 -0.00%
envs-number 724,026,286 724,023,166 ↘ 3,120 -0.00%
gc-heapSize 58,841,866,240 58,841,862,144 ↘ 4,096 -0.00%
gc-totalBytes 126,169,747,040 126,169,284,256 ↘ 462,784 -0.00%
list-bytes 3,497,727,984 3,497,713,344 ↘ 14,640 -0.00%
list-concats 81,363,963 81,363,503 ↘ 460 -0.00%
list-elements 437,215,998 437,214,168 ↘ 1,830 -0.00%
nrAvoided 845,943,064 845,938,940 ↘ 4,124 -0.00%
nrFunctionCalls 666,131,732 666,128,852 ↘ 2,880 -0.00%
nrLookups 343,162,796 343,161,564 ↘ 1,232 -0.00%
nrOpUpdateValuesCopied 1,887,131,844 1,887,126,400 ↘ 5,444 -0.00%
nrOpUpdates 84,502,733 84,502,341 ↘ 392 -0.00%
nrPrimOpCalls 349,299,603 349,297,815 ↘ 1,788 -0.00%
nrThunks 1,041,266,186 1,041,261,394 ↘ 4,792 -0.00%
sets-bytes 42,352,845,184 42,352,721,344 ↘ 123,840 -0.00%
sets-elements 2,494,362,928 2,494,355,732 ↘ 7,196 -0.00%
sets-number 152,689,896 152,689,352 ↘ 544 -0.00%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,455,548 2,455,548 0
symbols-number 171,449 171,449 0
values-bytes 31,985,043,888 31,984,921,872 ↘ 122,016 -0.00%
values-number 1,332,710,162 1,332,705,078 ↘ 5,084 -0.00%