Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,036 workflow runs
1,036 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Kani Metrics (#333) Kani #1637: Commit 64af8ce pushed by github-merge-queue Bot
1h 51m 28s main
main
1h 51m 28s
Add autoharness to run-kani script and use in CI Kani #1636: Pull request #334 synchronize by tautschnig
1h 58m 46s tautschnig:autoharness-support
tautschnig:autoharness-support
1h 58m 46s
Kani Kani #1635: Merge group checks requested
1h 49m 18s
1h 49m 18s
Merge subtree update for toolchain nightly-2025-04-07 (#329) Kani #1634: Commit 649567e pushed by github-merge-queue Bot
1h 56m 37s gh-readonly-queue/main/pr-329-3b80a4c5b78c628c9ec07eba97249ff0d9a9b7ac
gh-readonly-queue/main/pr-329-3b80a4c5b78c628c9ec07eba97249ff0d9a9b7ac
1h 56m 37s
Kani Kani #1633: Merge group checks requested
1h 49m 24s
1h 49m 24s
Add autoharness to run-kani script and use in CI Kani #1632: Pull request #334 synchronize by tautschnig
7m 1s tautschnig:autoharness-support
tautschnig:autoharness-support
7m 1s
Add autoharness to run-kani script and use in CI Kani #1631: Pull request #334 opened by tautschnig
1h 53m 16s tautschnig:autoharness-support
tautschnig:autoharness-support
1h 53m 16s
Merge subtree update for toolchain nightly-2025-04-07 Kani #1630: Pull request #329 synchronize by tautschnig
1h 48m 47s sync-2025-04-07
sync-2025-04-07
1h 48m 47s
Disable harness that is timing out Kani #1629: Commit 90a7719 pushed by tautschnig
1h 47m 11s sync-2025-04-07
sync-2025-04-07
1h 47m 11s
Update Kani Metrics Kani #1628: Pull request #333 reopened by tautschnig
1h 59m 57s update-kani-metrics
update-kani-metrics
1h 59m 57s
Add safety preconditions to std/src/alloc.rs Kani #1627: Pull request #330 synchronize by tautschnig
1h 44m 28s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
1h 44m 28s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Kani #1626: Pull request #328 synchronize by carolynzech
1h 43m 58s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
1h 43m 58s
Add kmir tool description and CI workflow Kani #1625: Pull request #310 synchronize by gregorymakodzeba
1h 52m 19s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 52m 19s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Kani #1624: Pull request #328 synchronize by carolynzech
1h 43m 39s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
1h 43m 39s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Kani #1623: Pull request #328 synchronize by carolynzech
1h 45m 58s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
1h 45m 58s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Kani #1622: Pull request #328 synchronize by carolynzech
6m 44s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
6m 44s
Merge subtree update for toolchain nightly-2025-04-07 Kani #1621: Pull request #329 reopened by tautschnig
6h 5m 9s sync-2025-04-07
sync-2025-04-07
6h 5m 9s
Add safety preconditions to core/src/iter/range.rs Kani #1620: Pull request #331 synchronize by tautschnig
1h 51m 22s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
1h 51m 22s
Add safety preconditions to std/src/alloc.rs Kani #1619: Pull request #330 synchronize by tautschnig
1h 46m 50s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
1h 46m 50s
Add safety preconditions to core/src/iter/range.rs Kani #1618: Pull request #331 opened by tautschnig
1h 49m 23s tautschnig:iter-range-rs-contracts
tautschnig:iter-range-rs-contracts
1h 49m 23s
Add safety preconditions to std/src/alloc.rs Kani #1617: Pull request #330 opened by tautschnig
1h 54m 26s tautschnig:alloc-rs-contracts
tautschnig:alloc-rs-contracts
1h 54m 26s
Implement kani::Arbitrary for Wrapping, Saturating, and Simd types Kani #1616: Pull request #328 opened by carolynzech
7m 24s carolynzech:wrapping-saturating-derive
carolynzech:wrapping-saturating-derive
7m 24s
Add loop_invariants for some Int power functions Kani #1615: Pull request #327 synchronize by thanhnguyen-aws
7m 44s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
7m 44s
Kani Kani #1614: Merge group checks requested
1h 59m 2s
1h 59m 2s
Kani Kani #1613: Merge group checks requested
2h 1m 14s
2h 1m 14s
ProTip! You can narrow down the results and go further in time using created:<2025-04-17 or the other filters available.