Skip to content

Actions: model-checking/verify-rust-std

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
Running Copilot Code Review Copilot #9: by Copilot AI
In progress main
main
In progress
Use byte-wise memchr under Kani to cut symbolic execution cost VeriFast #1340: Pull request #628 opened by tautschnig
45s tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
45s
Use byte-wise memchr under Kani to cut symbolic execution cost Flux #601: Pull request #628 opened by tautschnig
In progress tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
In progress
Use byte-wise memchr under Kani to cut symbolic execution cost VeriFast (negative) #1326: Pull request #628 opened by tautschnig
41s tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
41s
Use byte-wise memchr under Kani to cut symbolic execution cost Testable simd models #365: Pull request #628 opened by tautschnig
In progress tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
In progress
Use byte-wise memchr under Kani to cut symbolic execution cost Build Book #2499: Pull request #628 opened by tautschnig
In progress tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
In progress
Use byte-wise memchr under Kani to cut symbolic execution cost Run GOTO Transcoder (ESBMC) #1388: Pull request #628 opened by tautschnig
In progress tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
In progress
Use byte-wise memchr under Kani to cut symbolic execution cost Kani #2664: Pull request #628 opened by tautschnig
In progress tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
In progress
Use byte-wise memchr under Kani to cut symbolic execution cost Rust Tests #2623: Pull request #628 opened by tautschnig
In progress tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
In progress
Running Copilot Code Review Copilot #8: by Copilot AI
1m 23s main
main
1m 23s
Do not dereference in slice_from_raw_parts postcondition Flux #600: Pull request #627 opened by tautschnig
In progress tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
In progress
Do not dereference in slice_from_raw_parts postcondition VeriFast (negative) #1325: Pull request #627 opened by tautschnig
38s tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
38s
Do not dereference in slice_from_raw_parts postcondition Run GOTO Transcoder (ESBMC) #1387: Pull request #627 opened by tautschnig
In progress tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
In progress
Do not dereference in slice_from_raw_parts postcondition Rust Tests #2622: Pull request #627 opened by tautschnig
In progress tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
In progress
Do not dereference in slice_from_raw_parts postcondition Kani #2663: Pull request #627 opened by tautschnig
In progress tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
In progress
Do not dereference in slice_from_raw_parts postcondition VeriFast #1339: Pull request #627 opened by tautschnig
40s tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
40s
Do not dereference in slice_from_raw_parts postcondition Build Book #2498: Pull request #627 opened by tautschnig
In progress tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
In progress
Do not dereference in slice_from_raw_parts postcondition Testable simd models #364: Pull request #627 opened by tautschnig
In progress tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
In progress
Scheduled CodeQL #219: by github-advanced-security AI
25m 44s main
main
25m 44s
Use addr_eq in NonNull contracts to support wide pointers Rust Tests #2621: Pull request #626 synchronize by tautschnig
3m 39s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
3m 39s
Use addr_eq in NonNull contracts to support wide pointers Testable simd models #363: Pull request #626 synchronize by tautschnig
5m 6s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
5m 6s
Use addr_eq in NonNull contracts to support wide pointers VeriFast (negative) #1324: Pull request #626 synchronize by tautschnig
36s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
36s
Use addr_eq in NonNull contracts to support wide pointers Run GOTO Transcoder (ESBMC) #1386: Pull request #626 synchronize by tautschnig
14m 10s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
14m 10s
Use addr_eq in NonNull contracts to support wide pointers Build Book #2497: Pull request #626 synchronize by tautschnig
6m 12s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
6m 12s
Use addr_eq in NonNull contracts to support wide pointers VeriFast #1338: Pull request #626 synchronize by tautschnig
41s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
41s