110 commits

Author	SHA1	Message	Date
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	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	9064f7e6f6	Improve quickstart memory example	2017-01-30 12:04:59 +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