Snaipe
|
554f25608f
|
Refactored output_provider -> logger, and moved actual output providers to io/
|
2015-11-11 11:04:28 +01:00 |
|
Snaipe
|
1928e161f7
|
Added klib cmake dependency
|
2015-11-10 22:05:19 +01:00 |
|
Snaipe
|
a838e7786f
|
Added XML logging
|
2015-10-05 16:22:55 +02:00 |
|
Adeel
|
786e70dd1b
|
config: Check strtok_s capability.
Also cleans up redundancies and adds pragma in `UNUSED` macro.
|
2015-10-03 12:23:16 +03:00 |
|
Snaipe
|
0d17ecc0f5
|
Added missing header exports in CMake config
|
2015-10-02 14:45:28 +02:00 |
|
Snaipe
|
4dcde5259c
|
Added C/C++ language isolation wrappers
|
2015-10-01 15:05:22 +02:00 |
|
Snaipe
|
218cd9ecfa
|
Added /usr/local/include as a system include directory
|
2015-09-28 12:26:40 +02:00 |
|
Snaipe
|
c546bcef5c
|
Added valgrind error suppression for the runner process
|
2015-09-26 17:02:28 +02:00 |
|
Snaipe
|
2b9f14041c
|
Added sane option defaults when running valgrind
|
2015-09-26 00:22:21 +02:00 |
|
Snaipe
|
b347b70bdb
|
Refactored runner coroutine into its own file
|
2015-09-24 16:08:58 +02:00 |
|
Snaipe
|
40dbcc3408
|
Added --jobs CLI switch and CRITERION_JOBS environment variable
|
2015-09-22 23:21:51 +02:00 |
|
Snaipe
|
984ecc5a74
|
Added missing include directory addition for libintl dependency
|
2015-09-22 01:12:32 +02:00 |
|
Snaipe
|
d05d71bbd5
|
Renamed TESTS cmake option to CTESTS
|
2015-09-22 00:16:45 +02:00 |
|
Snaipe
|
86a1707b75
|
Added cmake option to turn on/off tests (off by default)
|
2015-09-21 23:26:47 +02:00 |
|
Snaipe
|
3148348c37
|
[v2.1.0] Merge branch 'bleeding' (Version release)
|
2015-09-21 22:35:34 +02:00 |
|
Snaipe
|
5f9f617ee7
|
Added inheritable heap to fork process
|
2015-09-20 20:28:31 +02:00 |
|
Snaipe
|
b655e3b1f2
|
Merge branch 'patch' into bleeding (Fixes #50)
|
2015-09-20 12:49:49 +02:00 |
|
Snaipe
|
d93f0c9faf
|
[v2.0.2] Merge branch 'patch' (Fixes #50)
|
2015-09-20 12:45:35 +02:00 |
|
Adeel
|
09602eb47a
|
Build: Improves preprocessor directives for BSD.
* Also adds a search path `/usr/local/include` to top-level CMakeLists.
Fixes #48.
|
2015-09-19 16:28:57 +03:00 |
|
Snaipe
|
981e63f63b
|
Merge branch 'patch' into bleeding (Fixes critical issue)
|
2015-09-19 14:55:20 +02:00 |
|
Snaipe
|
9f8d297f05
|
[v2.0.1] Merge branch 'patch' (Fixes critical issue)
|
2015-09-19 14:49:05 +02:00 |
|
Snaipe
|
9b083a14b2
|
Refactored most of the sources
|
2015-09-16 21:18:58 +02:00 |
|
Snaipe
|
a1d28f84e7
|
Refactored posix-compat.c
|
2015-09-16 21:00:15 +02:00 |
|
Snaipe
|
6faf505089
|
Specified correct gcov params for codecov script
|
2015-09-16 01:19:08 +02:00 |
|
Snaipe
|
d4d29f6023
|
Added manual gcov target
|
2015-09-16 01:19:08 +02:00 |
|
Snaipe
|
d75eb4f038
|
[v2.0.0] Merge branch 'bleeding' (Version release)
|
2015-09-14 04:27:58 +02:00 |
|
Snaipe
|
b0869165af
|
Added more file assertions and file comparison function
|
2015-09-14 03:58:25 +02:00 |
|
Snaipe
|
343678a020
|
Removed samples building from 'all' target
|
2015-09-09 19:19:58 +02:00 |
|
Snaipe
|
151824d96e
|
Added missing headers in install rule
|
2015-09-09 03:36:41 +02:00 |
|
Snaipe
|
5247808140
|
Renamed asprintf to cr_asprintf for compatibility
|
2015-09-08 22:12:22 +02:00 |
|
Snaipe
|
4d114fdd38
|
Changed the assert interface to accept a format string
|
2015-09-08 18:49:24 +02:00 |
|
Snaipe
|
aca092b9d6
|
Refactored CLI parameter handling in its own function for reusability
|
2015-09-07 15:27:15 +02:00 |
|
Snaipe
|
416b034fe1
|
Made the interface C++11-compatible
|
2015-09-07 01:15:31 +02:00 |
|
Snaipe
|
7577cf8940
|
Fixed all criterion-related warnings with MSVC
|
2015-09-06 07:23:21 -07:00 |
|
Snaipe
|
9499590ad4
|
Don't set gcc-specific flags on VC
|
2015-09-05 15:47:47 -07:00 |
|
Snaipe
|
690c88e0c3
|
Removed .def file generation
|
2015-09-06 00:45:20 +02:00 |
|
Snaipe
|
b4b6b611ea
|
Restored NLS back
|
2015-09-06 00:44:45 +02:00 |
|
Snaipe
|
734dad4390
|
Temporarily removing uninstall goal to support IDEs cmake targets
|
2015-09-06 00:44:10 +02:00 |
|
Snaipe
|
45fc694639
|
Marked with dllexport/import API functions
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
da4e9ccdfc
|
Disabled Safe SEH for MSVC builds
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
4bad96df64
|
Added linking to wingetopt
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
f67bed8dba
|
Added wingetopt to dependencies
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
6b3ba2f1bb
|
Fixed .def output path
|
2015-09-05 08:58:46 -07:00 |
|
Snaipe
|
09661568d7
|
Added .def file generation on windows
|
2015-09-05 17:48:11 +02:00 |
|
Snaipe
|
90711d4ae1
|
Fixed coveralls output to report only criterion
|
2015-09-04 03:32:19 +02:00 |
|
Snaipe
|
164f334ea1
|
Included submodule update in cmake module
|
2015-09-04 03:03:40 +02:00 |
|
Snaipe
|
16aae06e79
|
Made the build system also build the dependencies
|
2015-09-04 02:47:06 +02:00 |
|
Snaipe
|
d8668e3ed8
|
Added cmake dyncall dependency search
|
2015-09-03 18:26:32 +02:00 |
|
Snaipe
|
c9501805b6
|
Added support for theories
|
2015-09-03 06:38:44 +02:00 |
|
Snaipe
|
2e94e558c1
|
Added tests on ordered-set
|
2015-08-21 06:30:20 +02:00 |
|