Skip to content

Actions: model-checking/kani

Actions

Check Std Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify-std-check.yml
1,214 workflow runs
1,214 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
Fix floating-point remainder soundness and add soundness documentation Check Std Verification #2518: Pull request #4570 synchronize by feliperodri
5m 26s feliperodri:fix-soundness-issues
feliperodri:fix-soundness-issues
5m 26s
Fix floating-point remainder soundness and add soundness documentation Check Std Verification #2517: Pull request #4570 synchronize by feliperodri
5m 43s feliperodri:fix-soundness-issues
feliperodri:fix-soundness-issues
5m 43s
Implement stub sets for reusable stub groups Check Std Verification #2516: Pull request #4594 synchronize by feliperodri
4m 36s feliperodri:stub-sets
feliperodri:stub-sets
4m 36s
Implement stub sets for reusable stub groups Check Std Verification #2515: Pull request #4594 synchronize by feliperodri
8m 20s feliperodri:stub-sets
feliperodri:stub-sets
8m 20s
Implement stub sets for reusable stub groups Check Std Verification #2514: Pull request #4594 synchronize by feliperodri
5m 47s feliperodri:stub-sets
feliperodri:stub-sets
5m 47s
Implement stub sets for reusable stub groups Check Std Verification #2513: Pull request #4594 synchronize by feliperodri
6m 22s feliperodri:stub-sets
feliperodri:stub-sets
6m 22s
Implement stub sets for reusable stub groups Check Std Verification #2512: Pull request #4594 synchronize by feliperodri
5m 20s feliperodri:stub-sets
feliperodri:stub-sets
5m 20s
Implement stub sets for reusable stub groups Check Std Verification #2511: Pull request #4594 opened by feliperodri
9m 34s feliperodri:stub-sets
feliperodri:stub-sets
9m 34s
Add a unified codegen cache Check Std Verification #2510: Pull request #4313 synchronize by feliperodri
7m 6s AlexanderPortland:final-cache
AlexanderPortland:final-cache
7m 6s
Automatic cargo update to 2026-04-27 Check Std Verification #2509: Pull request #4592 reopened by feliperodri
6m 33s cargo-update-2026-04-27
cargo-update-2026-04-27
6m 33s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de Check Std Verification #2508: Pull request #4593 opened by dependabot Bot
12m 32s dependabot/submodules/tests/perf/s2n-quic-08ca4de
dependabot/submodules/tests/perf/s2n-quic-08ca4de
12m 32s
Support stubbing trait method implementations Check Std Verification #2507: Pull request #4587 synchronize by feliperodri
5m 33s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 33s
Support stubbing trait method implementations Check Std Verification #2506: Pull request #4587 synchronize by feliperodri
5m 56s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 56s
Support stubbing trait method implementations Check Std Verification #2505: Pull request #4587 synchronize by feliperodri
5m 35s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 35s
Support stubbing trait method implementations Check Std Verification #2504: Pull request #4587 synchronize by feliperodri
5m 57s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 57s
Support stubbing trait method implementations Check Std Verification #2503: Pull request #4587 opened by feliperodri
5m 25s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
5m 25s
Add #[kani::loop_decreases] for proving loop termination Check Std Verification #2502: Pull request #4564 synchronize by feliperodri
5m 23s feliperodri:decreases-clause
feliperodri:decreases-clause
5m 23s
Add #[kani::loop_decreases] for proving loop termination Check Std Verification #2501: Pull request #4564 synchronize by feliperodri
1h 5m 28s feliperodri:decreases-clause
feliperodri:decreases-clause
1h 5m 28s
Add #[kani::loop_decreases] for proving loop termination Check Std Verification #2500: Pull request #4564 synchronize by feliperodri
1h 1m 22s feliperodri:decreases-clause
feliperodri:decreases-clause
1h 1m 22s
Support pointer arithmetic in quantifier predicates Check Std Verification #2499: Pull request #4583 synchronize by feliperodri
1h 1m 51s feliperodri:quantifier-pointer-arithmetic
feliperodri:quantifier-pointer-arithmetic
1h 1m 51s
Support pointer arithmetic in quantifier predicates Check Std Verification #2498: Pull request #4583 synchronize by feliperodri
1h 2m 9s feliperodri:quantifier-pointer-arithmetic
feliperodri:quantifier-pointer-arithmetic
1h 2m 9s
Support pointer arithmetic in quantifier predicates Check Std Verification #2497: Pull request #4583 synchronize by feliperodri
1h 4m 39s feliperodri:quantifier-pointer-arithmetic
feliperodri:quantifier-pointer-arithmetic
1h 4m 39s
Towards stubbing stabilization Check Std Verification #2496: Pull request #4566 synchronize by feliperodri
57m 22s feliperodri:fix-stubbing-issues
feliperodri:fix-stubbing-issues
57m 22s
Towards stubbing stabilization Check Std Verification #2495: Pull request #4566 synchronize by feliperodri
59m 34s feliperodri:fix-stubbing-issues
feliperodri:fix-stubbing-issues
59m 34s
Reject mutual recursion with #[kani::recursion] Check Std Verification #2494: Pull request #4580 synchronize by feliperodri
30m 40s feliperodri:warn-mutual-recursion-contracts
feliperodri:warn-mutual-recursion-contracts
30m 40s