Merge remote-tracking branch 'origin/master' into eddie/synth_xilinx

diff --cc CHANGELOG
index b82a62495c48dd979b29df1b2899364aa604ed0b,291c8d249d0a752e1ed219b9ea689d41b95c1703..3bcb71b22a2c741dbda42beae8f605f8cfaf26a4
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -14,11 -14,14 +14,18 @@@ Yosys 0.9 .. Yosys 0.9-de
      - Added "synth -abc9" (experimental)
      - Added "script -scriptwire
      - "synth_xilinx" to now infer wide multiplexers (-widemux <min> to enable)
- 
 +    - Renamed labels/options in synth_ice40 (e.g. dram -> map_lutram; -nodram -> -nolutram)
 +    - Renamed labels/options in synth_ecp5 (e.g. dram -> map_lutram; -nodram -> -nolutram)
 +    - Renamed labels in synth_intel (e.g. bram -> map_bram)
 +    - Renamed labels/options in synth_xilinx (e.g. dram -> map_lutram; -nodram -> -nolutram)
+     - Added automatic gzip decompression for frontends
+     - Added $_NMUX_ cell type
+     - Added automatic gzip compression (based on filename extension) for backends
+     - Improve attribute and parameter encoding in JSON to avoid ambiguities between
+       bit vectors and strings containing [01xz]*
+     - Added "opt_share" pass, run as part of "opt -full"
+     - Added "ice40_wrapcarry" to encapsulate SB_LUT+SB_CARRY pairs for techmapping
+     - Removed "ice40_unlut"
  
  Yosys 0.8 .. Yosys 0.8-dev
  --------------------------

diff --cc techlibs/xilinx/synth_xilinx.cc
Simple merge