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
2,073 workflow runs
2,073 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: fix do while latch Build and Test CBMC #10376: Pull request #8420 synchronize by tautschnig
August 21, 2024 08:59 58m 22s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 08:59 58m 22s
CI: Use CaDiCaL on Windows Build and Test CBMC #10375: Pull request #8422 opened by tautschnig
August 21, 2024 08:59 46m 47s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 08:59 46m 47s
Merge pull request #8416 from remi-delmas-3000/skip-loops Build and Test CBMC #10374: Commit dae5af0 pushed by tautschnig
August 21, 2024 08:54 48m 15s develop
develop
August 21, 2024 08:54 48m 15s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build and Test CBMC #10373: Pull request #8416 synchronize by tautschnig
August 21, 2024 08:04 55m 29s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 21, 2024 08:04 55m 29s
Merge pull request #8417 from tautschnig/fix-do-while-loop-invariant Build and Test CBMC #10372: Commit 2bef701 pushed by tautschnig
August 21, 2024 08:02 1h 0m 42s develop
develop
August 21, 2024 08:02 1h 0m 42s
CONTRACTS: fix do while latch Build and Test CBMC #10371: Pull request #8420 synchronize by tautschnig
August 21, 2024 07:39 53m 50s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 07:39 53m 50s
Remove dynamic_cast from counterexample beautification code path Build and Test CBMC #10370: Pull request #8421 synchronize by tautschnig
August 21, 2024 07:17 50m 48s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 21, 2024 07:17 50m 48s
Maintain loop invariant annotation when converting do .. while Build and Test CBMC #10369: Pull request #8417 synchronize by tautschnig
August 21, 2024 07:15 49m 2s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 21, 2024 07:15 49m 2s
Merge pull request #8412 from tautschnig/library-is-compiled Build and Test CBMC #10368: Commit 89a0470 pushed by tautschnig
August 20, 2024 21:49 1h 34m 0s develop
develop
August 20, 2024 21:49 1h 34m 0s
Merge pull request #8414 from tautschnig/contracts-dfcc-cadical Build and Test CBMC #10367: Commit a395044 pushed by tautschnig
August 20, 2024 21:48 1h 25m 51s develop
develop
August 20, 2024 21:48 1h 25m 51s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build and Test CBMC #10366: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:47 1h 31m 17s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:47 1h 31m 17s
CONTRACTS: fix do while latch Build and Test CBMC #10365: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 21:19 1h 25m 29s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 21:19 1h 25m 29s
Merge pull request #8419 from tautschnig/expr2c-no-dynamic_cast Build and Test CBMC #10364: Commit d69e0d2 pushed by tautschnig
August 20, 2024 21:14 1h 13m 51s develop
develop
August 20, 2024 21:14 1h 13m 51s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build and Test CBMC #10363: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:13 1h 8m 34s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:13 1h 8m 34s
Remove dynamic_cast from counterexample beautification code path Build and Test CBMC #10362: Pull request #8421 opened by tautschnig
August 20, 2024 21:00 58m 21s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 20, 2024 21:00 58m 21s
CONTRACTS: fix do while latch Build and Test CBMC #10361: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 20:47 38m 17s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 20:47 38m 17s
CONTRACTS: fix do while latch Build and Test CBMC #10360: Pull request #8420 opened by remi-delmas-3000
August 20, 2024 20:38 1h 0m 44s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 20:38 1h 0m 44s
Remove qualifierst Build and Test CBMC #10359: Pull request #8419 synchronize by tautschnig
August 20, 2024 11:40 48m 31s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 11:40 48m 31s
Remove qualifierst Build and Test CBMC #10358: Pull request #8419 synchronize by tautschnig
August 20, 2024 10:56 52m 59s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:56 52m 59s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Build and Test CBMC #10357: Pull request #8404 synchronize by tautschnig
August 20, 2024 10:54 41m 19s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 20, 2024 10:54 41m 19s
Remove qualifierst Build and Test CBMC #10356: Pull request #8419 opened by tautschnig
August 20, 2024 10:52 33m 20s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:52 33m 20s
jbmc, janalyzer: Remove unnecessary dynamic_cast Build and Test CBMC #10355: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:57 48m 43s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:57 48m 43s
jbmc, janalyzer: Remove unnecessary dynamic_cast Build and Test CBMC #10354: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:28 26m 10s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:28 26m 10s
Merge pull request #8408 from tautschnig/solver-factory-no-dynamic_cast Build and Test CBMC #10353: Commit 3877e0f pushed by tautschnig
August 20, 2024 09:26 45m 30s develop
develop
August 20, 2024 09:26 45m 30s
jbmc, janalyzer: Remove unnecessary dynamic_cast Build and Test CBMC #10352: Pull request #8418 opened by tautschnig
August 20, 2024 09:19 23m 35s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:19 23m 35s