36 commits

Author	SHA1	Message	Date
Jannis Harder	4918f37be3	write_aiger2: Treat inout ports as output ports ... With the previous bufnorm implementation inout ports were not supported at all, so this didn't matter, but with the new bufnorm implementation they need to be treated as output ports.	2025-09-17 13:56:46 +02:00
Jannis Harder	6466b15367	Merge pull request #5351 from jix/xaiger_ponum_fix ... write_xaiger2: Fix output port mapping when opaque boxes are present	2025-09-17 13:56:21 +02:00
Jannis Harder	2d81726459	write_xaiger2: Fix output port mapping when opaque boxes are present	2025-09-17 13:10:04 +02:00
Robert O'Callahan	a1141f1a4c	Remove some unnecessary .c_str() calls to the result of unescape_id()	2025-09-16 23:12:14 +00:00
Robert O'Callahan	5ac6858f26	Remove .c_str() from log_cmd_error() and log_file_error() parameters	2025-09-16 22:59:08 +00:00
Martin Povišer	559209c856	abc_new: Fix PI confusion in whitebox model export	2024-12-10 14:27:29 +01:00
Martin Povišer	495a7805ec	aiger2: Support $extern: hierarchy ... `$extern:...` modules inserted by `techmap -extern` are special in the regard that they have a private ID (starting with a dollar sign) but are not an internal cell. Support those modules in xaiger export.	2024-12-10 14:27:29 +01:00
Krystine Sherwin	e634e9c26b	aiger2: Resolve warnings ... - Remove unused statics CONST_FALSE and CONST_TRUE (which appear to have been folded into the `Index` declaration as CFALSE and CTRUE). - Assign default value of EMPTY_LIT to `a` and `b` for comparison ops. - Tag debug only variables with YS_MAYBE_UNUSED, don't assign unused variables (but continue to call the function because it moves the file pointer).	2024-12-03 14:01:57 +13:00
Martin Povišer	598f6c9de9	aiger2: Fix open-coded constants	2024-10-26 08:54:01 +02:00
Martin Povišer	72f0fea9e8	aiger2: Try to fix VS build	2024-10-07 12:27:37 +02:00
Martin Povišer	47fd2b9deb	aiger2: Update help	2024-10-07 12:03:49 +02:00
Martin Povišer	373e7a1485	aiger2: Fix print	2024-10-07 12:03:49 +02:00
Martin Povišer	ebe51e206e	aiger2: Fix warnings	2024-10-07 12:03:49 +02:00
Martin Povišer	ac79a052ba	aiger2: Adjust help	2024-10-07 12:03:49 +02:00
Martin Povišer	81688e3ba2	aigsize: Remove	2024-10-07 12:03:49 +02:00
Martin Povišer	b8f389370b	aiger2: Convert x-states to zeroes	2024-10-07 12:03:48 +02:00
Martin Povišer	4c0a8a1326	aiger2: Add analysis step to order boxes	2024-10-07 12:03:48 +02:00
Martin Povišer	f7c7371ea9	aiger2: Fix relative ordering of PI/POs and box I/Os	2024-10-07 12:03:48 +02:00
Martin Povišer	d4e009fc2f	aiger2: Add TODO	2024-10-07 12:03:48 +02:00
Martin Povišer	5f8d7ff170	Start new write_xaiger2 backend for export w/ boxes	2024-09-18 16:55:02 +02:00
Martin Povišer	ea765686b6	aiger2: Adjust hierarchy/port handling	2024-09-18 16:55:02 +02:00
Martin Povišer	2a3e907da8	aiger2: Adjust typing	2024-09-18 16:42:56 +02:00
Martin Povišer	72d65063c3	aiger2: Ignore benign cells	2024-09-18 16:42:56 +02:00
Martin Povišer	6cecf19ff4	aiger2: Ingest $bmux	2024-09-18 16:42:56 +02:00
Martin Povišer	1cfb9023c4	aiger2: Use REDUCE for reduction ops	2024-09-18 16:42:56 +02:00
Martin Povišer	6c1fa45995	aiger2: Ingest $pmux	2024-09-18 16:42:56 +02:00
Martin Povišer	9db1ca83fc	aiger2: Drop empty_lit() as a function	2024-09-17 13:58:07 +02:00
Martin Povišer	dbc937b2a7	aiger2: Describe supported cells in help	2024-09-17 13:55:58 +02:00
Martin Povišer	e4b24e8200	aiger2: Fix literal typing	2024-09-17 13:55:58 +02:00
Martin Povišer	8e29675a23	aiger2: Support $bwmux, comparison operators	2024-09-17 13:55:58 +02:00
Martin Povišer	d7128cb787	aiger2: Use shorthands	2024-09-17 13:55:58 +02:00
Martin Povišer	e59387e5a9	aiger2: Add aigsize as a second user of index	2024-09-17 13:55:58 +02:00
Martin Povišer	de8a2fb936	aiger2: Fix duplicate symbols on multibit ports	2024-09-17 13:55:58 +02:00
Martin Povišer	5671c10173	aiger2: Add strashing option	2024-09-17 13:55:58 +02:00
Martin Povišer	fa39227416	aiger2: Support $pos	2024-09-17 13:55:58 +02:00
Martin Povišer	fb26945a20	Start an 'aiger2' backend	2024-09-17 13:55:58 +02:00