Skip to content

Actions: diffblue/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
393 workflow run results
393 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CONTRACTS] DFCC loop assigns infererence with functions inlined Codecov coverage report #316: Pull request #8490 synchronize by qinheping
21m 13s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
21m 13s
[CONTRACTS] DFCC loop assigns infererence with functions inlined CodeQL #6522: Pull request #8490 synchronize by qinheping
29m 17s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
29m 17s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10530: Pull request #8490 synchronize by qinheping
1h 23m 4s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1h 23m 4s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Publish CBMC documentation #5242: Pull request #8489 synchronize by qinheping
7m 3s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
7m 3s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test on *BSD #1255: Pull request #8489 synchronize by qinheping
7m 19s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
7m 19s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Run CSmith #8948: Pull request #8489 synchronize by qinheping
5m 18s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
5m 18s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test the Rust API #3338: Pull request #8489 synchronize by qinheping
1m 26s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1m 26s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Syntactic checks #2813: Pull request #8489 synchronize by qinheping
1m 30s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1m 30s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build Linux partially with CPROVER tools #7715: Pull request #8489 synchronize by qinheping
4m 15s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
4m 15s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build Doxygen Documentation #9193: Pull request #8489 synchronize by qinheping
1m 39s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1m 39s
[CONTRACTS] Detect loop locals with goto_rw in DFCC CodeQL #6521: Pull request #8489 synchronize by qinheping
29m 44s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
29m 44s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Codecov coverage report #315: Pull request #8489 synchronize by qinheping
23m 46s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
23m 46s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Performance Benchmarking #795: Pull request #8489 synchronize by qinheping
15m 40s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
15m 40s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build Xen with CPROVER tools #9609: Pull request #8489 synchronize by qinheping
12m 25s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
12m 25s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10529: Pull request #8489 synchronize by qinheping
1h 9m 3s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1h 9m 3s
Enable IPO / LTO and -O3 CodeQL #6520: Pull request #8146 synchronize by rurban
30m 19s rurban:lto
rurban:lto
30m 19s
Enable IPO / LTO and -O3 Codecov coverage report #314: Pull request #8146 synchronize by rurban
4m 32s rurban:lto
rurban:lto
4m 32s
Enable IPO / LTO and -O3 Build and Test CBMC #10528: Pull request #8146 synchronize by rurban
57m 10s rurban:lto
rurban:lto
57m 10s
Enable IPO / LTO and -O3 Build and Test the Rust API #3337: Pull request #8146 synchronize by rurban
9m 4s rurban:lto
rurban:lto
9m 4s
Enable IPO / LTO and -O3 Build Linux partially with CPROVER tools #7714: Pull request #8146 synchronize by rurban
1m 4s rurban:lto
rurban:lto
1m 4s
Enable IPO / LTO and -O3 Build Xen with CPROVER tools #9608: Pull request #8146 synchronize by rurban
1m 7s rurban:lto
rurban:lto
1m 7s
Enable IPO / LTO and -O3 Run CSmith #8947: Pull request #8146 synchronize by rurban
1m 26s rurban:lto
rurban:lto
1m 26s
Enable IPO / LTO and -O3 Syntactic checks #2812: Pull request #8146 synchronize by rurban
1m 40s rurban:lto
rurban:lto
1m 40s
Enable IPO / LTO and -O3 Build Doxygen Documentation #9192: Pull request #8146 synchronize by rurban
1m 40s rurban:lto
rurban:lto
1m 40s
Enable IPO / LTO and -O3 Performance Benchmarking #794: Pull request #8146 synchronize by rurban
6m 16s rurban:lto
rurban:lto
6m 16s