Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
1,651 workflow runs
1,651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't generate unnecessary fresh symbols for the GOTO trace Build Linux partially with CPROVER tools #7540: Pull request #7021 synchronize by tautschnig
July 24, 2024 14:36 4m 25s tautschnig:cleanup/no-unnecessry-fresh-symbols
tautschnig:cleanup/no-unnecessry-fresh-symbols
July 24, 2024 14:36 4m 25s
Use propt::lcnf when cnf_handled_well is true Build Linux partially with CPROVER tools #7539: Pull request #7402 synchronize by tautschnig
July 24, 2024 14:34 4m 31s tautschnig:feature/use-lcnf
tautschnig:feature/use-lcnf
July 24, 2024 14:34 4m 31s
CI: add macos-14 (macOS on M1) job Build Linux partially with CPROVER tools #7538: Pull request #8382 synchronize by tautschnig
July 24, 2024 13:18 4m 41s tautschnig:macos-14
tautschnig:macos-14
July 24, 2024 13:18 4m 41s
Enable higher verbosity for benchmarking Build Linux partially with CPROVER tools #7537: Pull request #8395 opened by tautschnig
July 24, 2024 10:32 4m 11s tautschnig:benchcomp-ci-fix
tautschnig:benchcomp-ci-fix
July 24, 2024 10:32 4m 11s
Release CBMC version 6.1.0 Build Linux partially with CPROVER tools #7536: Pull request #8394 synchronize by tautschnig
July 22, 2024 10:24 5m 12s tautschnig:release-6.1.0
tautschnig:release-6.1.0
July 22, 2024 10:24 5m 12s
Release CBMC version 6.1.0 Build Linux partially with CPROVER tools #7535: Pull request #8394 opened by tautschnig
July 22, 2024 08:46 4m 16s tautschnig:release-6.1.0
tautschnig:release-6.1.0
July 22, 2024 08:46 4m 16s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7534: Pull request #8360 synchronize by qinheping
July 22, 2024 07:37 4m 11s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 22, 2024 07:37 4m 11s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7533: Pull request #8360 synchronize by qinheping
July 22, 2024 07:15 4m 32s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 22, 2024 07:15 4m 32s
[CONTRACTS] Check side effect of loop contracts during instrumentation Build Linux partially with CPROVER tools #7532: Pull request #8360 synchronize by qinheping
July 22, 2024 06:57 4m 58s qinheping:feature/check_side_effect_during_instrumentation
qinheping:feature/check_side_effect_during_instrumentation
July 22, 2024 06:57 4m 58s
copy constructors for exception classes Build Linux partially with CPROVER tools #7531: Pull request #8391 opened by kroening
July 20, 2024 13:18 5m 3s exception-constructors
exception-constructors
July 20, 2024 13:18 5m 3s
GOTO conversion: create temporaries with minimal scope Build Linux partially with CPROVER tools #7530: Pull request #8363 synchronize by tautschnig
July 18, 2024 12:24 5m 33s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 18, 2024 12:24 5m 33s
SMT2 back-end: Bitwuzla does not support lambda expressions Build Linux partially with CPROVER tools #7529: Pull request #8387 opened by tautschnig
July 17, 2024 08:15 4m 13s tautschnig:bugfixes/bitwuzla-no-lambda
tautschnig:bugfixes/bitwuzla-no-lambda
July 17, 2024 08:15 4m 13s
C++ front-end: support constexpr Build Linux partially with CPROVER tools #7528: Pull request #8386 opened by tautschnig
July 17, 2024 07:50 14m 48s tautschnig:features/cpp-constexpr
tautschnig:features/cpp-constexpr
July 17, 2024 07:50 14m 48s
C++ front-end: support explicit type conversion with braced-init-list Build Linux partially with CPROVER tools #7527: Pull request #8385 opened by tautschnig
July 17, 2024 07:47 13m 7s tautschnig:bugfixes/cpp-brace-init-list
tautschnig:bugfixes/cpp-brace-init-list
July 17, 2024 07:47 13m 7s
C++ front-end fixes Build Linux partially with CPROVER tools #7526: Pull request #8275 synchronize by tautschnig
July 17, 2024 07:43 4m 52s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 17, 2024 07:43 4m 52s
Add documentation to loop contracts, __CPROVER_loop_entry Build Linux partially with CPROVER tools #7525: Pull request #8377 synchronize by QinyuanWu
July 16, 2024 16:28 4m 11s QinyuanWu:develop
QinyuanWu:develop
July 16, 2024 16:28 4m 11s
C++ front-end fixes Build Linux partially with CPROVER tools #7524: Pull request #8275 synchronize by tautschnig
July 16, 2024 10:42 4m 53s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
July 16, 2024 10:42 4m 53s
Add documentation to loop contracts, __CPROVER_loop_entry Build Linux partially with CPROVER tools #7523: Pull request #8377 synchronize by QinyuanWu
July 16, 2024 00:21 4m 36s QinyuanWu:develop
QinyuanWu:develop
July 16, 2024 00:21 4m 36s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build Linux partially with CPROVER tools #7519: Pull request #8383 synchronize by tautschnig
July 15, 2024 10:25 4m 27s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 10:25 4m 27s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build Linux partially with CPROVER tools #7518: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:55 5m 36s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:55 5m 36s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build Linux partially with CPROVER tools #7517: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:48 4m 12s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:48 4m 12s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build Linux partially with CPROVER tools #7516: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:43 4m 24s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:43 4m 24s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build Linux partially with CPROVER tools #7515: Pull request #8383 synchronize by tautschnig
July 15, 2024 09:35 4m 35s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:35 4m 35s
CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2 Build Linux partially with CPROVER tools #7514: Pull request #8383 opened by tautschnig
July 15, 2024 09:33 4m 23s tautschnig:upgrade-cvc5
tautschnig:upgrade-cvc5
July 15, 2024 09:33 4m 23s
SMT2 back-end: detect when solver returns unexpected model Build Linux partially with CPROVER tools #7512: Pull request #8379 synchronize by tautschnig
July 12, 2024 16:19 4m 29s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 16:19 4m 29s