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: Add goto-level loop-contract annotation Build and Test CBMC #8389: Pull request #7788 synchronize by qinheping
July 12, 2023 21:00 1h 10m 50s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 12, 2023 21:00 1h 10m 50s
Merge pull request #7780 from feliperodri/sysconf-model Build and Test CBMC #8388: Commit 4b95215 pushed by feliperodri
July 11, 2023 18:50 49m 23s develop
develop
July 11, 2023 18:50 49m 23s
Add incremental SMT support for struct with and member expressions Build and Test CBMC #8387: Pull request #7787 synchronize by thomasspriggs
July 11, 2023 17:54 1h 20m 28s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 11, 2023 17:54 1h 20m 28s
Add incremental SMT support for struct with and member expressions Build and Test CBMC #8386: Pull request #7787 synchronize by thomasspriggs
July 11, 2023 16:25 1h 14m 27s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 11, 2023 16:25 1h 14m 27s
Add incremental SMT support for struct with and member expressions Build and Test CBMC #8385: Pull request #7787 synchronize by thomasspriggs
July 11, 2023 16:22 1h 27m 9s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 11, 2023 16:22 1h 27m 9s
Adds an over-approximation model for sysconf Build and Test CBMC #8384: Pull request #7780 synchronize by feliperodri
July 11, 2023 15:49 1h 3m 50s feliperodri:sysconf-model
feliperodri:sysconf-model
July 11, 2023 15:49 1h 3m 50s
Adds an over-approximation model for sysconf Build and Test CBMC #8383: Pull request #7780 synchronize by feliperodri
July 11, 2023 15:47 1h 25m 55s feliperodri:sysconf-model
feliperodri:sysconf-model
July 11, 2023 15:47 1h 25m 55s
Adds an over-approximation model for sysconf Build and Test CBMC #8382: Pull request #7780 synchronize by feliperodri
July 10, 2023 22:46 1h 29m 32s feliperodri:sysconf-model
feliperodri:sysconf-model
July 10, 2023 22:46 1h 29m 32s
Adds an over-approximation model for sysconf Build and Test CBMC #8381: Pull request #7780 synchronize by feliperodri
July 10, 2023 22:45 1h 16m 15s feliperodri:sysconf-model
feliperodri:sysconf-model
July 10, 2023 22:45 1h 16m 15s
Add missing cleanup Build and Test CBMC #8380: Pull request #7798 synchronize by tautschnig
July 10, 2023 21:52 1h 25m 44s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 10, 2023 21:52 1h 25m 44s
Add incremental SMT support for struct with and member expressions Build and Test CBMC #8379: Pull request #7787 synchronize by thomasspriggs
July 10, 2023 17:16 1h 8m 9s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 10, 2023 17:16 1h 8m 9s
Add incremental SMT support for struct with and member expressions Build and Test CBMC #8378: Pull request #7787 synchronize by thomasspriggs
July 10, 2023 16:23 59m 50s thomasspriggs:tas/smt_struct_with_member
thomasspriggs:tas/smt_struct_with_member
July 10, 2023 16:23 59m 50s
CONTRACTS: Add goto-level loop-contract annotation Build and Test CBMC #8377: Pull request #7788 synchronize by qinheping
July 10, 2023 13:14 1h 4m 55s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 10, 2023 13:14 1h 4m 55s
CONTRACTS: Add goto-level loop-contract annotation Build and Test CBMC #8376: Pull request #7788 synchronize by qinheping
July 10, 2023 13:05 59m 56s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 10, 2023 13:05 59m 56s
Merge pull request #7793 from sdingcn/develop Build and Test CBMC #8375: Commit 64bf1ca pushed by NlightNFotis
July 10, 2023 09:34 59m 40s develop
develop
July 10, 2023 09:34 59m 40s
CONTRACTS: Add goto-level loop-contract annotation Build and Test CBMC #8374: Pull request #7788 synchronize by qinheping
July 10, 2023 05:45 1h 20m 20s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 10, 2023 05:45 1h 20m 20s
CONTRACTS: Add goto-level loop-contract annotation Build and Test CBMC #8373: Pull request #7788 synchronize by qinheping
July 10, 2023 05:37 1h 2m 7s qinheping:features/goto-level-loop-contracts
qinheping:features/goto-level-loop-contracts
July 10, 2023 05:37 1h 2m 7s
Add missing cleanup Build and Test CBMC #8372: Pull request #7798 synchronize by tautschnig
July 8, 2023 21:16 53m 23s tautschnig:cleanup/cleaning
tautschnig:cleanup/cleaning
July 8, 2023 21:16 53m 23s
Merge pull request #7799 from tautschnig/bugfixes/cpp-linter-tests Build and Test CBMC #8371: Commit 5ac54be pushed by tautschnig
July 8, 2023 19:03 56m 45s develop
develop
July 8, 2023 19:03 56m 45s
Merge pull request #7800 from tautschnig/bugfixes/fpr-unsigned Build and Test CBMC #8370: Commit c433336 pushed by kroening
July 8, 2023 00:41 56m 58s develop
develop
July 8, 2023 00:41 56m 58s
Merge pull request #7796 from tautschnig/bugfixes/groff Build and Test CBMC #8369: Commit 822a817 pushed by kroening
July 8, 2023 00:27 59m 34s develop
develop
July 8, 2023 00:27 59m 34s
Ensure hardening flags apply to all built binaries Build and Test CBMC #8368: Pull request #7801 opened by tautschnig
July 7, 2023 21:39 2h 46m 25s tautschnig:cleanup/hardening
tautschnig:cleanup/hardening
July 7, 2023 21:39 2h 46m 25s
Work around further spurious GCC12 maybe-uninitialized warnings Build and Test CBMC #8367: Pull request #7797 synchronize by tautschnig
July 7, 2023 21:32 2h 24m 50s tautschnig:features/gcc12
tautschnig:features/gcc12
July 7, 2023 21:32 2h 24m 50s
Fix typo in function-pointer removal Build and Test CBMC #8366: Pull request #7800 opened by tautschnig
July 7, 2023 21:08 2h 35m 38s tautschnig:bugfixes/fpr-unsigned
tautschnig:bugfixes/fpr-unsigned
July 7, 2023 21:08 2h 35m 38s
Fix cpp-linter tests to avoid .git dependency Build and Test CBMC #8365: Pull request #7799 opened by tautschnig
July 7, 2023 21:06 2h 13m 55s tautschnig:bugfixes/cpp-linter-tests
tautschnig:bugfixes/cpp-linter-tests
July 7, 2023 21:06 2h 13m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-07-07 or the other filters available.