Merge pull request #1971 from YosysHQ/claire/edifkeep
authorClaire Wolf <clifford@clifford.at>
Tue, 21 Apr 2020 17:04:55 +0000 (19:04 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Apr 2020 17:04:55 +0000 (19:04 +0200)
commita6f9e28680c2700f903ffdaa837525b71708aa16
tree4e9ab4271ab8044d0f5e2cc1a7a6ddbd0dc88022
parent9e1afde7a02e6d3a65c106f74920dcad9e678a04
parent27506d2aeb0eadac8dd110f1723b93feb583ef46
Merge pull request #1971 from YosysHQ/claire/edifkeep

Ignore conflicting keep attributes, unless asked not to