Add formal apps and template generators
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 26 Aug 2020 08:39:57 +0000 (10:39 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 26 Aug 2020 08:39:57 +0000 (10:39 +0200)
commitfe8226a22d6f4030a525a6792a6188817571718b
tree3aae0793a300b97aa3c4505e8a8c519bf23e59de
parent12132b6850747aec99715fdfa3184fe3ebefa015
Add formal apps and template generators
frontends/verific/verific.cc