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

Merge pull request #8107 from tautschnig/bugfixes/minisat-versions-l_… Build and Test on *BSD #296: Commit da165a1 pushed by tautschnig
February 5, 2024 18:14 36m 43s develop
develop
February 5, 2024 18:14 36m 43s
SMT2: simplify interface Build and Test on *BSD #295: Pull request #8123 synchronize by kroening
February 5, 2024 17:51 50m 42s smt2-assumptions
smt2-assumptions
February 5, 2024 17:51 50m 42s
Merge pull request #8180 from diffblue/smt2-extractbit Build and Test on *BSD #294: Commit 12660ce pushed by kroening
February 5, 2024 17:46 37m 20s develop
develop
February 5, 2024 17:46 37m 20s
Merge pull request #8182 from diffblue/update_bits_exprt Build and Test on *BSD #293: Commit e8728fc pushed by kroening
February 5, 2024 17:46 37m 26s develop
develop
February 5, 2024 17:46 37m 26s
ansi_c_parsert: construct with message handler Build and Test on *BSD #292: Pull request #8141 synchronize by tautschnig
February 5, 2024 14:34 8m 9s tautschnig:cleanup/ansi_c_parsert
tautschnig:cleanup/ansi_c_parsert
February 5, 2024 14:34 8m 9s
update_bits_exprt Build and Test on *BSD #291: Pull request #8182 synchronize by kroening
February 5, 2024 14:33 8m 21s update_bits_exprt
update_bits_exprt
February 5, 2024 14:33 8m 21s
Merge pull request #8184 from diffblue/dependabot/github_actions/micr… Build and Test on *BSD #290: Commit e18fead pushed by tautschnig
February 5, 2024 14:13 6m 49s develop
develop
February 5, 2024 14:13 6m 49s
Bump microsoft/setup-msbuild from 1 to 2 Build and Test on *BSD #289: Pull request #8184 opened by dependabot bot
February 5, 2024 00:15 6m 54s dependabot/github_actions/microsoft/setup-msbuild-2
dependabot/github_actions/microsoft/setup-msbuild-2
February 5, 2024 00:15 6m 54s
Bump codecov/codecov-action from 3 to 4 Build and Test on *BSD #288: Pull request #8183 opened by dependabot bot
February 5, 2024 00:15 6m 49s dependabot/github_actions/codecov/codecov-action-4
dependabot/github_actions/codecov/codecov-action-4
February 5, 2024 00:15 6m 49s
update_bits_exprt Build and Test on *BSD #287: Pull request #8182 synchronize by kroening
February 4, 2024 19:56 6m 34s update_bits_exprt
update_bits_exprt
February 4, 2024 19:56 6m 34s
update_bits_exprt Build and Test on *BSD #286: Pull request #8182 synchronize by kroening
February 4, 2024 19:53 6m 58s update_bits_exprt
update_bits_exprt
February 4, 2024 19:53 6m 58s
update_bits_exprt Build and Test on *BSD #285: Pull request #8182 synchronize by kroening
February 4, 2024 17:25 38m 35s update_bits_exprt
update_bits_exprt
February 4, 2024 17:25 38m 35s
update_bits_exprt Build and Test on *BSD #284: Pull request #8182 opened by kroening
February 4, 2024 17:23 37m 13s update_bits_exprt
update_bits_exprt
February 4, 2024 17:23 37m 13s
SMT2: implement with on bit-vectors Build and Test on *BSD #283: Pull request #8181 opened by kroening
February 3, 2024 23:59 7m 15s smt2-with-bit-vector
smt2-with-bit-vector
February 3, 2024 23:59 7m 15s
SMT2: fix extractbit with non-const index Build and Test on *BSD #282: Pull request #8180 opened by kroening
February 3, 2024 23:27 6m 55s smt2-extractbit
smt2-extractbit
February 3, 2024 23:27 6m 55s
Add an abstract domain with very basic relational reasoning Build and Test on *BSD #281: Pull request #7361 synchronize by martin-cs
February 2, 2024 21:29 4m 21s martin-cs:feature/vsd-predicate-tracking
martin-cs:feature/vsd-predicate-tracking
February 2, 2024 21:29 4m 21s
Add an abstract domain with very basic relational reasoning Build and Test on *BSD #280: Pull request #7361 synchronize by martin-cs
February 2, 2024 21:29 4m 24s martin-cs:feature/vsd-predicate-tracking
martin-cs:feature/vsd-predicate-tracking
February 2, 2024 21:29 4m 24s
A new abstract interpreter for performing function-local analysis Build and Test on *BSD #279: Pull request #6529 synchronize by martin-cs
February 2, 2024 20:25 5m 24s martin-cs:feature/ai-local-analysis
martin-cs:feature/ai-local-analysis
February 2, 2024 20:25 5m 24s
Use goto-analyzer to add assumptions, assertions and code contracts Build and Test on *BSD #278: Pull request #7964 synchronize by martin-cs
February 2, 2024 20:24 7m 11s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
February 2, 2024 20:24 7m 11s
Merge pull request #8174 from tautschnig/bugfixes/argc-argv-scope Build and Test on *BSD #277: Commit 5bdff46 pushed by tautschnig
February 2, 2024 18:11 8m 33s develop
develop
February 2, 2024 18:11 8m 33s
Merge pull request #8175 from tautschnig/cleanup/mm_io-sequence Build and Test on *BSD #276: Commit 464d8eb pushed by tautschnig
February 2, 2024 16:15 7m 33s develop
develop
February 2, 2024 16:15 7m 33s
Full slicing always requires consistent location numbers Build and Test on *BSD #275: Pull request #8179 synchronize by tautschnig
February 2, 2024 15:44 10m 23s tautschnig:bugfixes/full-slicing-update
tautschnig:bugfixes/full-slicing-update
February 2, 2024 15:44 10m 23s
argc/argv modelling: argument string must remain in scope Build and Test on *BSD #274: Pull request #8174 synchronize by tautschnig
February 2, 2024 15:43 7m 54s tautschnig:bugfixes/argc-argv-scope
tautschnig:bugfixes/argc-argv-scope
February 2, 2024 15:43 7m 54s
Merge pull request #8178 from tautschnig/bugfixes/remove-returns-loc-nr Build and Test on *BSD #273: Commit 5d85d38 pushed by tautschnig
February 2, 2024 15:42 6m 57s develop
develop
February 2, 2024 15:42 6m 57s
MMIO instrumentation cleanup Build and Test on *BSD #272: Pull request #8175 synchronize by tautschnig
February 2, 2024 13:57 22m 19s tautschnig:cleanup/mm_io-sequence
tautschnig:cleanup/mm_io-sequence
February 2, 2024 13:57 22m 19s