projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 19d6b88 0e12851)
Merge pull request #1294 from YosysHQ/revert-1288-eddie/fix_1284
authorEddie Hung <eddie@fpgeh.com>
Wed, 14 Aug 2019 17:42:18 +0000 (10:42 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Aug 2019 17:42:18 +0000 (10:42 -0700)
Revert "Since $_ANDNOT_ is not symmetric, do not sort leaves"


Trivial merge