Jannis Harder 19109fd9f2 jobserver: Only poll non-helper-process jobserver fd when ready to read ... This avoids SBY going into a busy wait loop in that case.		2022-12-09 16:24:22 +01:00
..
sby.py	Add colors to early and late log messages	2022-11-02 12:35:11 +01:00
sby_autotune.py	Run tasks in parallel	2022-08-18 14:38:40 +02:00
sby_core.py	Add colors to early and late log messages	2022-11-02 12:35:11 +01:00
sby_design.py	sby_design: Extract total memory size and forall usage	2022-06-24 13:50:26 +02:00
sby_engine_abc.py	Add color handling via click.style and click.echo	2022-10-31 20:29:32 +01:00
sby_engine_aiger.py	Add color handling via click.style and click.echo	2022-10-31 20:29:32 +01:00
sby_engine_btor.py	Add color handling via click.style and click.echo	2022-10-31 20:29:32 +01:00
sby_engine_smtbmc.py	Add color handling via click.style and click.echo	2022-10-31 20:29:32 +01:00
sby_jobserver.py	jobserver: Only poll non-helper-process jobserver fd when ready to read	2022-12-09 16:24:22 +01:00
sby_mode_bmc.py	Add colors to engine header message	2022-11-24 18:12:22 +01:00
sby_mode_cover.py	Add colors to engine header message	2022-11-24 18:12:22 +01:00
sby_mode_live.py	Add colors to engine header message	2022-11-24 18:12:22 +01:00
sby_mode_prove.py	Add colors to engine header message	2022-11-24 18:12:22 +01:00