Merge pull request #1929 from YosysHQ/eddie/select_unset
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Apr 2020 22:09:25 +0000 (22:09 +0000)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 22:09:25 +0000 (22:09 +0000)
commit31e3e52988827b8a36aa312f003742cef0cc1e65
tree4078ccb09d084911152d6e0cc5e7b4da1e027fc6
parentb4b2345a10babf055e01db0a3d91b51c3f79e3bf
parent2623e335cc54d652b874c1e4ced27788db0e9694
Merge pull request #1929 from YosysHQ/eddie/select_unset

select: add select -unset option