Skip to content

Actions: diffblue/cbmc

Actions

Build and Test on *BSD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bsd.yaml
1,207 workflow runs
1,207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

zero extension expression Build and Test on *BSD #1228: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 41m 20s zero_extend
zero_extend
October 3, 2024 00:32 41m 20s
Clarify usage of history variables in error messages Build and Test on *BSD #1227: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 7m 43s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 7m 43s
Merge pull request #8477 from diffblue/bitvector_width_biginteger Build and Test on *BSD #1226: Commit 83922b2 pushed by kroening
September 29, 2024 20:08 36m 39s develop
develop
September 29, 2024 20:08 36m 39s
bitvector_typet: set width from mp_integer Build and Test on *BSD #1225: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 35m 53s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 35m 53s
bitvector_typet: set width from mp_integer Build and Test on *BSD #1224: Pull request #8477 opened by kroening
September 27, 2024 23:11 14m 22s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 14m 22s
Merge pull request #8470 from tautschnig/loop_entry-arrays Build and Test on *BSD #1223: Commit 4bd5c0a pushed by tautschnig
September 27, 2024 20:36 7m 10s develop
develop
September 27, 2024 20:36 7m 10s
Merge pull request #8473 from diffblue/format-range_typet Build and Test on *BSD #1222: Commit bcda5a9 pushed by kroening
September 26, 2024 12:36 7m 15s develop
develop
September 26, 2024 12:36 7m 15s
format_type can now format range_typet Build and Test on *BSD #1221: Pull request #8473 synchronize by kroening
September 25, 2024 17:39 7m 36s format-range_typet
format-range_typet
September 25, 2024 17:39 7m 36s
format_type can now format range_typet Build and Test on *BSD #1220: Pull request #8473 opened by kroening
September 25, 2024 14:20 5m 12s format-range_typet
format-range_typet
September 25, 2024 14:20 5m 12s
Merge pull request #8471 from tautschnig/loops-man-pages Build and Test on *BSD #1219: Commit 4c59d28 pushed by kroening
September 25, 2024 13:59 7m 26s develop
develop
September 25, 2024 13:59 7m 26s
Man pages: improve wording of unwinding-related options Build and Test on *BSD #1218: Pull request #8471 synchronize by tautschnig
September 25, 2024 12:42 6h 0m 15s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 25, 2024 12:42 6h 0m 15s
Reword documentation of __CPROVER_{r,w,rw}_ok Build and Test on *BSD #1217: Pull request #8472 opened by tautschnig
September 25, 2024 11:36 6h 0m 14s tautschnig:rw_ok-documentation
tautschnig:rw_ok-documentation
September 25, 2024 11:36 6h 0m 14s
Man pages: improve wording of unwinding-related options Build and Test on *BSD #1216: Pull request #8471 opened by tautschnig
September 24, 2024 21:45 7m 21s tautschnig:loops-man-pages
tautschnig:loops-man-pages
September 24, 2024 21:45 7m 21s
Contracts: document use of __CPROVER_loop_entry with arrays Build and Test on *BSD #1215: Pull request #8470 opened by tautschnig
September 24, 2024 20:36 7m 6s tautschnig:loop_entry-arrays
tautschnig:loop_entry-arrays
September 24, 2024 20:36 7m 6s
Remove infinity_exprt Build and Test on *BSD #1214: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:18 39m 21s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:18 39m 21s
Remove infinity_exprt Build and Test on *BSD #1213: Pull request #8469 synchronize by tautschnig
September 24, 2024 14:14 37m 26s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:14 37m 26s
Remove infinity_exprt Build and Test on *BSD #1212: Pull request #8469 opened by tautschnig
September 24, 2024 14:05 37m 34s tautschnig:remove-infinity
tautschnig:remove-infinity
September 24, 2024 14:05 37m 34s
Re-enable array theory as default for array size above threshold Build and Test on *BSD #1211: Pull request #8468 opened by tautschnig
September 24, 2024 12:48 6h 0m 15s tautschnig:arrays-uf-auto-default
tautschnig:arrays-uf-auto-default
September 24, 2024 12:48 6h 0m 15s
SMT2: implement cond Build and Test on *BSD #1210: Pull request #8467 opened by kroening
September 23, 2024 18:56 35m 22s smt2-cond
smt2-cond
September 23, 2024 18:56 35m 22s
Merge pull request #8466 from diffblue/smt2-range Build and Test on *BSD #1209: Commit a209b44 pushed by kroening
September 23, 2024 17:42 7m 18s develop
develop
September 23, 2024 17:42 7m 18s
SMT2: implement range type Build and Test on *BSD #1208: Pull request #8466 opened by kroening
September 22, 2024 13:47 7m 35s smt2-range
smt2-range
September 22, 2024 13:47 7m 35s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Build and Test on *BSD #1207: Pull request #8465 opened by yvizel
September 22, 2024 12:19 4m 38s yvizel:develop
yvizel:develop
September 22, 2024 12:19 4m 38s
C library: fix build on FreeBSD Build and Test on *BSD #1205: 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 on *BSD #1204: Commit d2b4455 pushed by tautschnig
September 19, 2024 18:45 9m 2s develop
develop
September 19, 2024 18:45 9m 2s
Release CBMC 6.3.1 Build and Test on *BSD #1203: Pull request #8462 opened by tautschnig
September 19, 2024 16:27 8m 10s tautschnig:release-6.3.1
tautschnig:release-6.3.1
September 19, 2024 16:27 8m 10s