Krystine Sherwin a64f29de6c Add note to bad schema exception ... Requires python >= 3.11 (oss-cad-suite is 3.11.6, but there isn't any minimum python version given for SBY that I can find). Makes the error less opaque (even though it still has the trace), which I think is necessary given that using the status db is totally optional and otherwise using a different version of SBY with an extra db field in a directory where a previous version has run will just crash with an obscure sqlite3.OperationalError.		2025-07-08 15:44:02 +12:00
..
sby.py	Test status db schema	2025-07-08 15:44:01 +12:00
sby_autotune.py	Initial support for a multi-task property status database	2024-02-20 13:34:58 +01:00
sby_cmdline.py	Support rIC3 as backend	2024-12-16 11:02:45 +00:00
sby_core.py	Add cover_assert option	2025-07-05 11:17:05 +12:00
sby_design.py	fix lookup of mangled path names	2024-10-16 13:56:36 +02:00
sby_engine_abc.py	abc: Support arbitrary prep abc commands	2024-04-19 16:40:30 +02:00
sby_engine_aiger.py	feat(sby_engine_aiger): add rIC3 support for BMC mode	2025-03-18 16:06:16 +08:00
sby_engine_btor.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_engine_smtbmc.py	Don't fail cover props on failed assert	2025-07-05 12:53:54 +12:00
sby_jobserver.py	Fix deadlock with parallel SBY procs each with parallel tasks	2023-07-17 15:29:17 +02:00
sby_mode_bmc.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_mode_cover.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_mode_live.py	Add colors to engine header message	2022-11-24 18:12:22 +01:00
sby_mode_prove.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_sim.py	smtbmc: Use new -noinitstate option when simulating inductive cex	2023-09-28 17:38:15 +02:00
sby_status.py	Add note to bad schema exception	2025-07-08 15:44:02 +12:00