Snaipe
|
496710164e
|
Refactored samples for cmake compilation
|
2015-09-07 01:56:38 +02:00 |
|
Snaipe
|
416b034fe1
|
Made the interface C++11-compatible
|
2015-09-07 01:15:31 +02:00 |
|
Snaipe
|
c03a149507
|
Added common usage assume macro functions for theories
|
2015-09-06 21:59:50 +02:00 |
|
Snaipe
|
89d8b4dbcf
|
Fixed typo in readme
|
2015-09-06 20:19:06 +02:00 |
|
Franklin Mathieu
|
473e3cb66d
|
Merge pull request #34 from am11/bleeding
Repo: Mutes a modifier mismatch warning
|
2015-09-06 11:51:03 -06:00 |
|
Adeel
|
54ba0135d4
|
Repo: Mutes a modifier mismatch warning.
* Also added `CMakeFiles/` dir to `.gitignore` and updated README.
|
2015-09-06 20:08:49 +03:00 |
|
Snaipe
|
ee1828ff46
|
Fixed UB introduced by the previous commit
|
2015-09-06 07:54:20 -07:00 |
|
Snaipe
|
7577cf8940
|
Fixed all criterion-related warnings with MSVC
|
2015-09-06 07:23:21 -07:00 |
|
Snaipe
|
34aacc2dd8
|
Merge branch 'csptr-iso-c99' into bleeding
|
2015-09-06 03:44:45 +02:00 |
|
Snaipe
|
04523d303f
|
Fixed artifacts being pushed when there is no git tag
|
2015-09-06 03:42:03 +02:00 |
|
Snaipe
|
6b91180c9a
|
Disabled comparison tests for MSVC builds
|
2015-09-06 03:29:41 +02:00 |
|
Snaipe
|
2e1ac26f5a
|
Trying to fix the 7z command
|
2015-09-06 03:16:17 +02:00 |
|
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 |
|