Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Nightly: CBMC Latest Nightly: CBMC Latest #1378: Scheduled
59m 14s main
main
59m 14s
Nightly: Slow tests Nightly: Slow tests #1489: Scheduled
30m 59s main
main
30m 59s
Attempt toolchain update Attempt toolchain update #1473: Scheduled
3m 39s main
main
3m 39s
Report an invalid bool constant as undefined behavior Kani Benchmarks #663: Pull request #4975 synchronize by srivatsansamraj
Action required srivatsansamraj:invalid-bool-constant
srivatsansamraj:invalid-bool-constant
Action required
Report an invalid bool constant as undefined behavior Kani Format Check #14037: Pull request #4975 synchronize by srivatsansamraj
Action required srivatsansamraj:invalid-bool-constant
srivatsansamraj:invalid-bool-constant
Action required
Report an invalid bool constant as undefined behavior Check Std Verification #3206: Pull request #4975 synchronize by srivatsansamraj
Action required srivatsansamraj:invalid-bool-constant
srivatsansamraj:invalid-bool-constant
Action required
Report an invalid bool constant as undefined behavior Kani CI #14209: Pull request #4975 synchronize by srivatsansamraj
Action required srivatsansamraj:invalid-bool-constant
srivatsansamraj:invalid-bool-constant
Action required
Report an invalid bool constant as undefined behavior Cargo Deny #6228: Pull request #4975 synchronize by srivatsansamraj
Action required srivatsansamraj:invalid-bool-constant
srivatsansamraj:invalid-bool-constant
Action required
Report an invalid bool constant as undefined behavior Release Bundle #7231: Pull request #4975 synchronize by srivatsansamraj
Action required srivatsansamraj:invalid-bool-constant
srivatsansamraj:invalid-bool-constant
Action required
Report an invalid bool constant as undefined behavior Kani Extra #5934: Pull request #4975 synchronize by srivatsansamraj
11s
11s
Evaluate overflow_checks() to the session's setting Kani Benchmarks #662: Pull request #4980 synchronize by srivatsansamraj
Action required srivatsansamraj:overflow-checks-intrinsic
srivatsansamraj:overflow-checks-intrinsic
Action required
Evaluate overflow_checks() to the session's setting Kani Format Check #14036: Pull request #4980 synchronize by srivatsansamraj
Action required srivatsansamraj:overflow-checks-intrinsic
srivatsansamraj:overflow-checks-intrinsic
Action required
Evaluate overflow_checks() to the session's setting Kani CI #14208: Pull request #4980 synchronize by srivatsansamraj
Action required srivatsansamraj:overflow-checks-intrinsic
srivatsansamraj:overflow-checks-intrinsic
Action required
Evaluate overflow_checks() to the session's setting Check Std Verification #3205: Pull request #4980 synchronize by srivatsansamraj
Action required srivatsansamraj:overflow-checks-intrinsic
srivatsansamraj:overflow-checks-intrinsic
Action required
Evaluate overflow_checks() to the session's setting Cargo Deny #6227: Pull request #4980 synchronize by srivatsansamraj
Action required srivatsansamraj:overflow-checks-intrinsic
srivatsansamraj:overflow-checks-intrinsic
Action required
Evaluate overflow_checks() to the session's setting Release Bundle #7230: Pull request #4980 synchronize by srivatsansamraj
Action required srivatsansamraj:overflow-checks-intrinsic
srivatsansamraj:overflow-checks-intrinsic
Action required
Evaluate overflow_checks() to the session's setting Kani Extra #5933: Pull request #4980 synchronize by srivatsansamraj
13s
13s
Read constant pointer offsets and slice lengths from the pointer Kani Benchmarks #661: Pull request #4976 synchronize by srivatsansamraj
Action required srivatsansamraj:const-subslice-fat-pointer
srivatsansamraj:const-subslice-fat-pointer
Action required
Read constant pointer offsets and slice lengths from the pointer Check Std Verification #3204: Pull request #4976 synchronize by srivatsansamraj
Action required srivatsansamraj:const-subslice-fat-pointer
srivatsansamraj:const-subslice-fat-pointer
Action required
Read constant pointer offsets and slice lengths from the pointer Kani Format Check #14035: Pull request #4976 synchronize by srivatsansamraj
Action required srivatsansamraj:const-subslice-fat-pointer
srivatsansamraj:const-subslice-fat-pointer
Action required
Read constant pointer offsets and slice lengths from the pointer Kani CI #14207: Pull request #4976 synchronize by srivatsansamraj
Action required srivatsansamraj:const-subslice-fat-pointer
srivatsansamraj:const-subslice-fat-pointer
Action required
Read constant pointer offsets and slice lengths from the pointer Cargo Deny #6226: Pull request #4976 synchronize by srivatsansamraj
Action required srivatsansamraj:const-subslice-fat-pointer
srivatsansamraj:const-subslice-fat-pointer
Action required
Read constant pointer offsets and slice lengths from the pointer Release Bundle #7229: Pull request #4976 synchronize by srivatsansamraj
Action required srivatsansamraj:const-subslice-fat-pointer
srivatsansamraj:const-subslice-fat-pointer
Action required
Read constant pointer offsets and slice lengths from the pointer Kani Extra #5932: Pull request #4976 synchronize by srivatsansamraj
13s
13s
Ignore min_length of a constant index into an array Kani Benchmarks #660: Pull request #4974 synchronize by srivatsansamraj
Action required srivatsansamraj:constant-index-min-length
srivatsansamraj:constant-index-min-length
Action required