Skip to content

Actions: diffblue/cbmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18,707 workflow runs
18,707 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9213: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 2m 54s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 2m 54s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9458: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1m 41s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1m 41s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3652: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1m 39s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1m 39s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7980: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 4m 21s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 4m 21s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9874: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 12m 18s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 12m 18s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5694: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 3m 43s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 3m 43s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Codecov coverage report #629: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 39m 41s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 39m 41s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test CBMC #10843: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1h 7m 16s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1h 7m 16s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks CodeQL #6835: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 32m 23s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 32m 23s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test on *BSD #1569: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 7m 31s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 7m 31s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Performance Benchmarking #1109: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 16m 7s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 16m 7s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5693: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 2m 33s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 2m 33s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3077: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 1m 24s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 1m 24s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3651: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 3m 3s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 3m 3s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9873: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 12m 37s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 12m 37s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7979: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 4m 16s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 4m 16s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Performance Benchmarking #1108: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 15m 42s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 15m 42s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Codecov coverage report #628: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 40m 21s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 40m 21s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks CodeQL #6834: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 31m 16s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 31m 16s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9212: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 4m 17s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 4m 17s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9457: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 1m 38s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 1m 38s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test on *BSD #1568: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 7m 52s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 7m 52s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test CBMC #10842: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 1h 9m 53s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 1h 9m 53s
pages build and deployment pages-build-deployment #1119: by github-pages bot
January 24, 2025 13:39 55s gh-pages
gh-pages
January 24, 2025 13:39 55s
Merge pull request #8574 from remi-delmas-3000/contracts-predicates-u… Build and Test CBMC #10841: Commit 3d79560 pushed by tautschnig
January 24, 2025 13:36 1h 1m 56s develop
develop
January 24, 2025 13:36 1h 1m 56s