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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8383 from tautschnig/upgrade-cvc5 Build and Test CBMC #10303: Commit bf58af8 pushed by tautschnig
July 24, 2024 12:55 1h 44m 59s develop
develop
July 24, 2024 12:55 1h 44m 59s
Merge pull request #8395 from tautschnig/benchcomp-ci-fix Build and Test CBMC #10302: Commit 3a0d39b pushed by tautschnig
July 24, 2024 12:55 1h 44m 25s develop
develop
July 24, 2024 12:55 1h 44m 25s
Enable higher verbosity for benchmarking Build and Test CBMC #10301: Pull request #8395 opened by tautschnig
July 24, 2024 10:32 1h 44m 35s tautschnig:benchcomp-ci-fix
tautschnig:benchcomp-ci-fix
July 24, 2024 10:32 1h 44m 35s
Merge pull request #8394 from tautschnig/release-6.1.0 Build and Test CBMC #10300: Commit 737d582 pushed by tautschnig
July 22, 2024 17:38 1h 44m 22s develop
develop
July 22, 2024 17:38 1h 44m 22s
Release CBMC version 6.1.0 Build and Test CBMC #10299: Pull request #8394 synchronize by tautschnig
July 22, 2024 10:24 1h 47m 12s tautschnig:release-6.1.0
tautschnig:release-6.1.0
July 22, 2024 10:24 1h 47m 12s
Merge pull request #8363 from tautschnig/temporaries-minimal-scope Build and Test CBMC #10298: Commit 3208438 pushed by tautschnig
July 22, 2024 10:22 1h 50m 11s develop
develop
July 22, 2024 10:22 1h 50m 11s
Merge pull request #8360 from qinheping/feature/check_side_effect_dur… Build and Test CBMC #10297: Commit 6c2d7cc pushed by qinheping
July 22, 2024 09:27 1h 45m 28s develop
develop
July 22, 2024 09:27 1h 45m 28s
Release CBMC version 6.1.0 Build and Test CBMC #10296: Pull request #8394 opened by tautschnig
July 22, 2024 08:46 1h 56m 0s tautschnig:release-6.1.0
tautschnig:release-6.1.0
July 22, 2024 08:46 1h 56m 0s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build and Test CBMC #10295: Pull request #8360 synchronize by qinheping
July 22, 2024 07:37 1h 50m 2s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 22, 2024 07:37 1h 50m 2s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build and Test CBMC #10294: Pull request #8360 synchronize by qinheping
July 22, 2024 07:15 1h 51m 9s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 22, 2024 07:15 1h 51m 9s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build and Test CBMC #10293: Pull request #8360 synchronize by qinheping
July 22, 2024 06:57 1h 48m 17s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 22, 2024 06:57 1h 48m 17s
copy constructors for exception classes Build and Test CBMC #10292: Pull request #8391 opened by kroening
July 20, 2024 13:18 1h 48m 54s exception-constructors
exception-constructors
July 20, 2024 13:18 1h 48m 54s
Merge pull request #8380 from tautschnig/bugfixes/contract-scope-8337 Build and Test CBMC #10291: Commit 51b157f pushed by kroening
July 20, 2024 01:08 1h 50m 40s develop
develop
July 20, 2024 01:08 1h 50m 40s
GOTO conversion: create temporaries with minimal scope Build and Test CBMC #10290: Pull request #8363 synchronize by tautschnig
July 18, 2024 12:24 1h 45m 45s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 18, 2024 12:24 1h 45m 45s
Merge pull request #8387 from tautschnig/bugfixes/bitwuzla-no-lambda Build and Test CBMC #10289: Commit c7d7704 pushed by kroening
July 17, 2024 11:58 1h 47m 46s develop
develop
July 17, 2024 11:58 1h 47m 46s
SMT2 back-end: Bitwuzla does not support lambda expressions Build and Test CBMC #10288: Pull request #8387 opened by tautschnig
July 17, 2024 08:15 1h 49m 3s tautschnig:bugfixes/bitwuzla-no-lambda
tautschnig:bugfixes/bitwuzla-no-lambda
July 17, 2024 08:15 1h 49m 3s
C++ front-end: support constexpr Build and Test CBMC #10287: Pull request #8386 opened by tautschnig
July 17, 2024 07:50 1h 58m 35s tautschnig:features/cpp-constexpr
tautschnig:features/cpp-constexpr
July 17, 2024 07:50 1h 58m 35s
C++ front-end: support explicit type conversion with braced-init-list Build and Test CBMC #10286: Pull request #8385 opened by tautschnig
July 17, 2024 07:47 2h 1m 46s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 17, 2024 07:47 2h 1m 46s
C++ front-end fixes Build and Test CBMC #10285: Pull request #8275 synchronize by tautschnig
July 17, 2024 07:43 1h 47m 10s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 17, 2024 07:43 1h 47m 10s
Merge pull request #8377 from QinyuanWu/develop Build and Test CBMC #10284: Commit 82bbeb8 pushed by tautschnig
July 16, 2024 19:32 1h 44m 6s develop
develop
July 16, 2024 19:32 1h 44m 6s
Add documentation to loop contracts, __CPROVER_loop_entry Build and Test CBMC #10283: Pull request #8377 synchronize by QinyuanWu
July 16, 2024 16:28 1h 47m 36s QinyuanWu:develop
QinyuanWu:develop
July 16, 2024 16:28 1h 47m 36s
C++ front-end fixes Build and Test CBMC #10282: Pull request #8275 synchronize by tautschnig
July 16, 2024 10:42 1h 48m 56s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 16, 2024 10:42 1h 48m 56s
Add documentation to loop contracts, __CPROVER_loop_entry Build and Test CBMC #10281: Pull request #8377 synchronize by QinyuanWu
July 16, 2024 00:21 1h 44m 7s QinyuanWu:develop
QinyuanWu:develop
July 16, 2024 00:21 1h 44m 7s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build and Test CBMC #10277: Pull request #8383 synchronize by tautschnig
July 15, 2024 10:25 1h 47m 21s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 10:25 1h 47m 21s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build and Test CBMC #10276: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:55 1h 51m 11s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:55 1h 51m 11s