15 commits

Author	SHA1	Message	Date
KrystalDelusion	82a6edf295	Moving newstart to replace quickstart	2022-08-22 21:20:59 +12:00
KrystalDelusion	df2610d598	Fixes before merge	2022-08-22 21:18:40 +12:00
KrystalDelusion	a5f67ed904	Merge branch 'master' into fifo_example	2022-07-01 11:46:02 +12:00
Jannis Harder	d038a7d35c	autotune: Initial documentation	2022-06-27 15:58:42 +02:00
KrystalDelusion	21dfd35516	Adding new Getting started guide	2022-05-10 11:41:15 +12:00
Miodrag Milanovic	091222b87f	Extract installation procedure to separate file	2020-10-23 14:03:55 +02: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	7f871ec89a	Add "Reactive Synthesis" as TBD to documentation	2017-05-22 12:26:02 +02: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	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	f358cca5a1	Improve documentation	2017-01-29 17:14:05 +01:00
Clifford Wolf	3a13b116a6	Initial import	2017-01-22 16:47:47 +01:00