diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-03-12 20:27:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-12 20:27:36 +0100 |
commit | ac10f72e49d87ccca82207eceee6c2aadb01820d (patch) | |
tree | 784d8716d4fe4ffe221eb8ae5bc6e702614b7b66 /Makefile | |
parent | ef48b62cb1206a3b72c00735fe817683ccf0f005 (diff) | |
parent | 20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff (diff) | |
download | yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.tar.gz yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.tar.bz2 yosys-ac10f72e49d87ccca82207eceee6c2aadb01820d.zip |
Merge pull request #866 from YosysHQ/clifford/idstuff
Improve determinism of IdString DB for similar scripts
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions