Search results

--liveness-to-safety reports PROVED for a false liveness property with >=2 fairness assumptions

Status: Open.

#2007 In diffblue/hw-cbmc;

· tautschnig opened on Jul 15, 2026

Standard netlist path: spurious REFUTED for combinational $signed comparison property (riscv-alu)

Status: Open.

#1970 In diffblue/hw-cbmc;

· kroening opened on Jul 4, 2026

non-ANSI port declarations support

Status: Open.

#1804 In diffblue/hw-cbmc;

· huaixil opened on Apr 16, 2026

Invariant check fails with "elaborate_symbol_rec" error

Status: Open.

#1423 In diffblue/hw-cbmc;

· ShashankVM opened on Nov 19, 2025

Counters incorrectly using blocking assignments in regressions and EBMC tutorial

Status: Open.

#1348 In diffblue/hw-cbmc;

· ShashankVM opened on Oct 21, 2025

Clock not toggling in waveform trace

Status: Open.

#1345 In diffblue/hw-cbmc;

· ShashankVM opened on Oct 20, 2025

-I option not working as intended in EBMC

Status: Open.

#1338 In diffblue/hw-cbmc;

· ShashankVM opened on Oct 19, 2025

Support reading multiple files from a single .f file

Status: Open.

#1337 In diffblue/hw-cbmc;

· ShashankVM opened on Oct 19, 2025

Are you still maintaining hw-cbmc?

Status: Open.

#1234 In diffblue/hw-cbmc;

· LittleBlackCQ opened on Aug 14, 2025

Coverage view

Status: Open.

#1014 In diffblue/hw-cbmc;

· Fuhj-better opened on Mar 3, 2025

Exception counterexample

Status: Open.

#990 In diffblue/hw-cbmc;

· Fuhj-better opened on Feb 16, 2025

Aborted (core dumped)

Status: Open.

#985 In diffblue/hw-cbmc;

· Fuhj-better opened on Feb 10, 2025