Snaipe d75eb4f038 [v2.0.0] Merge branch 'bleeding' (Version release)		2015-09-14 04:27:58 +02:00
..
assert.rst	Updated documentation on asserts	2015-09-14 04:16:03 +02:00
conf.py	[v2.0.0] Merge branch 'bleeding' (Version release)	2015-09-14 04:27:58 +02:00
criterion-title.png	Added logo to README	2015-08-01 17:26:32 +02:00
env.rst	Documented new -S switch	2015-08-20 20:39:28 +02:00
faq.rst	Completed documentation with parameter reference, test-suite configuration, custom output provider, and various fixes	2015-04-14 14:53:18 +02:00
hooks.rst	Added reporting & logging on theory failure	2015-09-03 17:29:46 +02:00
index.rst	Added assertion reference in documentation	2015-09-08 23:49:35 +02:00
internal.rst	Refactored the default main to allow dynamic test registration	2015-09-07 15:55:36 +02:00
intro.rst	Updated documentation on windows support	2015-08-05 06:51:31 +02:00
screencast.gif	Added a F.A.Q, updated screencast	2015-03-23 20:11:25 +01:00
setup.rst	Updated Setup steps in documentation	2015-09-07 11:00:52 +02:00
starter.rst	Added assertion reference in documentation	2015-09-08 23:49:35 +02:00
theories.rst	Added common usage assume macro functions for theories	2015-09-06 21:59:50 +02:00