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

qemu: enable canokey by default #311914

Merged
merged 4 commits into from
May 22, 2024

qemu: enable canokey by default

912edce
Select commit
Loading
Failed to load commit list.
Merged

qemu: enable canokey by default #311914

qemu: enable canokey by default
912edce
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded May 18, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 627.63 605.37 ↘ 22.25 -3.55%
envs-bytes 20,194,965,936 20,195,138,080 ↗ 172,144 0.00%
envs-elements 1,065,744,992 1,065,754,414 ↗ 9,422 0.00%
envs-number 729,312,875 729,318,923 ↗ 6,048 0.00%
gc-heapSize 57,399,025,664 57,432,576,000 ↗ 33,550,336 0.06%
gc-totalBytes 126,869,560,064 126,870,585,696 ↗ 1,025,632 0.00%
list-bytes 3,530,002,080 3,530,031,112 ↗ 29,032 0.00%
list-concats 81,933,556 81,934,205 ↗ 649 0.00%
list-elements 441,250,260 441,253,889 ↗ 3,629 0.00%
nrAvoided 851,309,688 851,317,733 ↗ 8,045 0.00%
nrFunctionCalls 671,122,223 671,127,771 ↗ 5,548 0.00%
nrLookups 346,757,061 346,759,413 ↗ 2,352 0.00%
nrOpUpdateValuesCopied 1,890,604,718 1,890,619,923 ↗ 15,205 0.00%
nrOpUpdates 84,959,398 84,960,238 ↗ 840 0.00%
nrPrimOpCalls 351,730,182 351,733,377 ↗ 3,195 0.00%
nrThunks 1,047,862,818 1,047,872,434 ↗ 9,616 0.00%
sets-bytes 42,477,746,944 42,478,085,680 ↗ 338,736 0.00%
sets-elements 2,500,958,060 2,500,977,906 ↗ 19,846 0.00%
sets-number 153,901,124 153,902,449 ↗ 1,325 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,459,174 2,459,174 0
symbols-number 171,823 171,823 0
values-bytes 32,158,006,440 32,158,254,768 ↗ 248,328 0.00%
values-number 1,339,916,935 1,339,927,282 ↗ 10,347 0.00%