diff options
| author | Arjen Roodselaar <arjen@fb.com> | 2018-11-04 21:58:09 -0800 |
|---|---|---|
| committer | Arjen Roodselaar <arjen@fb.com> | 2018-11-04 21:58:09 -0800 |
| commit | 2b935421718c9a8d8f2183d9cb4a4973c078bcfa (patch) | |
| tree | b0dc299184f7b654eafb2052fec6e13aa60076c6 /.github | |
| parent | 36ea98385f30107369479d2e682c544863c4f1af (diff) | |
| download | yosys-2b935421718c9a8d8f2183d9cb4a4973c078bcfa.tar.gz yosys-2b935421718c9a8d8f2183d9cb4a4973c078bcfa.tar.bz2 yosys-2b935421718c9a8d8f2183d9cb4a4973c078bcfa.zip | |
Use conservative stack size for SMT2 on MacOS
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions