projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 75a4cdf b59c427)
Merge pull request #2973 from YosysHQ/micko/optional_extensions
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 20 Aug 2021 14:09:55 +0000 (16:09 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Aug 2021 14:09:55 +0000 (16:09 +0200)
Make Verific extensions optional


Trivial merge