Krystine Sherwin b3f2889b9e CSV tidying ... Use the same function for csv formatting during live and status reporting. Reads back the row for live reporting to get the full JOIN data. Remove unused/unnecessary arguments for setting task property status. Drop transaction wrapper from read-only db access.		2025-07-08 15:47:33 +12:00
..
sby.py	Warn on --livecsv in --status* block	2025-07-08 15:47:32 +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	Add --statuscsv	2025-07-08 15:47:32 +12:00
sby_core.py	CSV tidying	2025-07-08 15:47:33 +12:00
sby_design.py	Add kind to csv (and database)	2025-07-08 15:47:32 +12:00
sby_engine_abc.py	More status tracking unification	2025-07-08 15:47:33 +12:00
sby_engine_aiger.py	More status tracking unification	2025-07-08 15:47:33 +12:00
sby_engine_btor.py	More status tracking unification	2025-07-08 15:47:33 +12:00
sby_engine_smtbmc.py	More status tracking unification	2025-07-08 15:47:33 +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	CSV tidying	2025-07-08 15:47:33 +12:00