Skip to content

Actions: runtimeverification/verify-rust-std

Actions

KMIR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 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
Adding proofs negative harnesses (forgotton last commit) KMIR #6: Commit 7e44d68 pushed by dkcumming
29m 40s add-kmir-tool
add-kmir-tool
29m 40s
Added negative tests to demonstrate KMIR errors on UB path KMIR #5: Commit 670420e pushed by dkcumming
32m 34s add-kmir-tool
add-kmir-tool
32m 34s
Merge remote-tracking branch 'upstream/main' into add-kmir-tool KMIR #4: Commit 02c1126 pushed by dkcumming
28m 15s add-kmir-tool
add-kmir-tool
28m 15s
Added parallel execution of 2 for run-proofs.sh KMIR #3: Commit 9e5dd9d pushed by dkcumming
28m 20s add-kmir-tool
add-kmir-tool
28m 20s
Updated run-proofs.sh to reuse llvm-kompile KMIR #2: Commit be2c7e9 pushed by dkcumming
52m 59s add-kmir-tool
add-kmir-tool
52m 59s
Added challenge 11 proofs to workflow KMIR #1: Commit 659f410 pushed by dkcumming
2h 32m 43s add-kmir-tool
add-kmir-tool
2h 32m 43s