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


Trivial merge