Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install sby

local Homebrew formula metadata

Linux

Nixverifiziert · 92%

nix profile install nixpkgs#sby

nixpkgs package indexes · pkgs/by-name/sb/sby/package.nix · Quelle: api.github.com

Überblick

Paketzusammenfassung

Front-end for Yosys-based formal verification flows

Projektlinks

Befehle und Aliase

sby

Sicherheitslage

Noch keine Protected-Tool-Abdeckung gefunden

Für sby wurde kein passendes lokales Secret-Handling-Manifest gefunden. Nucleus-Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 1 Plattformziele verfügbar.
Installiert mit 2 Laufzeitabhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

local files

Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.

Configuration files

Config paths the tool may read or write during local use.

Unix: *.sby

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`sby`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-10

Manager-Version0.67

Manager aktualisiert2026-07-09

lokale DatenOK

Upstreamaktuell

neueste erkannte Versionv0.67

https://github.com/YosysHQ/sby

OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:sby
Version	0.67
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/sby
Homepage	https://symbiyosys.readthedocs.io/en/latest/
Repository	https://github.com/YosysHQ/sby
Upstream-Dokumentation	https://symbiyosys.readthedocs.io/en/latest
Lizenz	ISC
Quellarchiv	https://github.com/YosysHQ/sby/archive/refs/tags/v0.67.tar.gz
Zuletzt aktualisiert	2026-07-09T14:27:06Z
Pulse	updated
Abhängigkeiten	python@3.14, yosys
Bottle	verfügbar (auf all)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	sby
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

sby

nix profile install nixpkgs#sby

normalized package name match
Abgeglichen nach: Sby

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sb/sby/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/sby.yml

Verwendete Quellen

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated configuration and credential file locations
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

sby mit Homebrew, Nix installieren