MidnightBSD Maguscad/symbiyosys
SymbiYosys (sby): Front-end for Yosys-based formal verification flows
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Build | Fetch | Test | Scan | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 0.63_1 | 649 | 4.1 | amd64 | iscl | 0 | untested | pass | untested | untested |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Phase | Type | Time | Message |
|---|---|---|---|---|
| m4164b | fetch | info | 2026-10-22 01:12:41.396332 | Fetch Started |
| m4164b | fetch | pass | 2026-10-22 01:12:42.989239 | Fetch complete. |
Links
Depends On
- devel/gmake (build)
- lang/python312 (build)
- cad/yosys (run)
- lang/python312 (run)
- lang/python312 (test)
Depend Of
Categories
CVEs
- Loading CVE information...