Jannis Harder 7824460e27 Initial support for the new smtbmc --keep-going option ... So far this only passes on the option and adjusts the trace_prefix to support multiple numbered traces. Further changes are needed to correctly associate individual traces with the assertions failing in that trace.		2022-03-24 16:57:16 +01:00
..
demo1.sby	Include verilog source files for demo1.sby	2020-07-21 13:01:36 +02:00
demo2.sby	Add aiger engine	2017-02-19 23:53:01 +01:00
demo3.sby	Fix syntax errors	2021-01-26 09:09:43 +01:00
sby.py	handle unreached cover properties	2022-02-07 15:29:36 +01:00
sby_core.py	add testcase for overall run result	2022-02-24 22:44:11 +01:00
sby_design.py	fix induction	2022-02-07 22:01:52 +01: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	Initial support for the new smtbmc --keep-going option	2022-03-24 16:57:16 +01: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