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
308 workflow run results
308 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle intrinsics systematically Check Std Verification #213: Pull request #3422 synchronize by artemagvanian
August 9, 2024 16:56 4m 36s artemagvanian:unify-intrinsics
artemagvanian:unify-intrinsics
August 9, 2024 16:56 4m 36s
Update CBMC build instructions for Amazon Linux 2 Check Std Verification #212: Pull request #3431 opened by tautschnig
August 9, 2024 11:12 4m 3s tautschnig:kani-al2-build
tautschnig:kani-al2-build
August 9, 2024 11:12 4m 3s
Handle intrinsics systematically Check Std Verification #211: Pull request #3422 synchronize by artemagvanian
August 8, 2024 22:28 6m 17s artemagvanian:unify-intrinsics
artemagvanian:unify-intrinsics
August 8, 2024 22:28 6m 17s
Bump Kani version to 0.54.0 Check Std Verification #210: Pull request #3430 opened by feliperodri
August 8, 2024 20:50 5m 17s feliperodri:release-0.54.0
feliperodri:release-0.54.0
August 8, 2024 20:50 5m 17s
Implement memory initialization state copy functionality Check Std Verification #209: Pull request #3350 synchronize by artemagvanian
August 8, 2024 17:22 9m 32s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 8, 2024 17:22 9m 32s
Extra tests and bug fixes to the delayed UB instrumentation Check Std Verification #208: Pull request #3419 synchronize by artemagvanian
August 8, 2024 17:22 14m 6s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 8, 2024 17:22 14m 6s
Handle intrinsics systematically Check Std Verification #207: Pull request #3422 synchronize by artemagvanian
August 8, 2024 17:22 11m 22s artemagvanian:unify-intrinsics
artemagvanian:unify-intrinsics
August 8, 2024 17:22 11m 22s
RFC: Source-based code coverage Check Std Verification #206: Pull request #3143 synchronize by adpaco-aws
August 8, 2024 16:04 5m 49s adpaco-aws:rfc-region-cov
adpaco-aws:rfc-region-cov
August 8, 2024 16:04 5m 49s
RFC: Source-based code coverage Check Std Verification #205: Pull request #3143 synchronize by adpaco-aws
August 8, 2024 15:22 4m 1s adpaco-aws:rfc-region-cov
adpaco-aws:rfc-region-cov
August 8, 2024 15:22 4m 1s
RFC: Source-based code coverage Check Std Verification #204: Pull request #3143 synchronize by adpaco-aws
August 8, 2024 15:12 6m 4s adpaco-aws:rfc-region-cov
adpaco-aws:rfc-region-cov
August 8, 2024 15:12 6m 4s
RFC: Source-based code coverage Check Std Verification #203: Pull request #3143 synchronize by adpaco-aws
August 8, 2024 02:18 5m 51s adpaco-aws:rfc-region-cov
adpaco-aws:rfc-region-cov
August 8, 2024 02:18 5m 51s
Update depencencies Check Std Verification #202: Pull request #3428 opened by feliperodri
August 7, 2024 21:39 5m 10s feliperodri:cargo-update
feliperodri:cargo-update
August 7, 2024 21:39 5m 10s
Stabilize pointer-to-reference cast validity checks Check Std Verification #201: Pull request #3426 opened by artemagvanian
August 7, 2024 18:46 5m 6s artemagvanian:stabilize-ptr-to-ref-cast-checks
artemagvanian:stabilize-ptr-to-ref-cast-checks
August 7, 2024 18:46 5m 6s
Implement memory initialization state copy functionality Check Std Verification #200: Pull request #3350 synchronize by artemagvanian
August 7, 2024 18:27 4m 25s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 7, 2024 18:27 4m 25s
Extra tests and bug fixes to the delayed UB instrumentation Check Std Verification #199: Pull request #3419 synchronize by artemagvanian
August 7, 2024 15:52 5m 3s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 7, 2024 15:52 5m 3s
cover_or_fail! macro Check Std Verification #198: Pull request #3424 synchronize by carolynzech
August 7, 2024 13:38 8m 31s carolynzech:cover-or-fail
carolynzech:cover-or-fail
August 7, 2024 13:38 8m 31s
cover_or_fail! macro Check Std Verification #197: Pull request #3424 opened by carolynzech
August 7, 2024 13:33 5m 48s carolynzech:cover-or-fail
carolynzech:cover-or-fail
August 7, 2024 13:33 5m 48s
Loop Contracts Annotation for While-Loop Check Std Verification #196: Pull request #3151 synchronize by qinheping
August 7, 2024 06:19 8m 0s qinheping:features/loop-contracts-annotation
qinheping:features/loop-contracts-annotation
August 7, 2024 06:19 8m 0s
Automatic toolchain upgrade to nightly-2024-08-07 Check Std Verification #195: Pull request #3423 reopened by zhassan-aws
August 7, 2024 05:41 5m 24s toolchain-2024-08-07
toolchain-2024-08-07
August 7, 2024 05:41 5m 24s
Handle intrinsics systematically Check Std Verification #194: Pull request #3422 synchronize by artemagvanian
August 6, 2024 22:06 4m 27s artemagvanian:unify-intrinsics
artemagvanian:unify-intrinsics
August 6, 2024 22:06 4m 27s
Handle intrinsics systematically Check Std Verification #193: Pull request #3422 synchronize by artemagvanian
August 6, 2024 20:15 4m 7s artemagvanian:unify-intrinsics
artemagvanian:unify-intrinsics
August 6, 2024 20:15 4m 7s
Handle intrinsics systematically Check Std Verification #192: Pull request #3422 opened by artemagvanian
August 6, 2024 20:12 4m 4s artemagvanian:unify-intrinsics
artemagvanian:unify-intrinsics
August 6, 2024 20:12 4m 4s
Loop Contracts Annotation for While-Loop Check Std Verification #191: Pull request #3151 synchronize by qinheping
August 6, 2024 18:44 7m 12s qinheping:features/loop-contracts-annotation
qinheping:features/loop-contracts-annotation
August 6, 2024 18:44 7m 12s
Loop Contracts Annotation for While-Loop Check Std Verification #190: Pull request #3151 synchronize by qinheping
August 6, 2024 18:40 6m 40s qinheping:features/loop-contracts-annotation
qinheping:features/loop-contracts-annotation
August 6, 2024 18:40 6m 40s
Extra tests and bug fixes to the delayed UB instrumentation Check Std Verification #189: Pull request #3419 synchronize by artemagvanian
August 6, 2024 18:30 5m 41s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 6, 2024 18:30 5m 41s