From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 15 Jan 2020 19:26:11 +0000 (-0800)
Subject: Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
X-Git-Tag: working-ls180~822^2~6
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=38aa248385537fcea76d3396c31bbc17f6871972;p=yosys.git

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
---

38aa248385537fcea76d3396c31bbc17f6871972
diff --cc backends/aiger/xaiger.cc
index 66ddbde33,a9b75ecc7..71b652412
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@@ -234,7 -234,7 +234,8 @@@ struct XAigerWrite
  							box_list.resize(abc9_box_seq+1);
  						box_list[abc9_box_seq] = cell;
  						// Only flop boxes may have arrival times
 +						//   (all others are combinatorial)
+ 						abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
  						if (!abc9_flop)
  							continue;
  					}