projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bbde241 7f9ecdd)
Merge pull request #2010 from YosysHQ/claire/fixopt
authorClaire Wolf <clifford@clifford.at>
Sat, 2 May 2020 09:20:02 +0000 (11:20 +0200)
committerGitHub <noreply@github.com>
Sat, 2 May 2020 09:20:02 +0000 (11:20 +0200)
Fix "opt_expr -fine" bug introduced in 213a89558


Trivial merge