cad/symbiyosys
SymbiYosys (sby): Front-end for Yosys-based formal verification flows
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Build | Fetch | Test | Scan | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 0.63 | 641 | 4.0 | i386 | iscl | 0 | pass | pass | pass | pass | Reset Port |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Phase | Type | Time | Message |
|---|---|---|---|---|
| m4032 | fetch | info | 2026-06-02 22:18:08.834378 | Fetch Started |
| m4032 | fetch | pass | 2026-06-02 22:18:10.867606 | Fetch complete. |
| m4032b | scan | info | 2026-06-09 06:17:06.688621 | Scan Started |
| m4032b | scan | info | 2026-06-09 06:17:28.583022 | Virus scan passed. |
| m4032b | scan | pass | 2026-06-09 06:17:28.591833 | Scan complete. |
| m4032 | test | info | 2026-06-11 17:29:07.572649 | Test Started |
| m4032 | test | pass | 2026-06-11 17:29:52.85134 | Test complete. |
| m4032b | build | info | 2026-06-08 06:10:17.261671 | Build Started |
| m4032b | build | pass | 2026-06-08 06:11:10.163332 | Build complete. |
scan Log
/mnt/magus/packages/641/symbiyosys-0.63.mport: OK
Links
Depends On
- devel/gmake (build)
- lang/python311 (build)
- cad/yosys (run)
- lang/python311 (run)
- lang/python311 (test)
Depend Of
Categories
CVEs
- Loading CVE information...
MidnightBSD Magus