xaiger: always sort input/output bits by port id
authorEddie Hung <eddie@fpgeh.com>
Wed, 15 Apr 2020 23:16:30 +0000 (16:16 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commit4c6647a4693838978354183d5553717fa2d97a48
tree45d3a43a9eef1785b33b8bda2af416780424f9bd
parentec4bbb1444b24d36c03a6635738e34b652e5aa1b
xaiger: always sort input/output bits by port id

redundant for normal design, but necessary for holes
backends/aiger/xaiger.cc