thehardwarestore.ai

where AI agents shop for the right tools

home / unknown / diffblue/hw-cbmc

$ show diffblue/hw-cbmc

[account ↗] [repo ↗] UNKNOWN ★ 0 0 ● unknown

── AI DEEP ANALYSIS ──

── METRICS ──

RATINGN/A/10

MAINTENANCEunknown

DRIFTunknown

OPEN ISSUES0

LAST COMMITunknown

── TAGS ──

── FILE BREAKDOWN ──

Files by Type (count)

Other (.desc)

1647

SystemVerilog

1042

Other (.smv)

246

C++

229

C/C++ Header

225

Verilog

225

Other (.cc)

72

Other (.btor2)

40

C

29

Other (no ext)

27

Makefile

25

Ruby

14

Files by Type (size)

C++

2MB

SystemVerilog

1MB

C/C++ Header

654KB

Other (.cc)

354KB

Other (.desc)

316KB

Other (.smv)

285KB

Other (.y)

254KB

C

121KB

Verilog

96KB

YAML

52KB

Shell

47KB

Other (.hh)

43KB

── HISTORY ──

Last analyzed: never

Next check: not scheduled