diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-11-07 20:16:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-07 20:16:40 +0100 |
commit | 825b4c1aa9ae5abe7484f056cc14d973bcaae378 (patch) | |
tree | f6e37def919addfd01223aba2aea808139a14ac1 /backends/intersynth | |
parent | 7bd2144d03ae5daffbcddea609d2db7df7b751a2 (diff) | |
parent | b54bf7c0f9720526dffce684ef1353b81f99547c (diff) | |
download | yosys-825b4c1aa9ae5abe7484f056cc14d973bcaae378.tar.gz yosys-825b4c1aa9ae5abe7484f056cc14d973bcaae378.tar.bz2 yosys-825b4c1aa9ae5abe7484f056cc14d973bcaae378.zip |
Merge pull request #693 from YosysHQ/rlimit
improve rlimit handling in smtio.py
Diffstat (limited to 'backends/intersynth')
0 files changed, 0 insertions, 0 deletions