aiger2: add TODO

This commit is contained in:
Emil J. Tywoniak 2025-11-26 00:14:12 +01:00
parent 52d8a3e0cd
commit 6cd7c5131a
1 changed files with 2 additions and 0 deletions

View File

@ -44,6 +44,8 @@ PRIVATE_NAMESPACE_BEGIN
// TODO
//#define ARITH_OPS ID($add), ID($sub), ID($neg)
// TODO convert to newcelltypes
#define KNOWN_OPS BITWISE_OPS, REDUCE_OPS, LOGIC_OPS, GATE_OPS, ID($pos), CMP_OPS, \
ID($pmux), ID($bmux) /*, ARITH_OPS*/