Search results

Automatically create release tags via GitHub actions

CI

Status: Open (in progress).

diffblue/cbmcnumber 8424

#8424 In diffblue/cbmc;

· tautschnig opened on Aug 23, 2024

Run CBMC regression tests with Bitwuzla

CI

Status: Open.

#8388 In diffblue/cbmc;

· tautschnig opened on Jul 17, 2024

Incremental SMT back-end occasionally fails regression tests

CI

SMT Backend Interface

Status: Open.

#7549 In diffblue/cbmc;

· tautschnig opened on Feb 16, 2023

Substitute deprecated <code>upload-release-asset</code> action in CI

CI

Status: Open.

#7280 In diffblue/cbmc;

· NlightNFotis opened on Oct 27, 2022

Fail fast if dependencies download fails for the windows jobs

CI

Status: Open.

#6883 In diffblue/cbmc;

· NlightNFotis opened on May 25, 2022