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

diff --cc CHANGELOG
index 8b93051ea0bc0f34827bc4303a01ea7c38854ab0,128f6c6ff546ff50c3345fec35fef37796fbb48a..8c88a7db8f53954ba094263effe83ec9bdb904ad
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -17,9 -17,11 +17,12 @@@ Yosys 0.8 .. Yosys 0.8-de
      - Added "rename -src"
      - Added "equiv_opt" pass
      - Added "read_aiger" frontend
-     - Extended "muxcover -mux{4,8,16}=<cost>"
+     - Added "muxcover -mux{4,8,16}=<cost>"
+     - Added "muxcover -dmux=<cost>"
+     - Added "muxcover -nopartial"
 +    - Added "muxpack" pass
      - "synth_xilinx" to now infer hard shift registers, using new "shregmap -tech xilinx"
+     - Fixed sign extension of unsized constants with 'bx and 'bz MSB
  
  
  Yosys 0.7 .. Yosys 0.8