diff options
| author | clairexen <claire@symbioticeda.com> | 2020-05-25 15:50:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-25 15:50:18 +0200 |
| commit | ae11156c90eec958cd9ab631a28c41eccc105e56 (patch) | |
| tree | 274a44b5e17856a7f357600f9c0cfaa02dea3e7a /passes/techmap/insbuf.cc | |
| parent | 89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f (diff) | |
| parent | ac41f8a9c7a89c176867dc217eb81bffa7c1aced (diff) | |
| download | yosys-ae11156c90eec958cd9ab631a28c41eccc105e56.tar.gz yosys-ae11156c90eec958cd9ab631a28c41eccc105e56.tar.bz2 yosys-ae11156c90eec958cd9ab631a28c41eccc105e56.zip | |
Merge pull request #2015 from boqwxp/qbfsat-bisection
qbfsat: Add an iterative bisection optimization method and make it the default.
Diffstat (limited to 'passes/techmap/insbuf.cc')
0 files changed, 0 insertions, 0 deletions