21 commits

Author	SHA1	Message	Date
Jannis Harder	6d3b5aa960	Unified trace generation using yosys's sim across all engines ... Currently opt-in using the `fst` or `vcd_sim` options.	2023-01-10 18:42:26 +01:00
Claire Xenia Wolf	c29a5bbe8a	Add colors to engine header message ... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	2022-11-24 18:12:22 +01:00
Jannis Harder	a0e3dd3d9a	Fix engine_list's return value ... This fixes #216	2022-09-15 15:47:27 +02:00
Aki Van Ness	41b4ce5a7e	sby: fixed issue where engine index would be out of range	2022-08-18 05:51:03 -04:00
Aki Van Ness	637095a8ec	sby: fixed the sby task execution to accept the new engine internal layout	2022-08-18 05:36:11 -04:00
Aki Van Ness	9293081308	modified the mode runners to accept the modified engine layout in preperation for the per-mode engine sections	2022-08-18 05:36:10 -04:00
Jannis Harder	3412ea859b	New "none" engine to be used with the "make_model" option	2022-08-05 16:31:15 +02:00
Jannis Harder	b4458d43d7	Automatic engine selection	2022-06-27 15:58:42 +02:00
Jannis Harder	05d963b0df	aiger: check supported modes and aigbmc fixes	2022-06-14 17:41:06 +02:00
N. Engelhardt	7c9e5b026b	Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion. Config file tasks now correspond to SbyTasks.	2022-01-11 17:08:56 +01:00
Claire Xenia Wolf	1b3832cf92	Fixed names and links	2021-10-31 14:42:39 +01:00
piegames	2d7d48885b	Turn .format() strings into f-strings	2021-06-26 19:46:30 +02:00
N. Engelhardt	30d7c32ec6	Use .format() instead of % ... Signed-off-by: N. Engelhardt <nak@symbioticeda.com>	2020-03-25 13:09:37 +01:00
Clifford Wolf	bd4094f216	Add support for (re-)running in existing workdir ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-03-09 12:42:54 -08:00
Clifford Wolf	4c485766e2	Add btor engine ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-12-08 05:23:04 +01:00
Clifford Wolf	36c7185393	More improvements in sby error handling ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-27 16:23:57 +02:00
Clifford Wolf	a2c1dd3f91	Yices 2 is the new default solver for yosys-smtbmc	2017-05-27 12:04:43 +02:00
Clifford Wolf	be8c995e15	Improve option handling	2017-02-26 14:32:33 +01:00
Clifford Wolf	7be08218cb	Add "append" option	2017-02-26 11:08:14 +01:00
Clifford Wolf	eb83a1b90e	Add aigsmt option	2017-02-25 15:06:47 +01:00
Clifford Wolf	363273df52	Refactor engine/mode interfaces	2017-01-30 11:57:04 +01:00