Snaipe
|
734dad4390
|
Temporarily removing uninstall goal to support IDEs cmake targets
|
2015-09-06 00:44:10 +02:00 |
|
Snaipe
|
211f106cae
|
Made the tests c99-compliant
|
2015-09-06 00:41:38 +02:00 |
|
Snaipe
|
785c9e2797
|
Exported main as API method
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
933bbefa11
|
Fixed wrong allocation size for theory indices
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
45fc694639
|
Marked with dllexport/import API functions
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
5d119c607e
|
Fixed SECTION_STOP_ -> SECTION_END_ typo
|
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
|
4ccabada40
|
Added missing section stop symbols for MSVC
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
4bad96df64
|
Added linking to wingetopt
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
030fc1de19
|
Added MSVC glue for missing section symbols
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
8871ae946b
|
Removed VLA from theories.c
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
f67bed8dba
|
Added wingetopt to dependencies
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
95539c89ad
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
4817fb709f
|
Updated libcsptr for latest msvc compatibility
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
ad6f03bf7a
|
Updated libcsptr to latest
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
1e9a635b97
|
Removed commit hashes in Submodule.cmake and updated libcsptr to latest
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
c56776b976
|
Updated libcsptr to latest
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
4aa7c07295
|
Made the samples compile with MSVC
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
289731d47d
|
Update libcsptr to allow MSVC compilation
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
b9e3923b7c
|
Removed any usage of GNU C-only macros from libcsptr, using smalloc & sfree directly instead
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
48e96c06e6
|
Merge branch 'features/msvc-compat-2' into bleeding
|
2015-09-05 10:45:59 -07:00 |
|
Snaipe
|
11eb4a9f10
|
Added __VA_ARGS__ macro expansions in theories.h for MSVC compatibility
|
2015-09-05 10:38:24 -07:00 |
|
Snaipe
|
e8e81a7dd5
|
Added expansion round on __VA_ARGS__ in assert macros for MSVC compatibility
|
2015-09-05 10:08:59 -07: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
|
d756a2f858
|
Started to take another try for MSVC compatibility
|
2015-09-05 15:31:14 +02:00 |
|
Snaipe
|
29befaf779
|
Added better parameter formatting for theories & added bool theory parameter to misc sample
|
2015-09-04 16:39:40 +02:00 |
|
Snaipe
|
9e3196f737
|
Made the misc theory test fail to test parameter formatting
|
2015-09-04 15:57:02 +02:00 |
|
Snaipe
|
eff36eea2d
|
Added 0x prefix for pointer parameters in theories
|
2015-09-04 15:53:25 +02:00 |
|
Snaipe
|
e1e332e38b
|
Added a test for various theory parameters
|
2015-09-04 15:52:54 +02:00 |
|
Snaipe
|
2bc980a39a
|
Added better coverage report for theories
|
2015-09-04 14:59:42 +02:00 |
|
Snaipe
|
5b840e546e
|
Removed windows coverage until coveralls knows how to merge multiple CI reports
|
2015-09-04 03:33:27 +02:00 |
|
Snaipe
|
90711d4ae1
|
Fixed coveralls output to report only criterion
|
2015-09-04 03:32:19 +02:00 |
|
Snaipe
|
fc64949d96
|
Updated documentation for new build instructions
|
2015-09-04 03:11:07 +02:00 |
|
Snaipe
|
dcbf985a00
|
Updated libcsptr for -fPIC removal on windows
|
2015-09-04 03:07:09 +02:00 |
|
Snaipe
|
164f334ea1
|
Included submodule update in cmake module
|
2015-09-04 03:03:40 +02:00 |
|
Snaipe
|
11bacffc15
|
Fixed install-dependencies scripts
|
2015-09-04 02:51:00 +02:00 |
|
Snaipe
|
16aae06e79
|
Made the build system also build the dependencies
|
2015-09-04 02:47:06 +02:00 |
|
Snaipe
|
ea814f3611
|
Fixed missing field initializer warning on older GCC versions
|
2015-09-04 01:09:59 +02:00 |
|
Snaipe
|
00783d66ea
|
Added documentation for theories
|
2015-09-03 23:51:59 +02:00 |
|
Snaipe
|
e9899932ca
|
Prevent theories from aborting the whole test & fixed messages being cummulatively concatenated
|
2015-09-03 21:44:26 +02:00 |
|
Snaipe
|
5d25030a6c
|
[Issue #31] Merge branch 'features/theories' into bleeding
|
2015-09-03 19:00:15 +02:00 |
|
Snaipe
|
e0948aba7a
|
Trying to fix dyncall installation on windows
|
2015-09-03 18:46:56 +02:00 |
|
Snaipe
|
d8668e3ed8
|
Added cmake dyncall dependency search
|
2015-09-03 18:26:32 +02:00 |
|
Snaipe
|
06e87bf592
|
Added dyncall dependency installation
|
2015-09-03 18:09:59 +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
|
029b5e43c3
|
Added better theory sample
|
2015-09-03 14:29:46 +02:00 |
|
Snaipe
|
c9501805b6
|
Added support for theories
|
2015-09-03 06:38:44 +02:00 |
|
Snaipe
|
b940ad3790
|
[Issue #32] Added ability to test the exit status of a test.
|
2015-09-01 19:09:11 +02:00 |
|