projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8474c5b 8c2b4f0)
Merge pull request #1414 from hzeller/improve-replace-with-empty-map
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Sep 2019 02:35:23 +0000 (19:35 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 02:35:23 +0000 (19:35 -0700)
Avoid work in replace() if rules empty.


Trivial merge