Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
authorEddie Hung <eddie@fpgeh.com>
Mon, 27 Apr 2020 18:12:17 +0000 (11:12 -0700)
committerGitHub <noreply@github.com>
Mon, 27 Apr 2020 18:12:17 +0000 (11:12 -0700)
commiteabc00de8b42ba541b2f45a7677746984067b77b
tree7277ef3c7575d958efe7c6e9525fe971b021fa58
parent868b6b1b0dfa7ca1f10392678d7c3c29db37c60d
parent56dd036b97858077945939e72972621ba722f8e3
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help

bugpoint: improve help text
kernel/constids.inc