27 commits

Author	SHA1	Message	Date
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