yosys

Commit Graph

Author	SHA1	Message	Date
Jannis Harder	4f239b536b	abc_new: Hide buffered 'z drivers from read/write_xaiger2 With the updated bufnorm code, buffered 'z drivers are used as anchor points for undirected connections. These are currently not supported by read/write_xaiger2, so we temporarily replace those by roughly equivalent $tribuf cells which will be handled as blackboxes that properly roundtrip through the xaiger2 front and backend.	2025-09-17 13:56:46 +02:00
Robert O'Callahan	c7df6954b9	Remove .c_str() from stringf parameters	2025-09-01 23:34:42 +00:00
Lofty	e4ab6acb46	Add genlib support to abc_new	2025-05-27 09:47:29 +01:00
Krystine Sherwin	cd3b914132	Reinstate #4768 Revert the reversion so that we can fix the bugs that the PR missed.	2025-04-08 11:58:05 +12:00
Miodrag Milanović	d49364d96f	Revert "Refactor full_selection"	2025-04-07 12:11:55 +02:00
Krystine Sherwin	732c82f851	abc_new: Use push_empty_selection()	2025-03-14 14:08:56 +13:00
Krystine Sherwin	dac2bb7d4d	Use selection helpers Catch more uses of selection constructor without assigning a design.	2025-03-14 14:08:13 +13:00
Martin Povišer	0bb139dc25	abc_new: Fix help crash	2024-12-10 14:27:55 +01:00
Martin Povišer	2a3f60bc06	abc_new: Support `abc9_box` mode on ordinary design hierarchy Previously the `abc9_box` mode was reserved to modules with the `blackbox` or `whitebox` attribute. Allow `abc9_box` on ordinary modules when doing hierarchical synthesis.	2024-12-10 14:27:29 +01:00
Martin Povišer	285f24d764	abc_new: Support per-module script override	2024-12-10 14:27:29 +01:00
Martin Povišer	e0a86d5483	abc_new: Start new command for aiger2-based round trip	2024-10-07 12:03:49 +02:00

11 Commits