Repository navigation

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

Merged

samuel21119 merged 18 commits into

mainfrom

feat/fsm-coverage

Mar 2, 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

Commits on Feb 11, 2026

Commits on Feb 14, 2026

refactor: consolidate FSM analysis and extraction into a unified module structure
samuel21119
committed
1d9b345

Commits on Mar 1, 2026

Commits on Mar 2, 2026