Skip to content

Actions: diffblue/cbmc

Actions

Build and Test CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,016 workflow runs
1,016 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8495 from tautschnig/release-6.4.0 Build and Test CBMC #10560: Commit 4f56b6a pushed by tautschnig
55m 39s develop
develop
55m 39s
Release CBMC 6.4.0 Build and Test CBMC #10559: Pull request #8495 opened by tautschnig
49m 26s tautschnig:release-6.4.0
tautschnig:release-6.4.0
49m 26s
Merge pull request #8490 from qinheping/DFCC_loop_assigns_infer Build and Test CBMC #10558: Commit f5f0672 pushed by qinheping
57m 24s develop
develop
57m 24s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10557: Pull request #8490 synchronize by qinheping
54m 37s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
54m 37s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10556: Pull request #8490 synchronize by qinheping
9m 56s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
9m 56s
goto-symex: assumed pointer equalities must update value set Build and Test CBMC #10555: Pull request #8494 synchronize by tautschnig
1h 19m 34s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
1h 19m 34s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10554: Pull request #8490 synchronize by qinheping
58m 22s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
58m 22s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10553: Pull request #8490 synchronize by qinheping
1h 8m 38s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1h 8m 38s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10552: Pull request #8490 synchronize by qinheping
52m 1s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
52m 1s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10551: Pull request #8490 synchronize by qinheping
52m 59s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
52m 59s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10550: Pull request #8490 synchronize by qinheping
12m 19s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
12m 19s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10549: Pull request #8490 synchronize by qinheping
58m 33s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
58m 33s
goto-symex: assumed pointer equalities must update value set Build and Test CBMC #10548: Pull request #8494 opened by tautschnig
1h 20m 12s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
1h 20m 12s
Merge pull request #8489 from qinheping/better_loop_locals_detect Build and Test CBMC #10547: Commit 018c61c pushed by qinheping
1h 15m 12s develop
develop
1h 15m 12s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10546: Pull request #8489 synchronize by qinheping
1h 0m 59s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1h 0m 59s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10545: Pull request #8489 synchronize by qinheping
55m 2s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
55m 2s
use zero_extend_exprt in SMT2 front-end Build and Test CBMC #10544: Pull request #8493 synchronize by kroening
56m 33s zero-extend-smt2
zero-extend-smt2
56m 33s
use zero_extend_exprt in SMT2 front-end Build and Test CBMC #10543: Pull request #8493 opened by kroening
54m 26s zero-extend-smt2
zero-extend-smt2
54m 26s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10542: Pull request #8489 synchronize by qinheping
31m 2s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
31m 2s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10541: Pull request #8489 synchronize by qinheping
1h 17m 12s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1h 17m 12s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10540: Pull request #8489 synchronize by qinheping
29m 13s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
29m 13s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10539: Pull request #8489 synchronize by qinheping
1h 15m 57s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
1h 15m 57s
Enable IPO / LTO and -O3 Build and Test CBMC #10538: Pull request #8146 synchronize by rurban
58m 3s rurban:lto
rurban:lto
58m 3s
Enable IPO / LTO and -O3 Build and Test CBMC #10537: Pull request #8146 synchronize by rurban
34m 39s rurban:lto
rurban:lto
34m 39s
Merge pull request #8442 from diffblue/zero_extend Build and Test CBMC #10536: Commit 8fcd9b1 pushed by kroening
1h 9m 50s develop
develop
1h 9m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-11-01 or the other filters available.