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 #8405 from tautschnig/qualifiers-no-dynamic_cast Build and Test CBMC #10326: Commit d635850 pushed by kroening
August 7, 2024 07:46 41m 7s develop
develop
August 7, 2024 07:46 41m 7s
Merge pull request #8406 from tautschnig/dimacs_cnft-no-dynamic_cast Build and Test CBMC #10325: Commit f244575 pushed by kroening
August 7, 2024 03:17 51m 7s develop
develop
August 7, 2024 03:17 51m 7s
Remove dynamic_cast from bv_dimacst Build and Test CBMC #10324: Pull request #8406 opened by tautschnig
August 6, 2024 20:27 40m 59s tautschnig:dimacs_cnft-no-dynamic_cast
tautschnig:dimacs_cnft-no-dynamic_cast
August 6, 2024 20:27 40m 59s
Remove uses of dynamic_cast from qualifierst hierarchy Build and Test CBMC #10323: Pull request #8405 synchronize by tautschnig
August 6, 2024 17:23 47m 35s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:23 47m 35s
Remove uses of dynamic_cast from qualifierst hierarchy Build and Test CBMC #10322: Pull request #8405 opened by tautschnig
August 6, 2024 17:21 24m 18s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:21 24m 18s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Build and Test CBMC #10321: Pull request #8404 opened by tautschnig
August 6, 2024 17:20 51m 59s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 6, 2024 17:20 51m 59s
Merge pull request #8403 from tautschnig/fix-dfcc-typedef Build and Test CBMC #10320: Commit 5ef19c8 pushed by feliperodri
August 6, 2024 16:02 52m 27s develop
develop
August 6, 2024 16:02 52m 27s
Contracts/dynamic frames: do not attempt to instrument typedefs Build and Test CBMC #10319: Pull request #8403 opened by tautschnig
August 6, 2024 12:57 1h 1m 16s tautschnig:fix-dfcc-typedef
tautschnig:fix-dfcc-typedef
August 6, 2024 12:57 1h 1m 16s
SMT2 back-end: fix inconsistent array flattening Build and Test CBMC #10318: Pull request #8400 synchronize by tautschnig
August 1, 2024 10:50 42m 40s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
August 1, 2024 10:50 42m 40s
SMT2 back-end: fix inconsistent array flattening Build and Test CBMC #10317: Pull request #8400 opened by tautschnig
July 30, 2024 20:54 49m 2s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
July 30, 2024 20:54 49m 2s
Merge pull request #8398 from tautschnig/release-6.1.1 Build and Test CBMC #10316: Commit b335979 pushed by tautschnig
July 29, 2024 13:22 46m 9s develop
develop
July 29, 2024 13:22 46m 9s
Release CBMC 6.1.1 Build and Test CBMC #10315: Pull request #8398 opened by tautschnig
July 29, 2024 11:20 39m 22s tautschnig:release-6.1.1
tautschnig:release-6.1.1
July 29, 2024 11:20 39m 22s
Merge pull request #8397 from tautschnig/cadical-NDEBUG Build and Test CBMC #10314: Commit ffbd3eb pushed by tautschnig
July 29, 2024 10:31 35m 14s develop
develop
July 29, 2024 10:31 35m 14s
Compile CaDiCaL with -DNDEBUG Build and Test CBMC #10313: Pull request #8397 synchronize by tautschnig
July 29, 2024 09:37 45m 48s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 09:37 45m 48s
Compile CaDiCaL with -DNDEBUG Build and Test CBMC #10312: Pull request #8397 synchronize by tautschnig
July 29, 2024 08:34 50m 7s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 08:34 50m 7s
Compile CaDiCaL with -DNDEBUG Build and Test CBMC #10311: Pull request #8397 synchronize by tautschnig
July 29, 2024 07:39 1h 44m 40s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 07:39 1h 44m 40s
Compile CaDiCaL with -DNDEBUG Build and Test CBMC #10310: Pull request #8397 synchronize by tautschnig
July 29, 2024 07:19 1h 48m 33s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 07:19 1h 48m 33s
Merge pull request #8396 from diffblue/range-add-sub Build and Test CBMC #10309: Commit 9dbbada pushed by tautschnig
July 26, 2024 21:11 1h 48m 31s develop
develop
July 26, 2024 21:11 1h 48m 31s
Compile CaDiCaL with -DNDEBUG Build and Test CBMC #10308: Pull request #8397 opened by tautschnig
July 26, 2024 21:10 8m 23s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 26, 2024 21:10 8m 23s
implement flattening for +/- for the range type Build and Test CBMC #10307: Pull request #8396 opened by kroening
July 26, 2024 19:19 1h 50m 6s range-add-sub
range-add-sub
July 26, 2024 19:19 1h 50m 6s
Don't generate unnecessary fresh symbols for the GOTO trace Build and Test CBMC #10306: Pull request #7021 synchronize by tautschnig
July 24, 2024 14:36 1h 46m 53s tautschnig:cleanup/no-unnecessry-fresh-symbols
tautschnig:cleanup/no-unnecessry-fresh-symbols
July 24, 2024 14:36 1h 46m 53s
Use propt::lcnf when cnf_handled_well is true Build and Test CBMC #10305: Pull request #7402 synchronize by tautschnig
July 24, 2024 14:34 1h 44m 46s tautschnig:feature/use-lcnf
tautschnig:feature/use-lcnf
July 24, 2024 14:34 1h 44m 46s
CI: add macos-14 (macOS on M1) job Build and Test CBMC #10304: Pull request #8382 synchronize by tautschnig
July 24, 2024 13:18 5h 45m 17s tautschnig:macos-14
tautschnig:macos-14
July 24, 2024 13:18 5h 45m 17s
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