diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-11-05 09:19:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-05 09:19:56 +0100 |
| commit | 8f50f289b9d142828aa38a2d3338e8bf517b0258 (patch) | |
| tree | b0dc299184f7b654eafb2052fec6e13aa60076c6 /passes/techmap | |
| parent | 36ea98385f30107369479d2e682c544863c4f1af (diff) | |
| parent | 2b935421718c9a8d8f2183d9cb4a4973c078bcfa (diff) | |
| download | yosys-8f50f289b9d142828aa38a2d3338e8bf517b0258.tar.gz yosys-8f50f289b9d142828aa38a2d3338e8bf517b0258.tar.bz2 yosys-8f50f289b9d142828aa38a2d3338e8bf517b0258.zip | |
Merge pull request #691 from arjenroodselaar/stacksize
Use conservative stack size for SMT2 on MacOS
Diffstat (limited to 'passes/techmap')
0 files changed, 0 insertions, 0 deletions