Jannis Harder 90669ab4eb aiger2: Only fail for reachable undirected bufnorm helper cells ... The aiger2 backend checks for unsupported cells during indexing. This causes it to fail when `$connect` or `$tribuf` (as workaround for missing 'z-$buf support) cells are present in the module. Since bufnorm adds these cells automatically, it is very easy to end up with them due to unconnected wires or e.g. `$specify` cells, which do not pose an actual problem for the backend, since it will never encounter those during a traversal. With this, we ignore them during indexing and only produce an actual error message if we reach such a cell during the traversal.		2025-09-29 08:21:28 +02:00
..
aiger.cc	aiger2: Only fail for reachable undirected bufnorm helper cells	2025-09-29 08:21:28 +02:00
Makefile.inc	Start an 'aiger2' backend	2024-09-17 13:55:58 +02:00