Merge pull request #989 from YosysHQ/dave/abc_name_improve
authorClifford Wolf <clifford@clifford.at>
Mon, 6 May 2019 11:57:35 +0000 (13:57 +0200)
committerGitHub <noreply@github.com>
Mon, 6 May 2019 11:57:35 +0000 (13:57 +0200)
commitc0782d83901227f2c38d409ef8d84c6003269607
tree43d0817ade4261a30a0d53e36de8363dfb5b13e2
parentf02e22a35a2b23bbeefa38e68f4fd06a7a7cebc7
parenta84256aa366cd1e74de48444c136052564fdd0fe
Merge pull request #989 from YosysHQ/dave/abc_name_improve

ABC name recovery fixes