Issues

• Rename witness trace to counterexample trace for failing properties

  diffblue/hw-cbmc#2217 · Filter by author ShashankVM opened on Oct 5, 2026
  2

• Memory blow-up elaborating nested loop with variable part-select and in-loop flag (N=4)

  diffblue/hw-cbmc#2196 · Filter by author severin-spagnola opened on Oct 1, 2026

• Syntax error when using parameter type

  diffblue/hw-cbmc#2130 · Filter by author obetschi-antmicro opened on Sep 15, 2026

• Upward name referencing

  diffblue/hw-cbmc#2128 · Filter by author yvizel opened on Sep 14, 2026

• Assignment to struct fields in different blocks are not supported

  diffblue/hw-cbmc#2103 · Filter by author bbawj opened on Aug 18, 2026
  2

• Support for parallel.enable in z3 solver

  diffblue/hw-cbmc#2041 · Filter by author ShashankVM opened on Jul 21, 2026

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

  diffblue/hw-cbmc#1970 · Filter by author kroening opened on Jul 4, 2026

• Invariant check fails with "elaborate_symbol_rec" error

  diffblue/hw-cbmc#1423 · Filter by author ShashankVM opened on Nov 19, 2025
  1

• Counters incorrectly using blocking assignments in regressions and EBMC tutorial

  diffblue/hw-cbmc#1348 · Filter by author ShashankVM opened on Oct 21, 2025
  1

• Clock not toggling in waveform trace

  diffblue/hw-cbmc#1345 · Filter by author ShashankVM opened on Oct 20, 2025
  1

• Are you still maintaining hw-cbmc?

  diffblue/hw-cbmc#1234 · Filter by author LittleBlackCQ opened on Aug 14, 2025

• Coverage view

  diffblue/hw-cbmc#1014 · Filter by author Fuhj-better opened on Mar 3, 2025

• Exception counterexample

  diffblue/hw-cbmc#990 · Filter by author Fuhj-better opened on Feb 16, 2025

• Aborted (core dumped)

  diffblue/hw-cbmc#985 · Filter by author Fuhj-better opened on Feb 10, 2025
  1

• Aborted (core dumped)

  diffblue/hw-cbmc#977 · Filter by author Fuhj-better opened on Feb 8, 2025

• CONVERSION ERROR

  diffblue/hw-cbmc#966 · Filter by author Fuhj-better opened on Feb 5, 2025
  2

• counterexample

  diffblue/hw-cbmc#959 · Filter by author Fuhj-better opened on Feb 3, 2025
  2

• REFUTED ASSERTIONS

  diffblue/hw-cbmc#956 · Filter by author Fuhj-better opened on Feb 1, 2025

• CONVERSION ERROR

  diffblue/hw-cbmc#931 · Filter by author Fuhj-better opened on Jan 16, 2025
  10

• hw-cbmc timeframe array bounds

  diffblue/hw-cbmc#788 · Filter by author Necromaticon opened on Oct 24, 2024
  1

• Property unsupported by k-induction

  diffblue/hw-cbmc#673 · Filter by author ShashankVM opened on Sep 8, 2024

• Problem with generating VCD File

  diffblue/hw-cbmc#658 · Filter by author ShashankVM opened on Aug 31, 2024

• PARSING ERROR syntax error before '__value' when verifying hardware of DUAL_PATH_ADDER of the FM16 paper's benchmark.

  diffblue/hw-cbmc#322 · Filter by author Shawn-Yang-Xiao opened on Dec 25, 2023
  2

• Solving time problem

  diffblue/hw-cbmc#295 · Filter by author Rico1900 opened on Dec 15, 2023
  2

• questions about co-verification tool HW-CBMC supporting for concurrency scenarios

  diffblue/hw-cbmc#36 · Filter by author zhushaofeng1992 opened on Jul 16, 2021