Merge pull request #1947 from whitequark/cxxrtl-usability
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Apr 2020 21:28:13 +0000 (21:28 +0000)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 21:28:13 +0000 (21:28 +0000)
commitb4b2345a10babf055e01db0a3d91b51c3f79e3bf
treea9e491030d5cc8404a53ac76be3fc501eeac881d
parent8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334
parent06c0338f2c19ca50675f3928de7fa19b05d304c4
Merge pull request #1947 from whitequark/cxxrtl-usability

cxxrtl: minor documentation and usability improvements