Skip to content

Actions: model-checking/kani

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Function Contracts: Interior Mutability Tests Kani Extra #1441: Pull request #3351 synchronize by pi314mm
July 19, 2024 19:40 12s
July 19, 2024 19:40 12s
[Draft] Combine multiple range checks to handle noncontiguous ranges Kani Extra #1440: Pull request #3362 opened by adpaco-aws
July 19, 2024 19:31 1h 0m 21s
July 19, 2024 19:31 1h 0m 21s
Test that boxed fn parameters are implemented. Kani Extra #1439: Pull request #3361 synchronize by jsalzbergedu
July 19, 2024 19:14 12s
July 19, 2024 19:14 12s
Test that boxed fn parameters are implemented. Kani Extra #1438: Pull request #3361 opened by jsalzbergedu
July 19, 2024 19:05 18s
July 19, 2024 19:05 18s
Function Contracts: Interior Mutability Tests Kani Extra #1437: Pull request #3351 synchronize by pi314mm
July 19, 2024 16:39 13s
July 19, 2024 16:39 13s
Function Contracts: Interior Mutability Tests Kani Extra #1436: Pull request #3351 synchronize by pi314mm
July 19, 2024 16:39 12s
July 19, 2024 16:39 12s
Add support for global transformations Kani Extra #1435: Pull request #3348 synchronize by artemagvanian
July 19, 2024 16:04 57m 34s
July 19, 2024 16:04 57m 34s
Add support for global transformations Kani Extra #1434: Pull request #3348 synchronize by artemagvanian
July 19, 2024 16:04 54m 10s
July 19, 2024 16:04 54m 10s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Extra #1433: Pull request #3344 synchronize by artemagvanian
July 19, 2024 15:24 56m 58s
July 19, 2024 15:24 56m 58s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Extra #1432: Pull request #3344 synchronize by artemagvanian
July 19, 2024 15:23 1h 1m 34s
July 19, 2024 15:23 1h 1m 34s
Harness output individual files Kani Extra #1431: Pull request #3360 opened by Alexander-Aghili
July 19, 2024 05:02 14s
July 19, 2024 05:02 14s
Upgrade toolchain to 2024-07-18 Kani Extra #1430: Pull request #3355 synchronize by qinheping
July 18, 2024 21:20 58m 10s
July 18, 2024 21:20 58m 10s
Function Contracts: Interior Mutability Tests Kani Extra #1429: Pull request #3351 synchronize by pi314mm
July 18, 2024 20:50 16s
July 18, 2024 20:50 16s
Function Contracts: Interior Mutability Tests Kani Extra #1428: Pull request #3351 synchronize by pi314mm
July 18, 2024 20:43 14s
July 18, 2024 20:43 14s
Function Contracts: Interior Mutability Tests Kani Extra #1427: Pull request #3351 synchronize by pi314mm
July 18, 2024 20:31 14s
July 18, 2024 20:31 14s
Upgrade toolchain to 2024-07-18 Kani Extra #1426: Pull request #3355 opened by qinheping
July 18, 2024 20:11 1h 1m 29s
July 18, 2024 20:11 1h 1m 29s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1425: Pull request #3283 synchronize by adpaco-aws
July 18, 2024 16:23 57m 9s
July 18, 2024 16:23 57m 9s
Update features/verify-std to 07-16 Kani Extra #1424: Pull request #3354 opened by jaisnan
July 18, 2024 16:20 55m 48s
July 18, 2024 16:20 55m 48s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1423: Pull request #3283 synchronize by adpaco-aws
July 18, 2024 15:34 58m 19s
July 18, 2024 15:34 58m 19s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Extra #1422: Pull request #3344 synchronize by artemagvanian
July 18, 2024 15:33 59m 1s
July 18, 2024 15:33 59m 1s
Add support for global transformations Kani Extra #1421: Pull request #3348 synchronize by artemagvanian
July 18, 2024 15:33 55m 56s
July 18, 2024 15:33 55m 56s
Implement memory initialization state copy functionality Kani Extra #1420: Pull request #3350 synchronize by artemagvanian
July 18, 2024 15:32 1h 3m 34s
July 18, 2024 15:32 1h 3m 34s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1419: Pull request #3283 synchronize by adpaco-aws
July 18, 2024 15:26 58m 14s
July 18, 2024 15:26 58m 14s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1418: Pull request #3283 synchronize by adpaco-aws
July 18, 2024 15:26 56m 47s
July 18, 2024 15:26 56m 47s
Automatic toolchain upgrade to nightly-2024-07-17 Kani Extra #1417: Pull request #3352 reopened by zhassan-aws
July 18, 2024 03:14 56m 18s
July 18, 2024 03:14 56m 18s