Commit graph

962 commits

Author SHA1 Message Date
Snaipe
07f109eb6e Added error messages when reporting fails 2015-11-27 12:18:46 +01:00
Snaipe
85095ba7e7 Disable --quiet when the provider output path is not stderr 2015-11-27 11:59:39 +01:00
Snaipe
56f0abfd49 Added install checks on travis builds 2015-11-27 11:48:52 +01:00
Snaipe
41d7123b41 Cleaned up travis config 2015-11-27 01:11:52 +01:00
Snaipe
635ddb204f Refactored travis config to install gcc 4.9 only on the relevant configurations 2015-11-27 00:52:14 +01:00
Snaipe
a5de951a48 Fixed travis build not running tests by default 2015-11-27 00:30:08 +01:00
Snaipe
6bfdaffea8 Fixed travis build translating 'ON' as 'true' in environment variables. 2015-11-27 00:24:39 +01:00
Snaipe
49abc86066 [Issue #76] Updated dyncall to latest for icc fix 2015-11-27 00:13:59 +01:00
Snaipe
1beccec921 Added back CRITERION_ENABLE_TAP and added CRITERION_OUTPUTS environment variable. 2015-11-26 00:23:27 +01:00
Snaipe
26b25cf1f9 Updated docs on the required version of GCC 2015-11-25 20:16:26 +01:00
Snaipe
fa29b3c6db Added back GCC 4.6 support 2015-11-25 20:10:09 +01:00
Snaipe
6a766ca432 [v2.1.1] Merge branch 'patch' (patch release)
This patch fixes accesses over freed assert messages, causing the TAP
output to be broken.
2015-11-25 12:41:30 +01:00
Snaipe
6f9d29a602 [Issue #78] Fixed assert message being freed too early, leading to some dangling pointers to invalid memory
Cherry-pick of commit 8197bef66c.
2015-11-25 12:33:56 +01:00
Snaipe
5bdccd862a Fixed unused parameter warnings 2015-11-21 00:07:53 +01:00
Snaipe
80a45b5ecc [Issue #76] Fixed compilation errors for ICC 2015-11-20 19:10:35 +01:00
Snaipe
2fbf8e8f1d Updated libcsptr for icc compilation 2015-11-20 18:49:48 +01:00
Snaipe
34fb71dcd6 Merge branch 'features/refactor' into bleeding 2015-11-19 14:43:35 +01:00
Snaipe
eeb7ab24f3 Fixed list formatting for supported compilers in documentation 2015-11-19 14:32:24 +01:00
Snaipe
cb9d702f06 [Issue #77] Fixed msgmerge being called with --lang on versions <=0.17 by cmake. 2015-11-19 02:13:17 +01:00
Snaipe
a7d5ecf69c Refactored redirections and hooks 2015-11-18 16:31:31 +01:00
Snaipe
221df82a12 Changed DIRECTORY to PATH in get_filename_component for cmake <2.8.12 compatibility 2015-11-18 14:00:17 +01:00
Snaipe
eb36959023 Fixed cmake header file installation flattening include subdirectories 2015-11-18 13:20:03 +01:00
Snaipe
f656fb4279 Added missing header files in cmake install files 2015-11-18 13:12:51 +01:00
Snaipe
586f29128d Refactored the implementation of parameterized tests macros to internal/ 2015-11-17 18:24:44 +01:00
Snaipe
bbc5edfb34 Refactored the implementation of theory macros in internal/ 2015-11-17 17:49:27 +01:00
Snaipe
9b993abb93 Refactored tests and assertions implementation to internal/ 2015-11-17 17:33:44 +01:00
Snaipe
7fa0b6580b Refactored internal headers into its own subdirectory 2015-11-17 16:30:00 +01:00
Snaipe
3eea22fcda Reverted removal of cr_theory_abort() 2015-11-17 16:14:30 +01:00
Snaipe
7a6bddd63c Removed unimplemented theory functions 2015-11-17 16:12:16 +01:00
Snaipe
6917eb4bda [Issue #74] Added __clang__ checks on assert.h __GNUC__ ifdefs for better source searching 2015-11-16 20:41:32 +01:00
Snaipe
0722fd4c99 Merge branch 'features/multiple-languages' into bleeding 2015-11-16 20:01:17 +01:00
Snaipe
62b4f2171b Fixed failing Appveyor MinGW builds due to '_hypot' not being defined.
This is caused by a MinGW bug in math.h. See http://ehc.ac/p/mingw/bugs/2250/
for more information.
2015-11-16 19:25:56 +01:00
Snaipe
edc72c9554 Removed math.h dependency on base assertions 2015-11-16 18:19:26 +01:00
Snaipe
f0e4f758d2 Fixed regression tests being sensitive to line endings 2015-11-16 08:27:23 -08:00
Snaipe
3e0cba01f4 Fixed appveyor not displaying the test logs in the event of failure 2015-11-16 16:34:00 +01:00
Snaipe
d59b810a56 Added Foundation framework to link flags on OS X + Clang 2015-11-16 16:06:25 +01:00
Snaipe
5e32955935 Added cmake 3.4.0 objective C compiler include fix 2015-11-16 15:13:34 +01:00
Snaipe
5388dd0341 Removed intermediate function pointer cast to integer in theory function call 2015-11-16 14:50:00 +01:00
Snaipe
44d9e436fe Removed pedantic warnings and used GNU C 99 standard 2015-11-16 14:47:56 +01:00
Snaipe
cb02a30576 Removed MINGW_DEFINE_OFF_T definition when option is off 2015-11-16 00:33:58 +01:00
Snaipe
10e933d758 Fixed pedantic warnings for C99 + POSIX 2008 compatibility 2015-11-16 00:21:30 +01:00
Snaipe
e7faf8aaed Removed ansi checks for off_t definition, and added option to define it if needed. 2015-11-15 22:52:25 +01:00
Snaipe
dd557f6f68 Added __STRICT_ANSI__ check for off_t definition on MinGW builds 2015-11-15 22:41:17 +01:00
Snaipe
900a1e0a29 Refactored cr_off{32,64} definitions to its own header file to avoid collisions 2015-11-15 19:48:29 +01:00
Snaipe
a76e828dc7 Fixed typo on MinGW code 2015-11-15 19:42:07 +01:00
Snaipe
969f0fed74 Extend commit 1617190 on src/compat/posix.h 2015-11-15 19:37:08 +01:00
Snaipe
161719070c Fixed recent MinGW builds failing due to quick fix on the definitions of off_t and off64_t 2015-11-15 19:32:17 +01:00
Snaipe
c77ec23678 Fixed regression test for TAP output format 2015-11-12 23:37:13 +01:00
Snaipe
e41b3a6572 Removed source build for clang on osx travis builds 2015-11-12 18:26:04 +01:00
Snaipe
62e01eed74 Removed clang installation on OSX gcc builds 2015-11-12 17:02:14 +01:00