Merge pull request #1258 from YosysHQ/eddie/cleanup

Cleanup a few barnacles across codebase

diff --cc backends/aiger/xaiger.cc
Simple merge

diff --cc backends/firrtl/firrtl.cc
Simple merge

diff --cc frontends/aiger/aigerparse.cc
index f8ac2724f7ac28decf419ca2c9c7f70ceb6934df,4ecd019932148f13d9478c29afe9d6042e6841fb..bd0596cc04460155769595e006e6e5a56d2cd942
--- 1/frontends/aiger/aigerparse.cc
--- 2/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@@ -372,8 -371,23 +372,8 @@@ void AigerReader::parse_xaiger(const di
  
        RTLIL::Wire* n0 = module->wire("\\__0__");
        if (n0)
-               module->connect(n0, RTLIL::S0);
+               module->connect(n0, State::S0);
  
 -      dict<int,IdString> box_lookup;
 -      for (auto m : design->modules()) {
 -              auto it = m->attributes.find("\\abc_box_id");
 -              if (it == m->attributes.end())
 -                      continue;
 -              if (m->name.begins_with("$paramod"))
 -                      continue;
 -              auto id = it->second.as_int();
 -              auto r = box_lookup.insert(std::make_pair(id, m->name));
 -              if (!r.second)
 -                      log_error("Module '%s' has the same abc_box_id = %d value as '%s'.\n",
 -                                      log_id(m), id, log_id(r.first->second));
 -              log_assert(r.second);
 -      }
 -
        // Parse footer (symbol table, comments, etc.)
        std::string s;
        bool comment_seen = false;

diff --cc frontends/ast/ast.cc
Simple merge

diff --cc frontends/verific/verific.cc
Simple merge

diff --cc kernel/celltypes.h
Simple merge

diff --cc passes/techmap/abc.cc
Simple merge

diff --cc passes/techmap/abc9.cc
Simple merge

diff --cc techlibs/ice40/synth_ice40.cc
Simple merge