Commit graph

90 commits

Author SHA1 Message Date
Snaipe
f2f87cdc1a Updated Setup steps in documentation 2015-09-07 11:00:52 +02:00
Snaipe
c03a149507 Added common usage assume macro functions for theories 2015-09-06 21:59:50 +02:00
Snaipe
fc64949d96 Updated documentation for new build instructions 2015-09-04 03:11:07 +02:00
Snaipe
00783d66ea Added documentation for theories 2015-09-03 23:51:59 +02:00
Snaipe
5d25030a6c [Issue #31] Merge branch 'features/theories' into bleeding 2015-09-03 19:00:15 +02:00
Snaipe
50df60c962 Added documentation for .exit_code 2015-09-03 17:31:05 +02:00
Snaipe
1757752dd1 Added reporting & logging on theory failure 2015-09-03 17:29:46 +02:00
Snaipe
e37b6b55a3 Documented new -S switch 2015-08-20 20:39:28 +02:00
Snaipe
3869b864d3 Bump version: 1.3.0 → 1.3.1 2015-08-05 07:13:56 +02:00
Snaipe
4e36f68ff3 [v1.3.0] Merge branch 'bleeding' (Version release)
Changelog:
criterion: version 1.3.0
* Turned the library into a shared library.
* Added extended globbing for --pattern (requires PCRE)
* Switched to a CMake build system
* Fixed windows builds & output
* Added basic windows SEH-to-signal translator
2015-08-05 06:56:27 +02:00
Snaipe
7ba60586bf Updated version numbers and setup steps in documentation 2015-08-05 06:51:31 +02:00
Snaipe
dafe456c31 Updated documentation for signals on windows 2015-08-05 06:51:31 +02:00
Snaipe
e115417f66 Updated documentation on windows support 2015-08-05 06:51:31 +02:00
Snaipe
cb9e62ccf5 Added logo to README 2015-08-01 17:26:32 +02:00
Snaipe
2b2bdcde14 Bump version: 1.2.2 → 1.2.3 2015-07-30 14:00:29 +02:00
Snaipe
5cf91b1310 Fixed bumpversion 2015-07-30 14:00:08 +02:00
Snaipe
c4c051be38 [v1.2.2] Patch the stack explosion on assertion stats cleanup 2015-05-26 20:57:15 +02:00
Snaipe
0f25296e77 Bump version: 1.2.0 → 1.2.1 2015-04-26 16:01:57 +02:00
Snaipe
44b1bc45f6 Updated doc with prefixed assertions 2015-04-25 17:07:57 +02:00
Snaipe
cc9ea9c1a6 [v1.2.0] Version bump 2015-04-15 22:47:09 +02:00
Snaipe
dfda7b6f67 Refined a bit the documentation page on assertions 2015-04-15 15:22:00 +02:00
Snaipe
70ef404ea6 Completed documentation with parameter reference, test-suite configuration, custom output provider, and various fixes 2015-04-14 14:53:18 +02:00
Snaipe
53c38d244e Added documentation on adding a custom main 2015-03-26 23:04:02 +01:00
Snaipe
c4a018899b Version bump 2015-03-24 16:02:26 +01:00
Snaipe
6544dffd95 Fixed faq formatting [ci skip] 2015-03-23 20:34:52 +01:00
Snaipe
6d3e81df6a Added a F.A.Q, updated screencast 2015-03-23 20:11:25 +01:00
Snaipe
e86667635a Updated docs on report hooks 2015-03-23 18:38:03 +01:00
Snaipe
5951e636cf Updated documentation and readme 2015-03-23 14:46:14 +01:00
Snaipe
8233695a2b Added version switch, updated documentation on CLI 2015-03-18 07:10:17 +01:00
Snaipe
547bd032d2 Renamed equal asserts, added asserts sample in README, added abort_test 2015-03-17 16:11:32 +01:00
Snaipe
a769eef10e Updated doc page on assertions 2015-03-11 19:07:22 +01:00
Snaipe
1c392b67e2 [Issue #6] Added Mac OS X compatibility. This forced the (PRE|POST)_EVERYTHING to be renamed to \1_ALL since section names on OSX must not have more than 16 characters. 2015-03-11 03:17:55 +01:00
Snaipe
b36cfd5ebb Added screencast to readme 2015-03-09 04:04:33 +01:00
Snaipe
ae9b42a911 Added environment variable documentation 2015-02-11 14:22:49 +01:00
Snaipe
7eb03b68d0 Added a bunch of docs, removed additional links in index. 2015-02-10 01:37:45 +01:00
Snaipe
721ac7e5d6 Added bottom links in doc index 2015-02-10 00:27:58 +01:00
Snaipe
09c5658574 Added sphinx doc configuration 2015-02-10 00:19:51 +01:00
Snaipe
86e3f68526 Fixed toctree not being properly called 2015-02-10 00:06:09 +01:00
Snaipe
a422d423e5 Added documentation index 2015-02-09 23:53:34 +01:00
Snaipe
591809da40 Added Getting started doc 2015-02-09 23:43:48 +01:00