projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c403c98) | patch
extend verific library API for formal apps and generators
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 12 Oct 2020 12:56:15 +0000 (14:56 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 12 Oct 2020 12:56:15 +0000 (14:56 +0200)
commitc8f052bbe0526cae6ca88291a484d8945e2b00dd
treed0e76e38d3a7bfa5734420eb38fcfb69d6a30874tree
parentc403c984dd4a977c5d5031b1a903096c02da3e67commit | diff
extend verific library API for formal apps and generators
frontends/verific/verific.cc diff | blob | history