50 commits

Author	SHA1	Message	Date
ZipCPU	2462855e0f	Updated Verilog documentation	2019-05-21 20:55:46 -04:00
Clifford Wolf	44869656b8	Improve readability of boolector build instructions ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-03-28 08:48:49 +01:00
Felix Vietmeyer	e80ed3bc80	Update Boolector build instructions	2019-03-16 15:47:47 -06:00
Clifford Wolf	cef50242df	Add --dumptasks to documentation ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-03-08 12:20:08 -08:00
Clifford Wolf	d5fa89ee0c	Improve sby file pycode/tasks handling ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-03-08 10:58:28 -08:00
Clifford Wolf	970e4b2857	Also add install docs for btorsim ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-12-08 23:42:52 +01:00
Clifford Wolf	b8549f3a2d	Update boolector build instructions ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-12-08 07:34:03 +01:00
Clifford Wolf	4eb91d5b88	Add "smtbmc ... -- ..." feature (for "raw" smtbmc options) ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-11-22 17:08:28 +01:00
Clifford Wolf	bf47da495b	Add "skip" options (smtbmc only) ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-09-12 13:23:34 +02:00
Clifford Wolf	7ff783598f	Update docs ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-09-06 19:36:25 +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	93e7e1d1e2	Improve documentation of scripts and Verific bindings ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-06-23 18:25:52 +02:00
Clifford Wolf	437a401739	Add [script] documentation, add some paragraphs on "verific" command ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-18 19:32:58 +02:00
Clifford Wolf	f0bf0c155a	Typo fix ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-13 18:10:22 +02:00
Clifford Wolf	9beb469ad9	Add documentation on [files] and [file ..] sections ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-13 16:52:56 +02:00
Clifford Wolf	47729cd61c	Add smtbmc --progress option ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-07 22:16:24 +01:00
Clifford Wolf	055b305c81	Update verific.rst ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 23:46:52 +01:00
Clifford Wolf	f6ab848797	Improvements in [tasks] handling ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 18:05:51 +01:00
Clifford Wolf	fd0fd88e22	Update verific.rst ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 15:41:57 +01:00
Clifford Wolf	f151ea733a	Update verific.rst ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 11:19:27 +01:00
Clifford Wolf	fbd5ddb615	Minor format fix in documentation ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 01:18:19 +01:00
Clifford Wolf	9e35d16e95	Add more documentation ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 01:12:03 +01:00
Clifford Wolf	d736fb14f9	Slightly change tasks syntax ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-06 00:01:55 +01:00
Clifford Wolf	231d06b7c5	Add documentation for [tasks] section	2018-03-05 13:09:40 +01:00
Clifford Wolf	a94f21abab	Add multiclock option ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-04 14:09:16 +01:00
Clifford Wolf	e966f3dca4	Add smtbmc --stdt option ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-04 14:08:55 +01:00
Clifford Wolf	23a369e16d	Add engines documentation ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-03 15:54:00 +01:00
Clifford Wolf	db9c7e97b8	Add missing prerequisites to quickstart guide	2017-10-28 14:01:42 +02:00
Clifford Wolf	27da852e38	Remove AIGER from install section	2017-09-21 02:02:31 +02:00
Clifford Wolf	6d0183f6c6	Add gperf to prerequisites	2017-09-21 01:49:18 +02:00
Clifford Wolf	3f1cbb0706	Update quickstart.rst	2017-09-14 03:29:12 +02:00
Clifford Wolf	6ef12a4b31	Add tbtop config option	2017-07-01 18:33:36 +02:00
Clifford Wolf	ff054ab88b	Add support for "aigsmt none" option	2017-05-28 12:32:03 +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	7f871ec89a	Add "Reactive Synthesis" as TBD to documentation	2017-05-22 12:26:02 +02:00
Clifford Wolf	a16e90a885	Add avy install instructions	2017-03-09 12:19:37 +01:00
Clifford Wolf	7fdbb4c179	Update docs	2017-03-01 11:12:30 +01:00
Clifford Wolf	9a718367ff	Improve super_prove integration	2017-02-26 13:03:59 +01:00
Clifford Wolf	404f8de16d	Update documentation	2017-02-19 22:55:39 +01:00
Clifford Wolf	29968fcc58	Add docs for "wait" option, more config checking	2017-02-06 21:50:57 +01:00
Clifford Wolf	24e19e3cda	Update docs	2017-02-06 17:49:20 +01:00
Clifford Wolf	ad4c0f2198	Add "cover" mode	2017-02-05 15:44:01 +01:00
Clifford Wolf	1410ac4d49	Add some docs for "prove" mode	2017-01-30 13:23:07 +01:00
Clifford Wolf	6b23046d3f	Fix typo	2017-01-30 12:31:53 +01:00
Clifford Wolf	8aaf40d54c	Improve docs	2017-01-30 12:15:12 +01:00
Clifford Wolf	f358cca5a1	Improve documentation	2017-01-29 17:14:05 +01:00
Clifford Wolf	1a574ce24a	Improve documentation	2017-01-29 17:10:17 +01:00
Clifford Wolf	bf9acb89ee	Improve docs	2017-01-22 18:04:47 +01:00
Clifford Wolf	3a13b116a6	Initial import	2017-01-22 16:47:47 +01:00