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,040 workflow runs
1,040 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Value-set supported simplifier: add object_size, is_invalid_pointer Build and Test on *BSD #1988: Pull request #8704 synchronize by tautschnig
August 7, 2025 11:45 13m 44s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 7, 2025 11:45 13m 44s
Value-set supported simplifier: add object_size, is_invalid_pointer Build and Test on *BSD #1987: Pull request #8704 synchronize by tautschnig
August 6, 2025 17:48 12m 33s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:48 12m 33s
Rewrite byte_extract from multi-dimensional array Build and Test on *BSD #1986: Pull request #8705 opened by tautschnig
August 6, 2025 17:22 9m 39s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
August 6, 2025 17:22 9m 39s
Value-set supported simplifier: add object_size, is_invalid_pointer Build and Test on *BSD #1985: Pull request #8704 opened by tautschnig
August 6, 2025 17:19 14m 57s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:19 14m 57s
Work around Z3 not producing models for some quantified expressions Build and Test on *BSD #1984: Pull request #8703 synchronize by tautschnig
August 5, 2025 17:26 9m 53s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
August 5, 2025 17:26 9m 53s
Work around Z3 not producing models for some quantified expressions Build and Test on *BSD #1983: Pull request #8703 opened by tautschnig
July 31, 2025 08:38 9m 7s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
July 31, 2025 08:38 9m 7s
Merge pull request #7584 from tautschnig/features/asm-renaming-type-c… Build and Test on *BSD #1982: Commit 6b6c8d3 pushed by tautschnig
July 30, 2025 09:13 35m 48s develop
develop
July 30, 2025 09:13 35m 48s
C front-end: tolerate type differences with asm renaming Build and Test on *BSD #1981: Pull request #7584 synchronize by tautschnig
July 30, 2025 07:19 8m 39s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 30, 2025 07:19 8m 39s
Symex guards: avoid unnecessary duplicate negation Build and Test on *BSD #1980: Pull request #8041 synchronize by tautschnig
July 29, 2025 18:33 20m 21s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
July 29, 2025 18:33 20m 21s
Value set dereferencing: do not treat struct prefixes as equal Build and Test on *BSD #1979: Pull request #5876 synchronize by tautschnig
July 29, 2025 18:32 7m 38s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 29, 2025 18:32 7m 38s
Move rounding_mode_identifier() to configt Build and Test on *BSD #1978: Pull request #6555 synchronize by tautschnig
July 29, 2025 18:32 8m 36s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
July 29, 2025 18:32 8m 36s
goto-symex: apply_condition should not change L2 index Build and Test on *BSD #1977: Pull request #6993 synchronize by tautschnig
July 29, 2025 16:09 55m 10s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 29, 2025 16:09 55m 10s
C front-end: tolerate type differences with asm renaming Build and Test on *BSD #1976: Pull request #7584 synchronize by tautschnig
July 29, 2025 15:46 32m 52s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 29, 2025 15:46 32m 52s
Linking: fix up all types before handling functions or objects Build and Test on *BSD #1975: Pull request #7579 synchronize by tautschnig
July 29, 2025 15:46 35m 0s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
July 29, 2025 15:46 35m 0s
Mimic GCC/Clang simplification behaviour when type checking ?: Build and Test on *BSD #1974: Pull request #7959 synchronize by tautschnig
July 29, 2025 15:45 15m 11s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 29, 2025 15:45 15m 11s
Merge pull request #8701 from tautschnig/extend-timeout Build and Test on *BSD #1973: Commit 22d25d1 pushed by tautschnig
July 29, 2025 15:43 41m 47s develop
develop
July 29, 2025 15:43 41m 47s
C front-end: tolerate type differences with asm renaming Build and Test on *BSD #1972: Pull request #7584 synchronize by tautschnig
July 29, 2025 13:47 1h 2m 30s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 29, 2025 13:47 1h 2m 30s
Linking: fix up all types before handling functions or objects Build and Test on *BSD #1971: Pull request #7579 synchronize by tautschnig
July 29, 2025 13:42 50m 48s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
July 29, 2025 13:42 50m 48s
Add support for MergeSat Build and Test on *BSD #1970: Pull request #6439 synchronize by tautschnig
July 29, 2025 13:39 42m 7s tautschnig:mergesat
tautschnig:mergesat
July 29, 2025 13:39 42m 7s
Introduce bitst and bytest to avoid bit/byte mix-up Build and Test on *BSD #1969: Pull request #7413 synchronize by tautschnig
July 29, 2025 13:32 41m 31s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
July 29, 2025 13:32 41m 31s
Extend cbmc-incr-oneloop timeout with CMake Build and Test on *BSD #1968: Pull request #8701 opened by tautschnig
July 29, 2025 13:04 8m 10s tautschnig:extend-timeout
tautschnig:extend-timeout
July 29, 2025 13:04 8m 10s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build and Test on *BSD #1967: Pull request #2452 synchronize by tautschnig
July 28, 2025 19:35 55m 23s tautschnig:vs-big-int
tautschnig:vs-big-int
July 28, 2025 19:35 55m 23s
Message handler: add quote_begin, quote_end commands Build and Test on *BSD #1966: Pull request #5696 synchronize by tautschnig
July 28, 2025 19:34 48m 8s tautschnig:quote-command
tautschnig:quote-command
July 28, 2025 19:34 48m 8s
Consistently use unsigned/size_t in big-int [blocks: #2310] Build and Test on *BSD #1965: Pull request #2452 synchronize by tautschnig
July 28, 2025 19:27 39m 31s tautschnig:vs-big-int
tautschnig:vs-big-int
July 28, 2025 19:27 39m 31s
Value set dereferencing: do not treat struct prefixes as equal Build and Test on *BSD #1964: Pull request #5876 synchronize by tautschnig
July 28, 2025 19:25 36m 47s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 28, 2025 19:25 36m 47s