diff options
author | clairexen <claire@symbioticeda.com> | 2020-06-10 12:42:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-10 12:42:43 +0200 |
commit | a408771c62eed4252cd2a8f4ae6dd7fa75d1e696 (patch) | |
tree | b9974c0f5b93951ebd6f245d30a713ef09741b22 /backends | |
parent | 5c426d2bff07825042b0fa0449805ea9cb8b9f58 (diff) | |
parent | d6bec3ba1c81ebd123a58231f790564aa99444ff (diff) | |
download | yosys-a408771c62eed4252cd2a8f4ae6dd7fa75d1e696.tar.gz yosys-a408771c62eed4252cd2a8f4ae6dd7fa75d1e696.tar.bz2 yosys-a408771c62eed4252cd2a8f4ae6dd7fa75d1e696.zip |
Merge pull request #2139 from YosysHQ/verific_missing_memory
verific - detect missing memory to prevent crash.
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions