diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2020-08-26 13:26:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-26 13:26:34 +0200 |
| commit | 4f2b78e19af3a2d342efe9780e220282b7a3a046 (patch) | |
| tree | c98b58fe5739f08691211b0c593792feba3d737c /kernel/yosys.cc | |
| parent | 08a226c9e728557f8b8c970a3a25b55ba5fc00cf (diff) | |
| parent | fe8226a22d6f4030a525a6792a6188817571718b (diff) | |
| download | yosys-4f2b78e19af3a2d342efe9780e220282b7a3a046.tar.gz yosys-4f2b78e19af3a2d342efe9780e220282b7a3a046.tar.bz2 yosys-4f2b78e19af3a2d342efe9780e220282b7a3a046.zip | |
Merge pull request #2355 from YosysHQ/verific_improvements
Add formal apps and template generators
Diffstat (limited to 'kernel/yosys.cc')
0 files changed, 0 insertions, 0 deletions