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)
commit0e05424885f569f34dd68b70a50a4488ce21c99e
tree6a1fd9e87eb7859a406e4e5976aa9438a0b12a3a
parentafdc990595245a7a070d4d9c39464d88582dc4f6
parent8b239ee707a2bf4a868728046d7f64c16d74aa2a
Merge pull request #1422 from YosysHQ/eddie/aigmap_select

Add -select option to aigmap