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,444 workflow runs
1,444 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle quantifiers with statement expressions Build and Test CBMC #10947: Pull request #8605 synchronize by qinheping
March 8, 2025 07:30 1h 20m 54s qinheping:quantifiers-with-statement-expressions
qinheping:quantifiers-with-statement-expressions
March 8, 2025 07:30 1h 20m 54s
Handle quantifiers with statement expressions Build and Test CBMC #10946: Pull request #8605 synchronize by qinheping
March 8, 2025 07:06 1h 4m 21s qinheping:quantifiers-with-statement-expressions
qinheping:quantifiers-with-statement-expressions
March 8, 2025 07:06 1h 4m 21s
Handle quantifiers with statement expressions Build and Test CBMC #10945: Pull request #8605 opened by qinheping
March 8, 2025 06:40 46m 39s qinheping:quantifiers-with-statement-expressions
qinheping:quantifiers-with-statement-expressions
March 8, 2025 06:40 46m 39s
Merge pull request #8597 from diffblue/fixup-8538 Build and Test CBMC #10944: Commit f55f636 pushed by kroening
March 2, 2025 15:31 1h 9m 21s develop
develop
March 2, 2025 15:31 1h 9m 21s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10943: Pull request #8465 synchronize by yvizel
March 2, 2025 12:19 Action required yvizel:develop
yvizel:develop
March 2, 2025 12:19 Action required
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10942: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 17:36 1h 6m 13s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 17:36 1h 6m 13s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10941: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 14:42 1h 24m 0s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 14:42 1h 24m 0s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10940: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 02:08 1h 22m 7s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 02:08 1h 22m 7s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10939: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 01:20 1h 6m 19s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 01:20 1h 6m 19s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10938: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 00:56 1h 20m 6s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 00:56 1h 20m 6s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10937: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 00:40 1h 38m 43s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 00:40 1h 38m 43s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10936: Pull request #8603 synchronize by remi-delmas-3000
February 28, 2025 00:19 1h 51m 51s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 28, 2025 00:19 1h 51m 51s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test CBMC #10935: Pull request #8603 opened by remi-delmas-3000
February 27, 2025 22:41 1h 1m 20s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 27, 2025 22:41 1h 1m 20s
Enable IPO / LTO and -O3 Build and Test CBMC #10934: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 58m 26s rurban:lto
rurban:lto
February 26, 2025 15:02 58m 26s
library-check: fixup missing __builtin_ffs check Build and Test CBMC #10933: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 34m 32s rurban:ffs
rurban:ffs
February 26, 2025 15:02 34m 32s
simplify: rewrite bitxnor on booleans to equal Build and Test CBMC #10932: Pull request #8594 synchronize by kroening
February 26, 2025 13:24 1h 11m 56s simplify-bitxnor2
simplify-bitxnor2
February 26, 2025 13:24 1h 11m 56s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10931: Pull request #8465 synchronize by yvizel
February 24, 2025 13:15 Action required yvizel:develop
yvizel:develop
February 24, 2025 13:15 Action required
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10930: Pull request #8465 synchronize by yvizel
February 24, 2025 12:37 Action required yvizel:develop
yvizel:develop
February 24, 2025 12:37 Action required
Enable IPO / LTO and -O3 Build and Test CBMC #10929: Pull request #8146 synchronize by rurban
February 23, 2025 11:24 1h 2m 1s rurban:lto
rurban:lto
February 23, 2025 11:24 1h 2m 1s
library-check: fixup missing __builtin_ffs check Build and Test CBMC #10928: Pull request #8145 synchronize by rurban
February 23, 2025 11:24 32m 20s rurban:ffs
rurban:ffs
February 23, 2025 11:24 32m 20s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test CBMC #10927: Pull request #8597 synchronize by kroening
February 20, 2025 14:43 1h 18m 26s fixup-8538
fixup-8538
February 20, 2025 14:43 1h 18m 26s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test CBMC #10926: Pull request #8597 synchronize by kroening
February 20, 2025 14:40 1h 28m 3s fixup-8538
fixup-8538
February 20, 2025 14:40 1h 28m 3s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test CBMC #10925: Pull request #8597 synchronize by kroening
February 20, 2025 14:02 1h 13m 21s fixup-8538
fixup-8538
February 20, 2025 14:02 1h 13m 21s
Merge pull request #8578 from tautschnig/bugfixes/8570-pointer-and-array Build and Test CBMC #10924: Commit 159af34 pushed by tautschnig
February 20, 2025 11:25 1h 16m 50s develop
develop
February 20, 2025 11:25 1h 16m 50s
fixup #8538 -- correct rounding modes for floor, trunc Build and Test CBMC #10923: Pull request #8597 synchronize by kroening
February 20, 2025 10:31 1h 24m 50s fixup-8538
fixup-8538
February 20, 2025 10:31 1h 24m 50s