13 commits

Author	SHA1	Message	Date
Jannis Harder	c8800ecd34	allow running SBY tests with an external examples directory	2025-04-28 16:13:30 +02:00
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
Clifford Wolf	59f4f29fdc	Fix quickstart demo to work with verific ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-18 10:30:04 +02:00
Clifford Wolf	2fef25f93d	Fixed bug in examples/quickstart/demo.sv ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-07-26 14:19:04 +02:00
Clifford Wolf	2fa29974dd	Update remaining quickstart examples ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-06-29 18:21:38 +02:00
Clifford Wolf	45a11da8ea	Update quickstart demo ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-06-29 10:05:52 +02:00
Clifford Wolf	404f8de16d	Update documentation	2017-02-19 22:55:39 +01:00
Clifford Wolf	c2c273c7c8	Add "expect" config option	2017-02-06 16:30:29 +01:00
Clifford Wolf	ad4c0f2198	Add "cover" mode	2017-02-05 15:44:01 +01:00
Clifford Wolf	0a1f207ab5	Fix bug in /examples/quickstart/prove.v	2017-01-31 09:12:31 +01:00
Clifford Wolf	1410ac4d49	Add some docs for "prove" mode	2017-01-30 13:23:07 +01:00
Clifford Wolf	9064f7e6f6	Improve quickstart memory example	2017-01-30 12:04:59 +01:00
Clifford Wolf	1a574ce24a	Improve documentation	2017-01-29 17:10:17 +01:00