Merge pull request #1422 from YosysHQ/eddie/aigmap_select
authorClifford Wolf <clifford@clifford.at>
Thu, 3 Oct 2019 09:54:04 +0000 (11:54 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 09:54:04 +0000 (11:54 +0200)
Add -select option to aigmap


Trivial merge