Merge pull request #1955 from whitequark/cxxrtl-sync_always
authorwhitequark <whitequark@whitequark.org>
Fri, 17 Apr 2020 21:36:59 +0000 (21:36 +0000)
committerGitHub <noreply@github.com>
Fri, 17 Apr 2020 21:36:59 +0000 (21:36 +0000)
commitd42530b7bba58d2f4c0b435b7c2d6ece5941e0e3
treef7caafcfa65ac31863def384bd6c804a8c846382
parent67fbc00a1824aafb2af2e7c4b7a9590c7bc718fa
parente7ad209b15490c512049310643fdf137a4be1687
Merge pull request #1955 from whitequark/cxxrtl-sync_always

cxxrtl: correctly handle `sync always` rules