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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add macos-14 (macOS on M1) job Build and Test on *BSD #993: Pull request #8382 opened by tautschnig
July 12, 2024 15:53 7m 3s tautschnig:macos-14
tautschnig:macos-14
July 12, 2024 15:53 7m 3s
Update Xen integration test Docker image Build and Test on *BSD #992: Pull request #8381 opened by tautschnig
July 12, 2024 15:12 7m 11s tautschnig:bugfixes/recent-ubuntu-8193
tautschnig:bugfixes/recent-ubuntu-8193
July 12, 2024 15:12 7m 11s
C front-end: place requires and ensures in designated scope Build and Test on *BSD #991: Pull request #8380 synchronize by tautschnig
July 12, 2024 14:18 40m 26s tautschnig:bugfixes/contract-scope-8337
tautschnig:bugfixes/contract-scope-8337
July 12, 2024 14:18 40m 26s
C front-end: place requires and ensures in designated scope Build and Test on *BSD #990: Pull request #8380 opened by tautschnig
July 12, 2024 14:09 39m 42s tautschnig:bugfixes/contract-scope-8337
tautschnig:bugfixes/contract-scope-8337
July 12, 2024 14:09 39m 42s
Merge pull request #8376 from tautschnig/bugfixes/complex-8375 Build and Test on *BSD #989: Commit 3dcc1c7 pushed by tautschnig
July 12, 2024 13:42 38m 59s develop
develop
July 12, 2024 13:42 38m 59s
SMT2 back-end: report error when invoking solver fails Build and Test on *BSD #988: Pull request #8378 synchronize by tautschnig
July 12, 2024 12:13 6m 38s tautschnig:bugfixes/smt2-error-8362
tautschnig:bugfixes/smt2-error-8362
July 12, 2024 12:13 6m 38s
SMT2 back-end: detect when solver returns unexpected model Build and Test on *BSD #987: Pull request #8379 synchronize by tautschnig
July 12, 2024 11:42 12m 15s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:42 12m 15s
Quantifier instantiation via simplistic E-matching Build and Test on *BSD #986: Pull request #8224 synchronize by tautschnig
July 12, 2024 11:38 2h 8m 44s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
July 12, 2024 11:38 2h 8m 44s
SMT2 back-end: detect when solver returns unexpected model Build and Test on *BSD #985: Pull request #8379 synchronize by tautschnig
July 12, 2024 11:27 39m 12s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:27 39m 12s
Fix multiplication and division of complex numbers Build and Test on *BSD #984: Pull request #8376 synchronize by tautschnig
July 12, 2024 11:10 6m 35s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 11:10 6m 35s
SMT2 back-end: detect when solver returns unexpected model Build and Test on *BSD #983: Pull request #8379 opened by tautschnig
July 12, 2024 11:05 39m 12s tautschnig:bugfixes/smt2-value-check-8365
tautschnig:bugfixes/smt2-value-check-8365
July 12, 2024 11:05 39m 12s
SMT2 back-end: report error when invoking solver fails Build and Test on *BSD #982: Pull request #8378 opened by tautschnig
July 12, 2024 10:06 39m 16s tautschnig:bugfixes/smt2-error-8362
tautschnig:bugfixes/smt2-error-8362
July 12, 2024 10:06 39m 16s
Fix multiplication and division of complex numbers Build and Test on *BSD #981: Pull request #8376 synchronize by tautschnig
July 12, 2024 09:37 7m 30s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 09:37 7m 30s
Fix multiplication and division of complex numbers Build and Test on *BSD #980: Pull request #8376 synchronize by tautschnig
July 12, 2024 08:52 6m 46s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 12, 2024 08:52 6m 46s
Add documentation to loop contracts, __CPROVER_loop_entry Build and Test on *BSD #979: Pull request #8377 synchronize by QinyuanWu
July 12, 2024 00:42 52m 19s QinyuanWu:develop
QinyuanWu:develop
July 12, 2024 00:42 52m 19s
Fix multiplication and division of complex numbers Build and Test on *BSD #977: Pull request #8376 synchronize by tautschnig
July 11, 2024 20:10 7m 45s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 20:10 7m 45s
Fix multiplication and division of complex numbers Build and Test on *BSD #976: Pull request #8376 synchronize by tautschnig
July 11, 2024 16:36 6m 59s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 16:36 6m 59s
Fix multiplication and division of complex numbers Build and Test on *BSD #975: Pull request #8376 synchronize by tautschnig
July 11, 2024 11:08 6m 58s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 11:08 6m 58s
Fix multiplication and division of complex numbers Build and Test on *BSD #974: Pull request #8376 opened by tautschnig
July 11, 2024 10:43 7m 6s tautschnig:bugfixes/complex-8375
tautschnig:bugfixes/complex-8375
July 11, 2024 10:43 7m 6s
GOTO conversion: create temporaries with minimal scope Build and Test on *BSD #973: Pull request #8363 synchronize by tautschnig
July 11, 2024 09:46 9m 59s tautschnig:temporaries-minimal-scope
tautschnig:temporaries-minimal-scope
July 11, 2024 09:46 9m 59s
Merge pull request #8370 from tautschnig/endianness-tests Build and Test on *BSD #972: Commit 629dbcd pushed by kroening
July 11, 2024 00:02 6m 59s develop
develop
July 11, 2024 00:02 6m 59s
Merge pull request #8361 from qinheping/issue/8329 Build and Test on *BSD #971: Commit 8ccc168 pushed by qinheping
July 10, 2024 22:13 9m 9s develop
develop
July 10, 2024 22:13 9m 9s
Merge pull request #7857 from tautschnig/cleanup/no-winbug Build and Test on *BSD #970: Commit f02b7bf pushed by kroening
July 10, 2024 18:45 7m 3s develop
develop
July 10, 2024 18:45 7m 3s
Make sure free symbols are declared in SMT2_conv after quantifier rewriting Build and Test on *BSD #969: Pull request #8361 synchronize by tautschnig
July 10, 2024 17:25 8m 42s qinheping:issue/8329
qinheping:issue/8329
July 10, 2024 17:25 8m 42s
Purge winbug from regression tests Build and Test on *BSD #968: Pull request #7857 synchronize by tautschnig
July 10, 2024 16:58 6m 49s tautschnig:cleanup/no-winbug
tautschnig:cleanup/no-winbug
July 10, 2024 16:58 6m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-07-10 or the other filters available.