Snaipe
|
e42c57fdac
|
Cleaned up appveyor config
|
2015-09-06 02:56:47 +02:00 |
|
Snaipe
|
af45e407bb
|
Removed script-based tests when building with visual studio
|
2015-09-06 02:49:10 +02:00 |
|
Snaipe
|
d65b1c951d
|
Copy the missing criterion.dll into the samples & test build directories
|
2015-09-06 02:42:38 +02:00 |
|
Snaipe
|
c0c80d5888
|
Fixed environment variables not being expanded in ps script in appveyor config
|
2015-09-06 02:28:41 +02:00 |
|
Snaipe
|
44452bc466
|
Use 7z rather than tar to package the artifacts
|
2015-09-06 02:18:12 +02:00 |
|
Snaipe
|
745d6be229
|
Use cmd for build command
|
2015-09-06 02:08:34 +02:00 |
|
Snaipe
|
507c3183e6
|
Run MinGW build before MSVC
|
2015-09-06 02:04:06 +02:00 |
|
Snaipe
|
19ecd3818e
|
Changed build conditions to use cmake --build
|
2015-09-06 01:54:23 +02:00 |
|
Snaipe
|
3f8e179a74
|
Fixed || not being recognised in powershell script
|
2015-09-06 01:45:10 +02:00 |
|
Snaipe
|
b3d8ed244f
|
Fixed typo in configuration property in appveyor yml
|
2015-09-06 01:37:22 +02:00 |
|
Snaipe
|
e491207920
|
Added -Wno-dev warning remover for CI builds
|
2015-09-06 01:29:31 +02:00 |
|
Snaipe
|
c8db617e57
|
Disabling Coveralls altogether in appveyor builds
|
2015-09-06 01:25:35 +02:00 |
|
Snaipe
|
99385e2f38
|
Added msvc builds to appveyor
|
2015-09-06 01:22:58 +02:00 |
|
Snaipe
|
a630645b5e
|
Trying to clean up appveyor config
|
2015-09-06 01:09:28 +02: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
|
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 |
|