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

Basic support for memory initialization checks for unions Check Std Verification #313: Pull request #3444 synchronize by artemagvanian
August 22, 2024 20:08 9m 7s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 20:08 9m 7s
Basic support for memory initialization checks for unions Check Std Verification #312: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:57 7m 44s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:57 7m 44s
Basic support for memory initialization checks for unions Check Std Verification #311: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:57 8m 6s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:57 8m 6s
Basic support for memory initialization checks for unions Check Std Verification #310: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:26 7m 41s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:26 7m 41s
Basic support for memory initialization checks for unions Check Std Verification #309: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 7m 21s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 7m 21s
Extend name resolution to support qualified paths (Partial Fix) Check Std Verification #308: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 7m 29s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 7m 29s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Check Std Verification #307: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 8m 19s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 8m 19s
Adopt Rust's source-based code coverage instrumentation Check Std Verification #306: Pull request #3119 synchronize by adpaco-aws
August 22, 2024 14:06 8m 9s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 22, 2024 14:06 8m 9s
Extra tests and bug fixes to the delayed UB instrumentation Check Std Verification #305: Pull request #3419 synchronize by artemagvanian
August 22, 2024 13:36 8m 21s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 22, 2024 13:36 8m 21s
Basic support for memory initialization checks for unions Check Std Verification #304: Pull request #3444 synchronize by artemagvanian
August 22, 2024 13:36 8m 34s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 13:36 8m 34s
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration Check Std Verification #303: Pull request #3438 synchronize by artemagvanian
August 22, 2024 12:56 7m 50s artemagvanian:group-uninit-instrumentation
artemagvanian:group-uninit-instrumentation
August 22, 2024 12:56 7m 50s
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration Check Std Verification #302: Pull request #3438 synchronize by artemagvanian
August 22, 2024 12:56 8m 29s artemagvanian:group-uninit-instrumentation
artemagvanian:group-uninit-instrumentation
August 22, 2024 12:56 8m 29s
Extend name resolution to support qualified paths (Partial Fix) Check Std Verification #301: Pull request #3457 opened by celinval
August 22, 2024 01:55 7m 59s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 01:55 7m 59s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Check Std Verification #300: Pull request #3448 synchronize by celinval
August 21, 2024 20:22 7m 45s celinval:issue-3312-crash
celinval:issue-3312-crash
August 21, 2024 20:22 7m 45s
kani-cov: A coverage tool for Kani Check Std Verification #299: Pull request #3121 synchronize by adpaco-aws
August 21, 2024 15:01 11m 59s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
August 21, 2024 15:01 11m 59s
Adopt Rust's source-based code coverage instrumentation Check Std Verification #298: Pull request #3119 synchronize by adpaco-aws
August 21, 2024 14:55 8m 44s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 21, 2024 14:55 8m 44s
RFC: Loop Contracts Check Std Verification #297: Pull request #3167 synchronize by qinheping
August 21, 2024 07:57 8m 12s qinheping:rfc-loop-contracts
qinheping:rfc-loop-contracts
August 21, 2024 07:57 8m 12s
RFC: Loop Contracts Check Std Verification #296: Pull request #3167 synchronize by qinheping
August 21, 2024 07:12 8m 2s qinheping:rfc-loop-contracts
qinheping:rfc-loop-contracts
August 21, 2024 07:12 8m 2s
Adopt Rust's source-based code coverage instrumentation Check Std Verification #295: Pull request #3119 synchronize by adpaco-aws
August 20, 2024 23:08 7m 37s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 20, 2024 23:08 7m 37s
Adopt Rust's source-based code coverage instrumentation Check Std Verification #294: Pull request #3119 synchronize by adpaco-aws
August 20, 2024 20:23 9m 28s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 20, 2024 20:23 9m 28s
Add loop scanner to tool-scanner Check Std Verification #293: Pull request #3443 synchronize by qinheping
August 20, 2024 20:19 8m 22s qinheping:features/loop-scanner
qinheping:features/loop-scanner
August 20, 2024 20:19 8m 22s
Add loop scanner to tool-scanner Check Std Verification #292: Pull request #3443 synchronize by qinheping
August 20, 2024 20:11 8m 44s qinheping:features/loop-scanner
qinheping:features/loop-scanner
August 20, 2024 20:11 8m 44s
Upgrade toolchain to 08/28 Check Std Verification #291: Pull request #3454 synchronize by jaisnan
August 20, 2024 19:54 9m 42s jaisnan:fix-toolchain-820
jaisnan:fix-toolchain-820
August 20, 2024 19:54 9m 42s
Upgrade toolchain to 08/28 Check Std Verification #290: Pull request #3454 synchronize by jaisnan
August 20, 2024 19:52 9m 52s jaisnan:fix-toolchain-820
jaisnan:fix-toolchain-820
August 20, 2024 19:52 9m 52s
Upgrade toolchain to 08/28 Check Std Verification #289: Pull request #3454 opened by jaisnan
August 20, 2024 19:38 9m 59s jaisnan:fix-toolchain-820
jaisnan:fix-toolchain-820
August 20, 2024 19:38 9m 59s