gpo.zugaina.org

Search Portage & Overlays:

sci-electronics/sby

Front-end for Yosys-based formal hardware verification flows

Screenshots

  • sby-0.64
    ~amd64
    test yices2 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14

    View      Download      Browse     License: ISC   
    Overlay: guru
  • sby-0.64
    ~amd64
    test yices2 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14

    View      Download      Browse     License: ISC   
    Overlay: vowstar

ChangeLog

commit 8fe124fe36b506b0c5a9190717a760e58fa1c4ed
Author: Huang Rui <vowstar@gmail.com>
Date: Wed Apr 22 12:11:49 2026 +0800

sci-electronics/sby: add 0.64, drop 0.63

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 68fbddeaec33c84681344a53d9ce231bc2df3348
Author: David Roman <davidroman96@gmail.com>
Date: Mon Mar 9 00:12:27 2026 +0100

*/*: drop py3.11 & remove dead py impls

Part-of: https://github.com/gentoo/guru/pull/447
Closes: https://github.com/gentoo/guru/pull/447
Signed-off-by: David Roman <stkw0@disroot.org>

commit 2568eda604845ae73b248d8016236e1f22e7bb09
Author: Huang Rui <vowstar@gmail.com>
Date: Thu Mar 5 17:41:08 2026 +0800

sci-electronics/sby: add 0.63, drop 0.62

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 5f70821648d0343f43e7c78513187d5af8cc8aa6
Author: Huang Rui <vowstar@gmail.com>
Date: Tue Mar 3 18:04:12 2026 +0800

sci-electronics/sby: add 0.62, drop 0.61

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit f655f77c1b943ca88b66f0014af7a5e0351c8dfb
Author: Huang Rui <vowstar@gmail.com>
Date: Wed Jan 14 18:18:30 2026 +0800

sci-electronics/sby: add 0.61, drop 0.60

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 423f66557034c4bddcf311162390ea6253232e61
Author: Huang Rui <vowstar@gmail.com>
Date: Sat Dec 6 20:35:35 2025 +0800

sci-electronics/sby: new package, add 0.60

Signed-off-by: Huang Rui <vowstar@gmail.com>