Revert "Optimise write_xaiger"
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 20 Dec 2019 20:05:45 +0000 (12:05 -0800)
committerGitHub <noreply@github.com>
Fri, 20 Dec 2019 20:05:45 +0000 (12:05 -0800)
commit10e82e103f7b95d5a50d2ac85bc8e07e4461e388
tree3332182623313ac4aedc9c28adf4deb3a6fc70d6
parent319cba70d37eafdb8bbd3ddf6a0f9c238d53d0c2
Revert "Optimise write_xaiger"
backends/aiger/xaiger.cc
techlibs/ecp5/synth_ecp5.cc
techlibs/ice40/synth_ice40.cc
techlibs/xilinx/synth_xilinx.cc