Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rust-lang/rust
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: model-checking/verify-rust-std
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref

There isn’t anything to compare.

rust-lang:master and model-checking:main are entirely different commit histories.

Showing with 45 additions and 1 deletion.
  1. +22 −0 scripts/kani-std-analysis/metrics-data-core.json
  2. +23 −1 scripts/kani-std-analysis/metrics-data-std.json
22 changes: 22 additions & 0 deletions scripts/kani-std-analysis/metrics-data-core.json
Original file line number Diff line number Diff line change
@@ -116,6 +116,28 @@
"safe_fns_under_contract": 77,
"verified_safe_fns_under_contract": 75,
"total_functions_under_contract": 273
},
{
"date": "2025-03-23",
"total_unsafe_fns": 7215,
"total_unsafe_fns_with_loop": 14,
"total_safe_abstractions": 1792,
"total_safe_abstractions_with_loop": 71,
"total_safe_fns": 15386,
"total_safe_fns_with_loop": 733,
"unsafe_fns_under_contract": 193,
"unsafe_fns_with_loop_under_contract": 1,
"verified_unsafe_fns_under_contract": 135,
"verified_unsafe_fns_with_loop_under_contract": 0,
"safe_abstractions_under_contract": 41,
"safe_abstractions_with_loop_under_contract": 0,
"verified_safe_abstractions_under_contract": 41,
"verified_safe_abstractions_with_loop_under_contract": 0,
"safe_fns_under_contract": 77,
"safe_fns_with_loop_under_contract": 0,
"verified_safe_fns_under_contract": 75,
"verified_safe_fns_with_loop_under_contract": 0,
"total_functions_under_contract_all_crates": 274
}
]
}
24 changes: 23 additions & 1 deletion scripts/kani-std-analysis/metrics-data-std.json
Original file line number Diff line number Diff line change
@@ -1,4 +1,26 @@
{
"results": [
{
"date": "2025-03-23",
"total_unsafe_fns": 179,
"total_unsafe_fns_with_loop": 12,
"total_safe_abstractions": 567,
"total_safe_abstractions_with_loop": 43,
"total_safe_fns": 4052,
"total_safe_fns_with_loop": 175,
"unsafe_fns_under_contract": 0,
"unsafe_fns_with_loop_under_contract": 0,
"verified_unsafe_fns_under_contract": 0,
"verified_unsafe_fns_with_loop_under_contract": 0,
"safe_abstractions_under_contract": 0,
"safe_abstractions_with_loop_under_contract": 0,
"verified_safe_abstractions_under_contract": 0,
"verified_safe_abstractions_with_loop_under_contract": 0,
"safe_fns_under_contract": 0,
"safe_fns_with_loop_under_contract": 0,
"verified_safe_fns_under_contract": 0,
"verified_safe_fns_with_loop_under_contract": 0,
"total_functions_under_contract_all_crates": 274
}
]
}
}