gpo.zugaina.org

Search Portage & Overlays:

sci-electronics/sby

Front-end for Yosys-based formal hardware verification flows

Screenshots

  • sby-0.66
    ~amd64
    test yices2 python_single_target_python3_12 python_single_target_python3_13 python_single_target_python3_14

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

    View      Download      Browse     License: ISC   
    Overlay: vowstar

ChangeLog

commit fad676d982f58abdf901bc4defcb096b5fe4cae7
Author: Huang Rui <vowstar@gmail.com>
Date: Fri Jul 3 07:07:27 2026 -0700

sci-electronics/sby: drop py3.11

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

commit 49e920a0aa5c41c2cf024109340840456b993c18
Author: Huang Rui <vowstar@gmail.com>
Date: Fri Jul 3 06:59:54 2026 -0700

sci-electronics/sby: drop 0.64

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

commit dd5ffdd08d9d91ec3d6388825fd00906634e0ff4
Author: Huang Rui <vowstar@gmail.com>
Date: Fri Jul 3 00:46:57 2026 -0700

sci-electronics/sby: add 0.66, drop 0.65

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

commit 3b85e81bb067f80623383c7d642081f45d4e3e39
Author: Huang Rui <vowstar@gmail.com>
Date: Mon May 25 12:30:22 2026 +0800

sci-electronics/sby: add 0.65

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

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>