Repository navigation

v0.4.0: Add the "generate-fsm" feature to enhance coverage for FSMs - #4

Merged

samuel21119 merged 9 commits into

mainfrom

feat/fsm-coverage

Feb 10, 2026

Commits on Feb 6, 2026
- feat: add FSM analysis and extraction tools to enhance sequential circuit coverage
  samuel21119
  committed
  4092225
Commits on Feb 8, 2026
- fix: Enhance DFS engine through C++-based testbench and make STG with Python scripts portable.
  samuel21119
  committed
  266d4af
- fix: refine cli option to generate-fsm
  samuel21119
  committed
  3ee67d0
Commits on Feb 9, 2026
- Add agents.md for LMs
  samuel21119
  committed
  8d5927f
- fix: update STG path in Makefiles
  samuel21119
  committed
  5a9c935
Commits on Feb 10, 2026
- add: add agent md file and documentation for generate-fsm
  samuel21119
  committed
  2050503
- Update documentation and enhance CLI references
  samuel21119
  committed
  1af3162
- Update README.md to reflect installation of `uv`
  samuel21119
  committed
  cc3ae6a
- fix: add linting checks and fix warnings
  samuel21119
  committed
  bf3d923