Merge remote-tracking branch 'origin/master' into xaig

diff --cc CHANGELOG
index 73115600cd67f4720599a4f843620a280ebd67b5,4d0c31e286cc2d392c588705d474649b85ef777a..c280f4f123a72d3c351f910274243b7ec11cfced
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -22,11 -22,7 +22,12 @@@ Yosys 0.8 .. Yosys 0.8-de
      - Added "muxcover -dmux=<cost>"
      - Added "muxcover -nopartial"
      - Added "muxpack" pass
+     - Added "pmux2shiftx -norange"
 +    - Added "write_xaiger" backend
 +    - Added "abc9" pass for timing-aware techmapping (experimental, FPGA only, no FFs)
 +    - Added "synth_xilinx -abc9" (experimental)
 +    - Added "synth_ice40 -abc9" (experimental)
 +    - Added "synth -abc9" (experimental)
      - "synth_xilinx" to now infer hard shift registers (-nosrl to disable)
      - Fixed sign extension of unsized constants with 'bx and 'bz MSB