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 |
|
Snaipe
|
03ed0a910a
|
Switched OSX image to default on travis CI builds
|
2015-11-12 16:54:48 +01:00 |
|
Snaipe
|
4322fb50cf
|
Fixed travis script conditions
|
2015-11-12 16:45:32 +01:00 |
|
Snaipe
|
b25756b46e
|
Install cmake on travis osx build
|
2015-11-12 16:36:42 +01:00 |
|
Snaipe
|
947bdbf4e1
|
Fixed typo in travis config
|
2015-11-12 16:23:25 +01:00 |
|
Snaipe
|
022cc88e24
|
Fixed substitution chaining not working on bash
|
2015-11-12 16:20:40 +01:00 |
|
Snaipe
|
f6cf64f71f
|
Cleaned up travis config
|
2015-11-12 16:02:33 +01:00 |
|
Snaipe
|
57b95ab03e
|
[Issue #73] Merge branch 'features/json-reporting' into bleeding
|
2015-11-11 13:59:48 +01:00 |
|
Snaipe
|
3e5f43ff74
|
Fixed XML regression tests
|
2015-11-11 13:53:07 +01:00 |
|
Snaipe
|
17f16f60ce
|
Updated gitignore
|
2015-11-11 13:48:18 +01:00 |
|
Snaipe
|
586be28378
|
Fixed script regression tests
|
2015-11-11 13:45:52 +01:00 |
|
Snaipe
|
a6ff1f110c
|
Added json regression test
|
2015-11-11 13:43:51 +01:00 |
|
Snaipe
|
3c9086dd63
|
Fixed typo in json output
|
2015-11-11 13:41:08 +01:00 |
|
Snaipe
|
3cfb0aa5a8
|
Added documentation for --json
|
2015-11-11 13:26:49 +01:00 |
|
Snaipe
|
e59adbff47
|
Updated json reporter for the new reporting system
|
2015-11-11 13:19:03 +01:00 |
|
Snaipe
|
f940632c3a
|
Added json output provider
|
2015-11-11 13:13:51 +01:00 |
|