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

zero extension expression Build and Test CBMC #10502: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 58m 58s zero_extend
zero_extend
October 3, 2024 00:32 58m 58s
Clarify usage of history variables in error messages Build and Test CBMC #10501: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 36m 51s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 36m 51s
Merge pull request #8477 from diffblue/bitvector_width_biginteger Build and Test CBMC #10500: Commit 83922b2 pushed by kroening
September 29, 2024 20:08 56m 21s develop
develop
September 29, 2024 20:08 56m 21s
bitvector_typet: set width from mp_integer Build and Test CBMC #10499: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 58m 45s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 58m 45s
bitvector_typet: set width from mp_integer Build and Test CBMC #10498: Pull request #8477 opened by kroening
September 27, 2024 23:11 23m 2s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 23m 2s
Merge pull request #8470 from tautschnig/loop_entry-arrays Build and Test CBMC #10497: Commit 4bd5c0a pushed by tautschnig
September 27, 2024 20:36 59m 25s develop
develop
September 27, 2024 20:36 59m 25s
Merge pull request #8473 from diffblue/format-range_typet Build and Test CBMC #10496: Commit bcda5a9 pushed by kroening
September 26, 2024 12:36 1h 3m 47s develop
develop
September 26, 2024 12:36 1h 3m 47s
format_type can now format range_typet Build and Test CBMC #10495: Pull request #8473 synchronize by kroening
September 25, 2024 17:39 42m 33s format-range_typet
format-range_typet
September 25, 2024 17:39 42m 33s
format_type can now format range_typet Build and Test CBMC #10494: Pull request #8473 opened by kroening
September 25, 2024 14:20 51m 29s format-range_typet
format-range_typet
September 25, 2024 14:20 51m 29s
Merge pull request #8471 from tautschnig/loops-man-pages Build and Test CBMC #10493: Commit 4c59d28 pushed by kroening
September 25, 2024 13:59 50m 46s develop
develop
September 25, 2024 13:59 50m 46s
Man pages: improve wording of unwinding-related options Build and Test CBMC #10492: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 48m 16s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 48m 16s
Reword documentation of __CPROVER_{r,w,rw}_ok Build and Test CBMC #10491: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 47m 14s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 47m 14s
Man pages: improve wording of unwinding-related options Build and Test CBMC #10490: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 59m 28s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 59m 28s
Contracts: document use of __CPROVER_loop_entry with arrays Build and Test CBMC #10489: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 1h 9m 13s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 1h 9m 13s
Remove infinity_exprt Build and Test CBMC #10488: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 45m 38s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 45m 38s
Remove infinity_exprt Build and Test CBMC #10487: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 1h 1m 34s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 1h 1m 34s
Remove infinity_exprt Build and Test CBMC #10486: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 1h 3m 35s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 1h 3m 35s
Re-enable array theory as default for array size above threshold Build and Test CBMC #10485: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 41m 3s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 41m 3s
SMT2: implement cond Build and Test CBMC #10484: Pull request #8467 opened by kroening
September 23, 2024 18:56 59m 55s smt2-cond
smt2-cond
September 23, 2024 18:56 59m 55s
Merge pull request #8466 from diffblue/smt2-range Build and Test CBMC #10483: Commit a209b44 pushed by kroening
September 23, 2024 17:42 50m 11s develop
develop
September 23, 2024 17:42 50m 11s
SMT2: implement range type Build and Test CBMC #10482: Pull request #8466 opened by kroening
September 22, 2024 13:47 32m 59s smt2-range
smt2-range
September 22, 2024 13:47 32m 59s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test CBMC #10481: Pull request #8465 opened by yvizel
September 22, 2024 12:19 23m 26s yvizel:develop
yvizel:develop
September 22, 2024 12:19 23m 26s
C library: fix build on FreeBSD Build and Test CBMC #10479: Pull request #8463 opened by melak
September 21, 2024 19:23 Action required melak:fbsd-build-fix
melak:fbsd-build-fix
September 21, 2024 19:23 Action required
Merge pull request #8462 from tautschnig/release-6.3.1 Build and Test CBMC #10478: Commit d2b4455 pushed by tautschnig
September 19, 2024 18:45 38m 57s develop
develop
September 19, 2024 18:45 38m 57s
Release CBMC 6.3.1 Build and Test CBMC #10477: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 54m 37s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 54m 37s