9 commits

Author	SHA1	Message	Date
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	180e07f9c4	add btor cover mode; use btorsim for vcd generation ... Signed-off-by: N. Engelhardt <nak@symbioticeda.com>	2020-03-30 21:24:06 +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	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	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	ad4c0f2198	Add "cover" mode	2017-02-05 15:44:01 +01:00