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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Flow-insensitive value set: don't create index expressions over non-array objects Build and Test on *BSD #1828: Pull request #8651 opened by tautschnig
June 3, 2025 12:48 8m 32s tautschnig:value-set-fi-fix
tautschnig:value-set-fi-fix
June 3, 2025 12:48 8m 32s
Merge pull request #8650 from diffblue/run-with-pipe Build and Test on *BSD #1827: Commit beb96b9 pushed by tautschnig
June 3, 2025 11:04 40m 53s develop
develop
June 3, 2025 11:04 40m 53s
Simplify multiple-of-element size access to arrays Build and Test on *BSD #1826: Pull request #8627 synchronize by tautschnig
June 3, 2025 11:04 42m 32s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 3, 2025 11:04 42m 32s
Simplify multiple-of-element size access to arrays Build and Test on *BSD #1825: Pull request #8627 synchronize by tautschnig
June 3, 2025 10:18 42m 57s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 3, 2025 10:18 42m 57s
Introduce value-set supported simplifier for goto-symex Build and Test on *BSD #1824: Pull request #8642 synchronize by tautschnig
June 3, 2025 10:00 41m 11s tautschnig:simp-value-set
tautschnig:simp-value-set
June 3, 2025 10:00 41m 11s
Value set: lift offset from numeric constants to expressions Build and Test on *BSD #1823: Pull request #8647 synchronize by tautschnig
June 3, 2025 09:59 31m 2s tautschnig:value-set-offset
tautschnig:value-set-offset
June 3, 2025 09:59 31m 2s
run(..., std::ostream &, ...) with pipe Build and Test on *BSD #1822: Pull request #8650 synchronize by tautschnig
June 3, 2025 08:55 10m 12s run-with-pipe
run-with-pipe
June 3, 2025 08:55 10m 12s
Value set: lift offset from numeric constants to expressions Build and Test on *BSD #1821: Pull request #8647 synchronize by tautschnig
June 3, 2025 08:42 11m 52s tautschnig:value-set-offset
tautschnig:value-set-offset
June 3, 2025 08:42 11m 52s
run(..., std::ostream &, ...) with pipe Build and Test on *BSD #1820: Pull request #8650 opened by kroening
June 2, 2025 20:30 8m 28s run-with-pipe
run-with-pipe
June 2, 2025 20:30 8m 28s
Fix statement-expression expansion for Kani-provided quantifiers Build and Test on *BSD #1819: Pull request #8649 opened by tautschnig
June 2, 2025 10:53 7m 41s tautschnig:fix-quantifier-conversion
tautschnig:fix-quantifier-conversion
June 2, 2025 10:53 7m 41s
Merge pull request #8648 from diffblue/use-size_t Build and Test on *BSD #1818: Commit f1faa61 pushed by tautschnig
June 2, 2025 08:06 8m 0s develop
develop
June 2, 2025 08:06 8m 0s
Use std::size_t Build and Test on *BSD #1817: Pull request #8648 opened by kroening
June 1, 2025 01:21 9m 26s use-size_t
use-size_t
June 1, 2025 01:21 9m 26s
Value set: lift offset from numeric constants to expressions Build and Test on *BSD #1816: Pull request #8647 opened by tautschnig
May 30, 2025 13:30 12m 35s tautschnig:value-set-offset
tautschnig:value-set-offset
May 30, 2025 13:30 12m 35s
C library: Refine and improve stdio models Build and Test on *BSD #1815: Pull request #8043 synchronize by tautschnig
May 30, 2025 11:07 8m 6s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
May 30, 2025 11:07 8m 6s
Merge pull request #8644 from tautschnig/goto-checker-dep Build and Test on *BSD #1814: Commit fc412c7 pushed by kroening
May 28, 2025 12:48 42m 21s develop
develop
May 28, 2025 12:48 42m 21s
C library: Refine and improve stdio models Build and Test on *BSD #1813: Pull request #8043 synchronize by tautschnig
May 28, 2025 11:18 58m 25s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
May 28, 2025 11:18 58m 25s
C front-end: fix processing of alignment and packing attributes Build and Test on *BSD #1812: Pull request #8454 synchronize by tautschnig
May 28, 2025 11:16 45m 39s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
May 28, 2025 11:16 45m 39s
Move unwindset.{h,cpp} to goto-programs Build and Test on *BSD #1811: Pull request #8645 synchronize by tautschnig
May 28, 2025 11:12 43m 28s tautschnig:move-unwindsett
tautschnig:move-unwindsett
May 28, 2025 11:12 43m 28s
Introduce value-set supported simplifier for goto-symex Build and Test on *BSD #1810: Pull request #8642 synchronize by tautschnig
May 28, 2025 11:09 13m 16s tautschnig:simp-value-set
tautschnig:simp-value-set
May 28, 2025 11:09 13m 16s
Make goto_symext::language_mode protected Build and Test on *BSD #1809: Pull request #8646 opened by tautschnig
May 28, 2025 10:32 44m 4s tautschnig:language_mode-protected
tautschnig:language_mode-protected
May 28, 2025 10:32 44m 4s
Move unwindset.{h,cpp} to goto-programs Build and Test on *BSD #1808: Pull request #8645 opened by tautschnig
May 28, 2025 10:29 28m 2s tautschnig:move-unwindsett
tautschnig:move-unwindsett
May 28, 2025 10:29 28m 2s
unwindsett: goto_model is only needed for options processing Build and Test on *BSD #1807: Pull request #8643 synchronize by tautschnig
May 28, 2025 10:19 41m 47s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
May 28, 2025 10:19 41m 47s
Introduce value-set supported simplifier for goto-symex Build and Test on *BSD #1806: Pull request #8642 synchronize by tautschnig
May 27, 2025 14:02 10m 40s tautschnig:simp-value-set
tautschnig:simp-value-set
May 27, 2025 14:02 10m 40s
goto-checker no longer depends on cbmc Build and Test on *BSD #1805: Pull request #8644 opened by tautschnig
May 27, 2025 13:00 42m 31s tautschnig:goto-checker-dep
tautschnig:goto-checker-dep
May 27, 2025 13:00 42m 31s
unwindsett: goto_model is only needed for options processing Build and Test on *BSD #1804: Pull request #8643 opened by tautschnig
May 27, 2025 12:59 38m 35s tautschnig:unwindsett-constructor
tautschnig:unwindsett-constructor
May 27, 2025 12:59 38m 35s