Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanup
authorEddie Hung <eddie@fpgeh.com>
Thu, 19 Dec 2019 17:24:03 +0000 (12:24 -0500)
committerGitHub <noreply@github.com>
Thu, 19 Dec 2019 17:24:03 +0000 (12:24 -0500)
commitdf626ee7abca3446225dac9179d7e7f380774b2c
tree548ad4c0f8492421a1f06f7f659e1759a2d3c955
parentd406f2ffd776e4f69c86a96db8e69a9aa8a1dc1c
parent91467938c477c5c668f5ea1a38fef59e2b19db5c
Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanup

Optimise write_xaiger
techlibs/ecp5/synth_ecp5.cc
techlibs/ice40/synth_ice40.cc
techlibs/xilinx/synth_xilinx.cc