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

Merge pull request #8461 from tautschnig/fix-aarch64-va_list Build and Test CBMC #10476: Commit 0831d00 pushed by tautschnig
September 19, 2024 16:26 47m 58s develop
develop
September 19, 2024 16:26 47m 58s
C library: Apple does not adhere to aarch64 ABI Build and Test CBMC #10475: Pull request #8461 synchronize by tautschnig
September 19, 2024 15:34 50m 39s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 15:34 50m 39s
C library: Apple does not adhere to aarch64 ABI Build and Test CBMC #10474: Pull request #8461 opened by tautschnig
September 19, 2024 12:49 45m 4s tautschnig:fix-aarch64-va_list
tautschnig:fix-aarch64-va_list
September 19, 2024 12:49 45m 4s
Merge pull request #8460 from tautschnig/release-6.3.0 Build and Test CBMC #10473: Commit 5bd494a pushed by tautschnig
September 19, 2024 09:29 40m 14s develop
develop
September 19, 2024 09:29 40m 14s
Release CBMC 6.3.0 Build and Test CBMC #10472: Pull request #8460 opened by tautschnig
September 19, 2024 08:37 47m 0s tautschnig:release-6.3.0
tautschnig:release-6.3.0
September 19, 2024 08:37 47m 0s
Merge pull request #8366 from tautschnig/fix-8357-va_list Build and Test CBMC #10471: Commit 9e883f5 pushed by tautschnig
September 19, 2024 08:12 54m 5s develop
develop
September 19, 2024 08:12 54m 5s
C library: fix use of va_list for AARCH64 Build and Test CBMC #10470: Pull request #8366 synchronize by tautschnig
September 18, 2024 10:51 52m 10s tautschnig:fix-8357-va_list
tautschnig:fix-8357-va_list
September 18, 2024 10:51 52m 10s
Clarify usage of history variables in error messages Build and Test CBMC #10469: Pull request #8456 synchronize by qinheping
September 18, 2024 05:18 38m 42s qinheping:issues/8453
qinheping:issues/8453
September 18, 2024 05:18 38m 42s
Clarify usage of history variables in error messages Build and Test CBMC #10468: Pull request #8456 synchronize by qinheping
September 17, 2024 23:28 51m 40s qinheping:issues/8453
qinheping:issues/8453
September 17, 2024 23:28 51m 40s
Merge pull request #8458 from tautschnig/loop-invariants-conjunction-… Build and Test CBMC #10467: Commit d87b506 pushed by tautschnig
September 17, 2024 21:04 47m 8s develop
develop
September 17, 2024 21:04 47m 8s
Contracts/DFCC: split conjunctions in loop invariants Build and Test CBMC #10466: Pull request #8458 synchronize by tautschnig
September 17, 2024 18:42 53m 18s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 18:42 53m 18s
Merge pull request #8459 from tautschnig/contracts-remove-do-while-0 Build and Test CBMC #10465: Commit f68cf8c pushed by tautschnig
September 17, 2024 17:33 42m 0s develop
develop
September 17, 2024 17:33 42m 0s
Merge pull request #8457 from diffblue/format_expr_bv_constant Build and Test CBMC #10464: Commit 46c1b0f pushed by kroening
September 17, 2024 13:42 1h 25m 13s develop
develop
September 17, 2024 13:42 1h 25m 13s
Contracts: always remove spurious do {... } while(0) loops Build and Test CBMC #10463: Pull request #8459 synchronize by tautschnig
September 17, 2024 13:23 1h 23m 41s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 13:23 1h 23m 41s
Contracts: always remove spurious do {... } while(0) loops Build and Test CBMC #10462: Pull request #8459 opened by tautschnig
September 17, 2024 12:59 1h 17m 22s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 12:59 1h 17m 22s
Contracts/DFCC: split conjunctions in loop invariants Build and Test CBMC #10461: Pull request #8458 opened by tautschnig
September 17, 2024 11:50 1h 4m 22s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 11:50 1h 4m 22s
format_expr now prints bv-typed constants Build and Test CBMC #10460: Pull request #8457 synchronize by kroening
September 16, 2024 23:55 47m 39s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 23:55 47m 39s
format_expr now prints bv-typed constants Build and Test CBMC #10459: Pull request #8457 opened by kroening
September 16, 2024 22:50 1h 1m 10s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 22:50 1h 1m 10s
Clarify usage of history variables in error messages Build and Test CBMC #10458: Pull request #8456 synchronize by qinheping
September 16, 2024 01:24 41m 1s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:24 41m 1s
Clarify usage of history variables in error messages Build and Test CBMC #10457: Pull request #8456 synchronize by qinheping
September 16, 2024 01:21 48m 44s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:21 48m 44s
Clarify usage of history variables in error messages Build and Test CBMC #10456: Pull request #8456 synchronize by qinheping
September 13, 2024 19:51 1h 0m 26s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:51 1h 0m 26s
Clarify usage of history variables in error messages Build and Test CBMC #10455: Pull request #8456 synchronize by qinheping
September 13, 2024 19:45 41m 22s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:45 41m 22s
Clarify usage of history variables in error messages Build and Test CBMC #10454: Pull request #8456 opened by qinheping
September 13, 2024 19:40 41m 9s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:40 41m 9s
Merge pull request #8449 from tautschnig/use-boolean_negate Build and Test CBMC #10453: Commit 5002f3b pushed by tautschnig
September 13, 2024 16:34 49m 34s develop
develop
September 13, 2024 16:34 49m 34s
Mark constant_exprt::value_is_zero_string protected Build and Test CBMC #10452: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 26m 49s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 26m 49s