projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d5e2061 9f265df)
Merge pull request #1833 from boqwxp/cleanup_sat_freduce
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Mar 2020 18:13:06 +0000 (11:13 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Mar 2020 18:13:06 +0000 (11:13 -0700)
Clean up pseudo-private member usage in `passes/sat/freduce.cc`.


Trivial merge