Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig

author Eddie Hung <eddie@fpgeh.com>

Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)

committer Eddie Hung <eddie@fpgeh.com>

Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)
author Eddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)
committer Eddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)
diff --cc backends/aiger/xaiger.cc
Simple merge
diff --cc passes/techmap/abc9.cc
Simple merge
author	Eddie Hung <eddie@fpgeh.com>
	Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)
committer	Eddie Hung <eddie@fpgeh.com>
	Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)
		1	2
backends/aiger/xaiger.cc	patch \|	diff1 \|	diff2 \|	blob \| history
passes/techmap/abc9.cc	patch \|	diff1 \|	diff2 \|	blob \| history