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
848 workflow runs
848 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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 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 CBMC #10527: Pull request #8146 synchronize by rurban
23m 12s rurban:lto
rurban:lto
23m 12s
Enable IPO / LTO and -O3 Build and Test CBMC #10526: Pull request #8146 synchronize by rurban
23m 5s rurban:lto
rurban:lto
23m 5s
Enable IPO / LTO and -O3 Build and Test CBMC #10525: Pull request #8146 synchronize by rurban
23m 18s rurban:lto
rurban:lto
23m 18s
library-check: fixup missing __builtin_ffs check Build and Test CBMC #10524: Pull request #8145 synchronize by rurban
34m 9s rurban:ffs
rurban:ffs
34m 9s
Enable IPO / LTO and -O3 Build and Test CBMC #10523: Pull request #8146 synchronize by rurban
24m 28s rurban:lto
rurban:lto
24m 28s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Build and Test CBMC #10522: Pull request #8490 opened by qinheping
1h 20m 0s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
1h 20m 0s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Build and Test CBMC #10521: Pull request #8489 opened by qinheping
54m 39s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
54m 39s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10520: Pull request #8465 synchronize by yvizel
50m 57s yvizel:develop
yvizel:develop
50m 57s
Compile Java regression test sources (1/n) Build and Test CBMC #10519: Pull request #8487 opened by peterschrammel
1h 9m 48s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
1h 9m 48s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10518: Pull request #8465 synchronize by yvizel
23m 49s yvizel:develop
yvizel:develop
23m 49s
Merge pull request #8486 from qinheping/infer_def_member Build and Test CBMC #10515: Commit 20a1ecf pushed by qinheping
58m 44s develop
develop
58m 44s
[CONTRACTS] Support alias of member pointers in loop assigns inference Build and Test CBMC #10514: Pull request #8486 synchronize by qinheping
46m 50s qinheping:infer_def_member
qinheping:infer_def_member
46m 50s
Higher radix multiplier encoding Build and Test CBMC #10513: Pull request #7991 synchronize by tautschnig
6h 1m 23s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
6h 1m 23s
[CONTRACTS] Support alias of member pointers in loop assigns inference Build and Test CBMC #10510: Pull request #8486 opened by qinheping
50m 15s qinheping:infer_def_member
qinheping:infer_def_member
50m 15s
Merge pull request #8482 from tautschnig/remove-macos-12 Build and Test CBMC #10509: Commit f2a7665 pushed by tautschnig
47m 46s develop
develop
47m 46s
Remove macos-12 CI job Build and Test CBMC #10508: Pull request #8482 synchronize by tautschnig
43m 56s tautschnig:remove-macos-12
tautschnig:remove-macos-12
43m 56s
Merge pull request #8382 from tautschnig/macos-14 Build and Test CBMC #10507: Commit 60bb14c pushed by kroening
1h 35m 44s develop
develop
1h 35m 44s
Remove macos-12 CI job Build and Test CBMC #10506: Pull request #8482 opened by tautschnig
55m 26s tautschnig:remove-macos-12
tautschnig:remove-macos-12
55m 26s
CI: add macos-14 (macOS on M1) job Build and Test CBMC #10505: Pull request #8382 synchronize by tautschnig
56m 1s tautschnig:macos-14
tautschnig:macos-14
56m 1s
zero extension expression Build and Test CBMC #10502: Pull request #8442 synchronize by kroening
58m 58s zero_extend
zero_extend
58m 58s
Clarify usage of history variables in error messages Build and Test CBMC #10501: Pull request #8456 reopened by qinheping
36m 51s qinheping:issues/8453
qinheping:issues/8453
36m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-10-02 or the other filters available.