{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["cad","haskell"],"comment":"Verilog fuzzer","compare":null,"dependentCount":null,"description":"verismith is a Verilog fuzzer to test the major simulators and sythesisers\nby generating random, valid Verilog.","flavors":[],"html":"https://daemonports.org/dragonfly/cad/hs-verismith/","kind":"port","lastUpdate":null,"license":["GPLv3"],"maintainer":"yuri@FreeBSD.org","name":"hs-verismith","newest":false,"newestVersion":"1.1.0","noVulnData":false,"origin":"cad/hs-verismith","otherSystems":[{"maintainer":"yuri@FreeBSD.org","newest":true,"origin":"cad/hs-verismith","path":"/cad/hs-verismith/","system":"FreeBSD","updated":"2026-10-10","version":"1.1.0_2"},{"maintainer":"ports@MidnightBSD.org","newest":true,"noVulnData":true,"origin":"cad/hs-verismith","path":"/midnightbsd/cad/hs-verismith/","system":"MidnightBSD","updated":"2026-10-02","version":"1.1.0_2"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"cad/hs-verismith","path":"","system":"HardenedBSD","version":"1.1.0_2"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"cad/hs-verismith","path":"","system":"GhostBSD","version":"1.1.0_2"}],"packages":null,"pkgName":"hs-verismith-1.0.0.2.40","related":null,"repository":"DPorts","requiredBy":[],"requiredByCount":0,"runDepends":["devel/libffi","math/gmp"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"1.0.0.2.40","versions":null,"vulnerabilities":null,"www":"https://github.com/ymherklotz/verismith/"}