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: separation checks using nondet demonic variable Publish CBMC documentation #5696: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 2m 52s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 2m 52s
CONTRACTS: separation checks using nondet demonic variable Performance Benchmarking #1111: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 16m 8s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 16m 8s
CONTRACTS: separation checks using nondet demonic variable Build and Test on *BSD #1571: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 41m 43s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 41m 43s
CONTRACTS: separation checks using nondet demonic variable Syntactic checks #3080: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 1m 22s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 1m 22s
CONTRACTS: separation checks using nondet demonic variable Build and Test the Rust API #3654: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 10m 22s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 10m 22s
CONTRACTS: separation checks using nondet demonic variable CodeQL #6837: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 47m 38s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 47m 38s
CONTRACTS: separation checks using nondet demonic variable Build Linux partially with CPROVER tools #7982: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 13m 23s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 13m 23s
CONTRACTS: separation checks using nondet demonic variable Build Doxygen Documentation #9460: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 1m 33s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 1m 33s
CONTRACTS: separation checks using nondet demonic variable Build Xen with CPROVER tools #9876: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 20m 42s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 20m 42s
CONTRACTS: separation checks using nondet demonic variable Run CSmith #9215: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 16m 3s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 16m 3s
CONTRACTS: separation checks using nondet demonic variable Build and Test CBMC #10845: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 50m 42s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 50m 42s
CONTRACTS: separation checks using nondet demonic variable Codecov coverage report #631: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 23m 32s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 23m 32s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3079: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 1m 24s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 1m 24s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks CodeQL #6836: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 50m 59s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 50m 59s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test CBMC #10844: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 59m 49s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 59m 49s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test on *BSD #1570: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 7m 26s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 7m 26s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7981: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 4m 7s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 4m 7s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Performance Benchmarking #1110: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 16m 25s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 16m 25s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5695: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 2m 35s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 2m 35s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Codecov coverage report #630: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 37m 1s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 37m 1s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9875: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 11m 57s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 11m 57s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9459: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 2m 40s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 2m 40s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3653: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 1m 37s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 1m 37s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9214: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 3m 51s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 3m 51s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3078: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1m 43s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1m 43s