Merge pull request #1761 from YosysHQ/eddie/opt_merge_speedup
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Mar 2020 21:50:32 +0000 (14:50 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Mar 2020 21:50:32 +0000 (14:50 -0700)
commit1bb5a5215fc3e1e84af3cb77bb26cc5705ab7837
treed5c81a98367cb0509ac1726d3599162e5e24dda2
parent05f74d4f315eab0fa0c7e83627482f5160113ba5
parentcdf17c445525c0f665473dfcf342a5a1ecac2c6b
Merge pull request #1761 from YosysHQ/eddie/opt_merge_speedup

opt_merge: speedup