Merge branch 'master' into eddie/muxpack

diff --cc CHANGELOG
index e67d9c9032bf06db4b2a38cac486fbd380c43da5,839fefcf1d0b57888408eb5dc20bc8dae561733f..db7e14957ee86240b94a1bb7b4823f880a4738da
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -16,7 -16,7 +16,8 @@@ Yosys 0.8 .. Yosys 0.8-de
      - Added "gate2lut.v" techmap rule
      - Added "rename -src"
      - Added "equiv_opt" pass
+     - Added "read_aiger" frontend
 +    - Added "muxpack" pass
      - "synth_xilinx" to now infer hard shift registers, using new "shregmap -tech xilinx"