BSD Portscad/hs-verismith 1.0.0.2.40 DragonFly
Verilog fuzzer
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- GPLv3
- Categories
- cad, haskell
- Package size
- 5380.1 KiB, 39454.8 KiB installed
Description
verismith is a Verilog fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
In the other systems
The newest version among them is 1.1.0, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| DragonFly | cad/hs-verismith | 1.0.0.2.40 | none known | - | [email protected] | - |
| FreeBSD | cad/hs-verismith | 1.1.0_2 newest | none known | - | [email protected] | 2026-10-10 |
| MidnightBSD | cad/hs-verismith | 1.1.0_2 newest | no data | - | [email protected] | 2026-10-02 |
| HardenedBSD | cad/hs-verismith | 1.1.0_2 newest | no data | - | [email protected] | - |
| GhostBSD | cad/hs-verismith | 1.1.0_2 newest | no data | - | [email protected] | - |
Install
Binary package:
pkg install hs-verismithFrom DPorts:
cd /usr/dports/cad/hs-verismith && make install cleanDependencies
Run dependencies 2
No port depends on this one.