Merge pull request #2496 from whitequark/cxxrtl-fixes
authorwhitequark <whitequark@whitequark.org>
Mon, 21 Dec 2020 04:32:18 +0000 (04:32 +0000)
committerGitHub <noreply@github.com>
Mon, 21 Dec 2020 04:32:18 +0000 (04:32 +0000)
commita679a761b51ca67b61dc8b2c7316949b41ef9dd2
tree7edd9e357c51b398a82a77134f5d21a863986403
parentb90d51e35ddcb4b25814acac9bf6e09b4478b6ef
parentb9721bedf01ca1f536bbf13ba761333c6867bd29
Merge pull request #2496 from whitequark/cxxrtl-fixes

cxxrtl: various improvements