Skip to content

Actions: model-checking/kani

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extra_jobs.yml
1,099 workflow run results
1,099 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade toolchain to nightly-2024-07-01 Kani Extra #1241: Pull request #3314 opened by adpaco-aws
July 1, 2024 21:08 53m 56s
July 1, 2024 21:08 53m 56s
Improve performance and language support of memory initialization checks Kani Extra #1240: Pull request #3313 synchronize by artemagvanian
July 1, 2024 21:02 55m 5s
July 1, 2024 21:02 55m 5s
Towards Proving Memory Initialization Kani Extra #1239: Pull request #3264 synchronize by artemagvanian
July 1, 2024 20:59 59m 0s
July 1, 2024 20:59 59m 0s
Improve performance and language support of memory initialization checks Kani Extra #1238: Pull request #3313 synchronize by artemagvanian
July 1, 2024 20:58 57m 14s
July 1, 2024 20:58 57m 14s
Improve performance and language support of memory initialization checks Kani Extra #1237: Pull request #3313 opened by artemagvanian
July 1, 2024 20:58 1h 0m 39s
July 1, 2024 20:58 1h 0m 39s
Function Contracts: Modify Slices Kani Extra #1236: Pull request #3295 synchronize by pi314mm
July 1, 2024 19:32 55m 52s
July 1, 2024 19:32 55m 52s
Add support for f16 and f128 for toolchain upgrade to 6/28 Kani Extra #1235: Pull request #3306 synchronize by jaisnan
July 1, 2024 18:44 55m 47s
July 1, 2024 18:44 55m 47s
Towards Proving Memory Initialization Kani Extra #1234: Pull request #3264 synchronize by artemagvanian
July 1, 2024 18:44 1h 0m 31s
July 1, 2024 18:44 1h 0m 31s
Function Contracts: Modify Slices Kani Extra #1233: Pull request #3295 synchronize by pi314mm
July 1, 2024 17:23 53m 56s
July 1, 2024 17:23 53m 56s
Add support for f16 and f128 for toolchain upgrade to 6/28 Kani Extra #1232: Pull request #3306 synchronize by jaisnan
July 1, 2024 16:15 57m 42s
July 1, 2024 16:15 57m 42s
Function Contracts: Closure Type Inference Kani Extra #1231: Pull request #3307 synchronize by pi314mm
July 1, 2024 16:12 57m 34s
July 1, 2024 16:12 57m 34s
Automatic cargo update to 2024-07-01 Kani Extra #1230: Pull request #3310 reopened by tautschnig
July 1, 2024 05:02 55m 9s
July 1, 2024 05:02 55m 9s
Remove deprecated --enable-stubbing Kani Extra #1229: Pull request #3309 synchronize by celinval
June 28, 2024 23:41 16s
June 28, 2024 23:41 16s
Remove --visualize and cbmc-viewer call Kani Extra #1228: Pull request #3302 synchronize by jaisnan
June 28, 2024 23:32 16s
June 28, 2024 23:32 16s
Remove deprecated --enable-stubbing Kani Extra #1227: Pull request #3309 opened by celinval
June 28, 2024 23:25 13s
June 28, 2024 23:25 13s
RFC for Rust UB checks Kani Extra #1226: Pull request #3092 synchronize by celinval
June 28, 2024 23:08 12s
June 28, 2024 23:08 12s
Add support for f16 and f128 for toolchain upgrade to 6/28 Kani Extra #1225: Pull request #3306 synchronize by jaisnan
June 28, 2024 21:57 54m 33s
June 28, 2024 21:57 54m 33s
Function Contracts: Closure Type Inference Kani Extra #1224: Pull request #3307 synchronize by pi314mm
June 28, 2024 21:25 53m 25s
June 28, 2024 21:25 53m 25s
Function Contracts: Closure Type Inference Kani Extra #1223: Pull request #3307 synchronize by pi314mm
June 28, 2024 21:24 57m 4s
June 28, 2024 21:24 57m 4s
Towards Proving Memory Initialization Kani Extra #1222: Pull request #3264 synchronize by artemagvanian
June 28, 2024 21:21 57m 15s
June 28, 2024 21:21 57m 15s
Function Contracts: Closure Type Inference Kani Extra #1221: Pull request #3307 synchronize by pi314mm
June 28, 2024 21:16 56m 14s
June 28, 2024 21:16 56m 14s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1220: Pull request #3283 synchronize by adpaco-aws
June 28, 2024 21:16 54m 53s
June 28, 2024 21:16 54m 53s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1219: Pull request #3283 synchronize by adpaco-aws
June 28, 2024 21:13 54m 48s
June 28, 2024 21:13 54m 48s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1218: Pull request #3283 synchronize by adpaco-aws
June 28, 2024 21:02 54m 7s
June 28, 2024 21:02 54m 7s
Towards Proving Memory Initialization Kani Extra #1217: Pull request #3264 synchronize by artemagvanian
June 28, 2024 21:02 1h 0m 12s
June 28, 2024 21:02 1h 0m 12s