7 commits

Author	SHA1	Message	Date
Jannis Harder	47dd0105bd	Merge d62f945bc5 into ff98e51c13	2025-03-26 14:03:18 +00:00
Krystine Sherwin	176e59c3d8	Replace (read_)ilang with (read_)rtlil	2024-11-05 12:55:09 +13:00
Jannis Harder	d62f945bc5	tools/cexenum: Document JSON callback protocol	2023-12-14 17:35:07 +01:00
Jannis Harder	1ad19048e1	tools/cexenum: Add '--callback' option and refactor enumeration loop ... This requires YosysHQ/yosys#4078	2023-12-14 17:33:52 +01:00
Jannis Harder	eeee1a1ec5	tools/cexenum: Avoid buffering smtbmc's --progress stderr output ... We were discarding that output anyway and before YosysHQ/mau#5 this could lead to the mau internal `stderr.readline()` failing.	2023-12-14 17:32:36 +01:00
Jannis Harder	aa2a96d7c9	tools/cexenum: Fix type annotations ... With this it now passes pyright's strict mode	2023-12-14 17:32:36 +01:00
Jannis Harder	040b8deef2	Add aigcxemin and cexenum.py tools	2023-11-16 13:46:25 +01:00