Jannis Harder 499371fd39 Use the test Makefile for all examples ... * Rename and move sbysrc/demo[123].sby to docs/examples/demos * Make them use multiple tasks for multiple engines * Scan docs/examples for sby files for make test * `make ci` is now `NOSKIP` by default * Skip scripts using `verific` w/o yosys verific support * This does not fail even with NOSKIP set		2022-06-13 13:42:58 +02:00
..
sby.py	Use the test Makefile for all examples	2022-06-13 13:42:58 +02:00
sby_core.py	Add --dumptaskinfo option to output some .sby metadata as json	2022-04-11 17:44:10 +02:00
sby_design.py	junit: use write_jny instead of write_json	2022-04-06 18:35:01 +02:00
sby_engine_abc.py	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
sby_engine_aiger.py	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
sby_engine_btor.py	create only a single bad when using pono solver; workaround for #137	2022-01-12 13:18:54 +01:00
sby_engine_smtbmc.py	Prefer the first tracefile for each failing assertion	2022-03-30 13:47:14 +02:00
sby_mode_bmc.py	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
sby_mode_cover.py	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
sby_mode_live.py	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
sby_mode_prove.py	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