Merge pull request #866 from YosysHQ/clifford/idstuff
authorClifford Wolf <clifford@clifford.at>
Tue, 12 Mar 2019 19:27:36 +0000 (20:27 +0100)
committerGitHub <noreply@github.com>
Tue, 12 Mar 2019 19:27:36 +0000 (20:27 +0100)
commitac10f72e49d87ccca82207eceee6c2aadb01820d
tree784d8716d4fe4ffe221eb8ae5bc6e702614b7b66
parentef48b62cb1206a3b72c00735fe817683ccf0f005
parent20c6a8c9b0abb384517c4cc6f58cd29a90bda6ff
Merge pull request #866 from YosysHQ/clifford/idstuff

Improve determinism of IdString DB for similar scripts