Skip to content

Actions: model-checking/kani

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
710 workflow runs
710 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve Kani handling of function markers (#3718) Kani Performance Benchmarks #726: Commit d4605b3 pushed by github-merge-queue bot
November 16, 2024 03:55 1h 6m 18s main
main
November 16, 2024 03:55 1h 6m 18s
Fix codegen for rvalue aggregate raw pointer to an adt with slice tai… Kani Performance Benchmarks #725: Commit 9c2318b pushed by github-merge-queue bot
November 15, 2024 19:02 1h 9m 47s main
main
November 15, 2024 19:02 1h 9m 47s
Automatic toolchain upgrade to nightly-2024-11-15 (#3720) Kani Performance Benchmarks #724: Commit 6b2dea2 pushed by github-merge-queue bot
November 15, 2024 16:46 1h 9m 23s main
main
November 15, 2024 16:46 1h 9m 23s
Automatic toolchain upgrade to nightly-2024-11-14 (#3719) Kani Performance Benchmarks #723: Commit b9d7d8d pushed by github-merge-queue bot
November 15, 2024 06:44 1h 5m 52s main
main
November 15, 2024 06:44 1h 5m 52s
Upgrade toolchain to nightly-2024-11-13 (#3715) Kani Performance Benchmarks #722: Commit b774d40 pushed by github-merge-queue bot
November 14, 2024 18:59 1h 2m 43s main
main
November 14, 2024 18:59 1h 2m 43s
Revert "Ignore derivative in Cargo deny" (#3712) Kani Performance Benchmarks #721: Commit abcc9e1 pushed by github-merge-queue bot
November 14, 2024 07:29 1h 7m 39s main
main
November 14, 2024 07:29 1h 7m 39s
Update charon submodule (#3716) Kani Performance Benchmarks #720: Commit c0afe20 pushed by github-merge-queue bot
November 14, 2024 03:53 1h 4m 50s main
main
November 14, 2024 03:53 1h 4m 50s
Automatic toolchain upgrade to nightly-2024-11-12 (#3713) Kani Performance Benchmarks #719: Commit f855a72 pushed by github-merge-queue bot
November 13, 2024 21:15 1h 2m 33s main
main
November 13, 2024 21:15 1h 2m 33s
Upgrade toolchain to nightly-2024-11-11 (#3710) Kani Performance Benchmarks #718: Commit 47a7c22 pushed by github-merge-queue bot
November 13, 2024 18:21 1h 5m 26s main
main
November 13, 2024 18:21 1h 5m 26s
Add support for f16 and f128 in float_to_int_unchecked intrinsic (#3701) Kani Performance Benchmarks #717: Commit 80d4451 pushed by github-merge-queue bot
November 12, 2024 21:53 1h 4m 4s main
main
November 12, 2024 21:53 1h 4m 4s
Bump tests/perf/s2n-quic from 65d55a4 to cb41b35 (#3706) Kani Performance Benchmarks #716: Commit abd68b9 pushed by github-merge-queue bot
November 12, 2024 00:14 1h 8m 36s main
main
November 12, 2024 00:14 1h 8m 36s
Automatic toolchain upgrade to nightly-2024-11-09 (#3709) Kani Performance Benchmarks #715: Commit db886e6 pushed by github-merge-queue bot
November 11, 2024 23:05 1h 6m 20s main
main
November 11, 2024 23:05 1h 6m 20s
Automatic cargo update to 2024-11-11 (#3704) Kani Performance Benchmarks #714: Commit 1dd497c pushed by github-merge-queue bot
November 11, 2024 22:05 1h 5m 53s main
main
November 11, 2024 22:05 1h 5m 53s
Upgrade Rust toolchain to 2024-11-08 (#3703) Kani Performance Benchmarks #713: Commit c776a54 pushed by github-merge-queue bot
November 11, 2024 20:19 1h 7m 13s main
main
November 11, 2024 20:19 1h 7m 13s
Ignore derivative in Cargo deny (#3708) Kani Performance Benchmarks #712: Commit 59ef4df pushed by github-merge-queue bot
November 11, 2024 20:15 1h 7m 49s main
main
November 11, 2024 20:15 1h 7m 49s
Remove CBMC viewer and visualize option (#3699) Kani Performance Benchmarks #711: Commit 26c078e pushed by github-merge-queue bot
November 9, 2024 00:37 1h 6m 48s main
main
November 9, 2024 00:37 1h 6m 48s
Apply loop contracts only if there exists some usage (#3694) Kani Performance Benchmarks #710: Commit 8400296 pushed by github-merge-queue bot
November 8, 2024 02:48 1h 1m 17s main
main
November 8, 2024 02:48 1h 1m 17s
Update cbmc-viewer to 3.10 (#3683) Kani Performance Benchmarks #709: Commit 9b2bbd3 pushed by github-merge-queue bot
November 7, 2024 10:16 1h 6m 34s main
main
November 7, 2024 10:16 1h 6m 34s
Derive Arbitrary for enums with a single variant (#3692) Kani Performance Benchmarks #708: Commit 4781b95 pushed by github-merge-queue bot
November 7, 2024 02:42 1h 10m 52s main
main
November 7, 2024 02:42 1h 10m 52s
Automatic upgrade of CBMC from 6.3.1 to 6.4.0 (#3689) Kani Performance Benchmarks #707: Commit 2565ef6 pushed by github-merge-queue bot
November 6, 2024 21:22 1h 5m 17s main
main
November 6, 2024 21:22 1h 5m 17s
Change same_allocation to accept wide pointers (#3684) Kani Performance Benchmarks #706: Commit 4aa739f pushed by github-merge-queue bot
November 6, 2024 18:18 1h 4m 17s main
main
November 6, 2024 18:18 1h 4m 17s
Add support for float_to_int_unchecked (#3660) Kani Performance Benchmarks #705: Commit 0dc09a7 pushed by github-merge-queue bot
November 6, 2024 06:44 1h 8m 10s main
main
November 6, 2024 06:44 1h 8m 10s
Update Charon submodule to 2024-11-04 (#3686) Kani Performance Benchmarks #704: Commit b677d6b pushed by github-merge-queue bot
November 6, 2024 00:59 1h 6m 35s main
main
November 6, 2024 00:59 1h 6m 35s
Harness output individual files (#3360) Kani Performance Benchmarks #703: Commit edec4dc pushed by github-merge-queue bot
November 5, 2024 03:58 1h 7m 59s main
main
November 5, 2024 03:58 1h 7m 59s
Update dependencies following Audit workflow failure. (#3680) Kani Performance Benchmarks #702: Commit 568de5e pushed by github-merge-queue bot
November 5, 2024 01:49 1h 3m 30s main
main
November 5, 2024 01:49 1h 3m 30s