Merge pull request #2355 from YosysHQ/verific_improvements
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 26 Aug 2020 11:26:34 +0000 (13:26 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Aug 2020 11:26:34 +0000 (13:26 +0200)
commit4f2b78e19af3a2d342efe9780e220282b7a3a046
treec98b58fe5739f08691211b0c593792feba3d737c
parent08a226c9e728557f8b8c970a3a25b55ba5fc00cf
parentfe8226a22d6f4030a525a6792a6188817571718b
Merge pull request #2355 from YosysHQ/verific_improvements

Add formal apps and template generators