Hook up $aldff support in various passes.
authorMarcelina Kościelnicka <mwk@0x04.net>
Fri, 1 Oct 2021 23:23:43 +0000 (01:23 +0200)
committerMarcelina Kościelnicka <mwk@0x04.net>
Sat, 2 Oct 2021 19:01:21 +0000 (21:01 +0200)
commite7d89e653c9d295d3cc9547b83660658e4d1c95b
treea9065acd5252b3ad0271f8a198a7acbfe0921628
parentba0723cad77a327653c080da84dda9f6ef12fad1
Hook up $aldff support in various passes.
backends/btor/btor.cc
backends/cxxrtl/cxxrtl_backend.cc
backends/smt2/smt2.cc
backends/smv/smv.cc
kernel/ff.h
passes/cmds/stat.cc
passes/opt/opt_expr.cc
passes/techmap/simplemap.cc
techlibs/common/techmap.v