Skip to content

Actions: diffblue/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15,645 workflow runs
15,645 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Build and Test on *BSD #1661: Pull request #8603 opened by remi-delmas-3000
February 27, 2025 22:41 7m 34s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 27, 2025 22:41 7m 34s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Syntactic checks #3157: Pull request #8603 opened by remi-delmas-3000
February 27, 2025 22:41 1m 42s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 27, 2025 22:41 1m 42s
CONTRACTS: is_fresh now tracks separation at the byte level instead of whole objects Publish CBMC documentation #5825: Pull request #8603 opened by remi-delmas-3000
February 27, 2025 22:41 3m 39s remi-delmas-3000:weaken-is-fresh-assert
remi-delmas-3000:weaken-is-fresh-assert
February 27, 2025 22:41 3m 39s
library-check: fixup missing __builtin_ffs check Run CSmith #9291: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 4m 5s rurban:ffs
rurban:ffs
February 26, 2025 15:02 4m 5s
library-check: fixup missing __builtin_ffs check Build Linux partially with CPROVER tools #8058: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 4m 33s rurban:ffs
rurban:ffs
February 26, 2025 15:02 4m 33s
library-check: fixup missing __builtin_ffs check Build and Test the Rust API #3743: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 1m 20s rurban:ffs
rurban:ffs
February 26, 2025 15:02 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 Performance Benchmarking #1200: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 54s rurban:ffs
rurban:ffs
February 26, 2025 15:02 54s
Enable IPO / LTO and -O3 Publish CBMC documentation #5824: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 2m 49s rurban:lto
rurban:lto
February 26, 2025 15:02 2m 49s
library-check: fixup missing __builtin_ffs check Build Xen with CPROVER tools #9952: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 12m 22s rurban:ffs
rurban:ffs
February 26, 2025 15:02 12m 22s
Enable IPO / LTO and -O3 CodeQL #6926: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 47m 48s rurban:lto
rurban:lto
February 26, 2025 15:02 47m 48s
Enable IPO / LTO and -O3 Build Linux partially with CPROVER tools #8057: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 1m 1s rurban:lto
rurban:lto
February 26, 2025 15:02 1m 1s
Enable IPO / LTO and -O3 Syntactic checks #3156: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 1m 57s rurban:lto
rurban:lto
February 26, 2025 15:02 1m 57s
library-check: fixup missing __builtin_ffs check CodeQL #6925: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 47m 56s rurban:ffs
rurban:ffs
February 26, 2025 15:02 47m 56s
library-check: fixup missing __builtin_ffs check Codecov coverage report #720: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 3m 8s rurban:ffs
rurban:ffs
February 26, 2025 15:02 3m 8s
library-check: fixup missing __builtin_ffs check Build and Test on *BSD #1660: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 8m 53s rurban:ffs
rurban:ffs
February 26, 2025 15:02 8m 53s
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
library-check: fixup missing __builtin_ffs check Publish CBMC documentation #5823: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 5m 8s rurban:ffs
rurban:ffs
February 26, 2025 15:02 5m 8s
library-check: fixup missing __builtin_ffs check Syntactic checks #3155: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 1m 56s rurban:ffs
rurban:ffs
February 26, 2025 15:02 1m 56s
library-check: fixup missing __builtin_ffs check Build Doxygen Documentation #9536: Pull request #8145 synchronize by rurban
February 26, 2025 15:02 2m 47s rurban:ffs
rurban:ffs
February 26, 2025 15:02 2m 47s
Enable IPO / LTO and -O3 Build Doxygen Documentation #9535: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 1m 56s rurban:lto
rurban:lto
February 26, 2025 15:02 1m 56s
Enable IPO / LTO and -O3 Run CSmith #9290: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 2m 7s rurban:lto
rurban:lto
February 26, 2025 15:02 2m 7s
Enable IPO / LTO and -O3 Build Xen with CPROVER tools #9951: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 1m 26s rurban:lto
rurban:lto
February 26, 2025 15:02 1m 26s
Enable IPO / LTO and -O3 Build and Test on *BSD #1659: Pull request #8146 synchronize by rurban
February 26, 2025 15:02 8m 18s rurban:lto
rurban:lto
February 26, 2025 15:02 8m 18s