projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a6ec575 fdb393b)
Merge pull request #3332 from YosysHQ/verific_f
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 23 May 2022 18:01:44 +0000 (20:01 +0200)
committerGitHub <noreply@github.com>
Mon, 23 May 2022 18:01:44 +0000 (20:01 +0200)
Update Verific command file documentation


Trivial merge