Skip to content

Actions: diffblue/cbmc

Actions

Build and Test on *BSD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bsd.yaml
140 workflow run results
140 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMT2: simplify interface Build and Test on *BSD #321: Pull request #8123 synchronize by kroening
February 6, 2024 17:28 8m 52s smt2-assumptions
smt2-assumptions
February 6, 2024 17:28 8m 52s
Merge pull request #8150 from diffblue/use_starts_with Build and Test on *BSD #320: Commit fe3ec50 pushed by tautschnig
February 6, 2024 17:10 9m 0s develop
develop
February 6, 2024 17:10 9m 0s
Goto crossing scopes: fix scope tree entry of conditions Build and Test on *BSD #319: Pull request #8187 synchronize by tautschnig
February 6, 2024 16:18 11m 12s tautschnig:bugfixes/no-spurious-loops
tautschnig:bugfixes/no-spurious-loops
February 6, 2024 16:18 11m 12s
Merge pull request #8191 from diffblue/bitvector-constant-verilogbv Build and Test on *BSD #318: Commit 40a981f pushed by kroening
February 6, 2024 15:20 7m 13s develop
develop
February 6, 2024 15:20 7m 13s
Merge pull request #8139 from tautschnig/cleanup/assembler_parsert Build and Test on *BSD #317: Commit d333f3b pushed by tautschnig
February 6, 2024 14:16 10m 42s develop
develop
February 6, 2024 14:16 10m 42s
Merge pull request #8159 from tautschnig/features/system-cadical Build and Test on *BSD #316: Commit 4a5c797 pushed by tautschnig
February 6, 2024 14:16 7m 17s develop
develop
February 6, 2024 14:16 7m 17s
Merge pull request #8189 from tautschnig/feature/scope-tree-output Build and Test on *BSD #315: Commit 7d1d88e pushed by tautschnig
February 6, 2024 13:52 9m 58s develop
develop
February 6, 2024 13:52 9m 58s
C library: model __builtin_powi{,f,l} Build and Test on *BSD #314: Pull request #8192 opened by tautschnig
February 6, 2024 13:31 6m 44s tautschnig:features/builtin_pow
tautschnig:features/builtin_pow
February 6, 2024 13:31 6m 44s
Merge pull request #8188 from tautschnig/cleanup/scope-tree-comment Build and Test on *BSD #313: Commit 3516d1f pushed by tautschnig
February 6, 2024 13:19 7m 15s develop
develop
February 6, 2024 13:19 7m 15s
relax bitvector constant check for Verilog bitvectors Build and Test on *BSD #312: Pull request #8191 opened by kroening
February 6, 2024 13:00 7m 32s bitvector-constant-verilogbv
bitvector-constant-verilogbv
February 6, 2024 13:00 7m 32s
Run performance comparison in CI using Kani's Benchcomp Build and Test on *BSD #311: Pull request #8171 synchronize by tautschnig
February 6, 2024 12:38 6m 53s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 12:38 6m 53s
introduce update_bit_exprt Build and Test on *BSD #310: Pull request #8190 opened by kroening
February 6, 2024 12:17 39m 20s updatebit_exprt
updatebit_exprt
February 6, 2024 12:17 39m 20s
Goto crossing scopes: fix scope tree entry of conditions Build and Test on *BSD #309: Pull request #8187 synchronize by tautschnig
February 6, 2024 11:56 17m 22s tautschnig:bugfixes/no-spurious-loops
tautschnig:bugfixes/no-spurious-loops
February 6, 2024 11:56 17m 22s
Scope tree: add dot output Build and Test on *BSD #308: Pull request #8189 opened by tautschnig
February 6, 2024 11:53 13m 8s tautschnig:feature/scope-tree-output
tautschnig:feature/scope-tree-output
February 6, 2024 11:53 13m 8s
Scope tree: fix and clarify comment Build and Test on *BSD #307: Pull request #8188 opened by tautschnig
February 6, 2024 11:52 8m 10s tautschnig:cleanup/scope-tree-comment
tautschnig:cleanup/scope-tree-comment
February 6, 2024 11:52 8m 10s
Goto crossing scopes: fix scope tree entry of conditions Build and Test on *BSD #306: Pull request #8187 opened by tautschnig
February 6, 2024 11:51 7m 11s tautschnig:bugfixes/no-spurious-loops
tautschnig:bugfixes/no-spurious-loops
February 6, 2024 11:51 7m 11s
Use dstringt::starts_with Build and Test on *BSD #305: Pull request #8150 synchronize by kroening
February 6, 2024 11:19 8m 34s use_starts_with
use_starts_with
February 6, 2024 11:19 8m 34s
Run performance comparison in CI using Kani's Benchcomp Build and Test on *BSD #304: Pull request #8171 synchronize by tautschnig
February 6, 2024 10:50 6m 57s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 10:50 6m 57s
Run performance comparison in CI using Kani's Benchcomp Build and Test on *BSD #303: Pull request #8171 synchronize by tautschnig
February 6, 2024 10:13 7m 21s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 10:13 7m 21s
Run performance comparison in CI using Kani's Benchcomp Build and Test on *BSD #302: Pull request #8171 synchronize by tautschnig
February 6, 2024 09:39 7m 3s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 09:39 7m 3s
Run performance comparison in CI using Kani's Benchcomp Build and Test on *BSD #301: Pull request #8171 synchronize by tautschnig
February 6, 2024 09:20 7m 20s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 09:20 7m 20s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support Build and Test on *BSD #300: Pull request #8169 synchronize by tautschnig
February 5, 2024 21:55 37m 29s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
February 5, 2024 21:55 37m 29s
Merge pull request #8154 from tautschnig/cleanup/remove_use_std_string Build and Test on *BSD #299: Commit 2d96b83 pushed by tautschnig
February 5, 2024 21:48 36m 39s develop
develop
February 5, 2024 21:48 36m 39s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support Build and Test on *BSD #298: Pull request #8169 synchronize by tautschnig
February 5, 2024 20:06 13m 19s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
February 5, 2024 20:06 13m 19s
Merge pull request #8179 from tautschnig/bugfixes/full-slicing-update Build and Test on *BSD #297: Commit 2d1c1a3 pushed by tautschnig
February 5, 2024 18:15 17m 44s develop
develop
February 5, 2024 18:15 17m 44s