Skip to content

Actions: model-checking/kani

Actions

Kani Compiler Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench-compiler.yml
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove StableMIR ICE workaround (#4235) Kani Compiler Performance Benchmarks #43: Commit 4c18d03 pushed by github-merge-queue bot
42m 31s main
main
42m 31s
Strongly type differing compiler args for clarity (#4220) Kani Compiler Performance Benchmarks #42: Commit 5af25b5 pushed by github-merge-queue bot
41m 16s main
main
41m 16s
Skip codegen for unneeded harnesses (#4213) Kani Compiler Performance Benchmarks #41: Commit 210b6c3 pushed by github-merge-queue bot
42m 1s main
main
42m 1s
Automatic cargo update to 2025-07-21 (#4231) Kani Compiler Performance Benchmarks #40: Commit c0b5fda pushed by github-merge-queue bot
41m 0s main
main
41m 0s
Enable GitHub Linux/Arm runners in CI (#3841) Kani Compiler Performance Benchmarks #39: Commit d49a9ff pushed by github-merge-queue bot
44m 33s main
main
44m 33s
Automatic toolchain upgrade to nightly-2025-07-14 (#4225) Kani Compiler Performance Benchmarks #38: Commit f080721 pushed by github-merge-queue bot
43m 14s main
main
43m 14s
Move tests from slow/kani back to regular suite (#4202) Kani Compiler Performance Benchmarks #37: Commit c9f3b76 pushed by github-merge-queue bot
39m 26s main
main
39m 26s
Use CBMC's shuffle_vector expression (#4204) Kani Compiler Performance Benchmarks #36: Commit 6eaa453 pushed by github-merge-queue bot
50m 8s main
main
50m 8s
Support bitwuzla, cvc5, z3 as solver attribute values (#4218) Kani Compiler Performance Benchmarks #35: Commit ab7c438 pushed by github-merge-queue bot
43m 21s main
main
43m 21s
Do not invoke memset with count of zero (#4205) Kani Compiler Performance Benchmarks #34: Commit 9ef900f pushed by github-merge-queue bot
42m 5s main
main
42m 5s
Implement support for Cargo.toml's default-members (#4201) Kani Compiler Performance Benchmarks #33: Commit 3d5d867 pushed by github-merge-queue bot
43m 13s main
main
43m 13s
Bump tests/perf/s2n-quic from 32ba87d to 1cbd879 (#4227) Kani Compiler Performance Benchmarks #32: Commit 192911d pushed by github-merge-queue bot
42m 25s main
main
42m 25s
Selectively enable and fix (slow) Tokio tests (#4203) Kani Compiler Performance Benchmarks #31: Commit e12fa5a pushed by github-merge-queue bot
45m 38s main
main
45m 38s
Cleanup links to issues that have been addressed (#4200) Kani Compiler Performance Benchmarks #30: Commit b6c4a15 pushed by github-merge-queue bot
43m 20s main
main
43m 20s
Automatic cargo update to 2025-07-14 (#4224) Kani Compiler Performance Benchmarks #29: Commit 4b542d5 pushed by github-merge-queue bot
40m 19s main
main
40m 19s
Automatic toolchain upgrade to nightly-2025-07-13 (#4223) Kani Compiler Performance Benchmarks #28: Commit 283c332 pushed by github-merge-queue bot
42m 21s main
main
42m 21s
Fix bug: goto-cc crash when there are two quantifers in one proof (… Kani Compiler Performance Benchmarks #27: Commit 603d647 pushed by github-merge-queue bot
42m 36s main
main
42m 36s
Automatic toolchain upgrade to nightly-2025-07-12 (#4222) Kani Compiler Performance Benchmarks #26: Commit 4da64f3 pushed by github-merge-queue bot
41m 5s main
main
41m 5s
Upgrade Rust toolchain to 2025-07-11 (#4219) Kani Compiler Performance Benchmarks #25: Commit ff0161f pushed by github-merge-queue bot
44m 33s main
main
44m 33s
Fix the bug that assign clause cannot be inferred for the inner loop … Kani Compiler Performance Benchmarks #24: Commit 8c26683 pushed by github-merge-queue bot
39m 43s main
main
39m 43s
Split compiler flags to avoid dependency recompilation (#4211) Kani Compiler Performance Benchmarks #23: Commit c9e396e pushed by github-merge-queue bot
41m 13s main
main
41m 13s
Update CBMC dependency to 6.7.1 (#4178) Kani Compiler Performance Benchmarks #22: Commit 533403e pushed by github-merge-queue bot
45m 22s main
main
45m 22s
Upgrade Rust toolchain to 2025-07-10 (#4215) Kani Compiler Performance Benchmarks #21: Commit 6796bb4 pushed by github-merge-queue bot
39m 9s main
main
39m 9s
Upgrade Rust toolchain to 2025-07-04 (#4199) Kani Compiler Performance Benchmarks #20: Commit 361ccea pushed by github-merge-queue bot
42m 43s main
main
42m 43s
Bump tests/perf/s2n-quic from b8f8cca to 8715fdf (#4209) Kani Compiler Performance Benchmarks #19: Commit 2bdc9ba pushed by github-merge-queue bot
40m 49s main
main
40m 49s