projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f6fabc8 f46ac1d)
Merge branch 'eddie/fix_sat_init' into eddie/fix1427
authorEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 01:07:38 +0000 (18:07 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 01:07:38 +0000 (18:07 -0700)

Trivial merge