Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
authorEddie Hung <eddie@fpgeh.com>
Wed, 26 Jun 2019 17:10:16 +0000 (10:10 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 26 Jun 2019 17:10:16 +0000 (10:10 -0700)

Trivial merge