diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 20:30:24 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 20:30:24 -0700 |
| commit | fb8fab4a29e5a3978cadf2b1bd8920b772150028 (patch) | |
| tree | 32eddc4787f0b4ee17a8dd6473c27bd5cac9cf7e /libs/minisat/Solver.cc | |
| parent | e01bab6c6437f7e3072e10beaec558d3f71c3e9e (diff) | |
| download | yosys-fb8fab4a29e5a3978cadf2b1bd8920b772150028.tar.gz yosys-fb8fab4a29e5a3978cadf2b1bd8920b772150028.tar.bz2 yosys-fb8fab4a29e5a3978cadf2b1bd8920b772150028.zip | |
Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG
Diffstat (limited to 'libs/minisat/Solver.cc')
0 files changed, 0 insertions, 0 deletions