diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-05-23 13:52:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-23 13:52:48 +0200 |
| commit | ca4694735455512162da1d4a24429ecf350a8abe (patch) | |
| tree | c6fedad5bdc78092607216fd95f4d1965ce23080 /.clang-format | |
| parent | 5c164d0863078779fd27aefa665b5e6e457ca39b (diff) | |
| parent | f0ff31ceea6101cd59ebc6bdff2f253dbbeb06d8 (diff) | |
| download | yosys-ca4694735455512162da1d4a24429ecf350a8abe.tar.gz yosys-ca4694735455512162da1d4a24429ecf350a8abe.tar.bz2 yosys-ca4694735455512162da1d4a24429ecf350a8abe.zip | |
Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
Optimize numberOfPermutations
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions