projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 78b30bb e4a0971)
Merge pull request #1288 from YosysHQ/eddie/fix_1284
authorEddie Hung <eddie@fpgeh.com>
Tue, 13 Aug 2019 16:06:11 +0000 (09:06 -0700)
committerGitHub <noreply@github.com>
Tue, 13 Aug 2019 16:06:11 +0000 (09:06 -0700)
Since $_ANDNOT_ is not symmetric, do not sort leaves


Trivial merge