Commit graph

1214 commits

Author SHA1 Message Date
Snaipe
60760092b4 Fixed __VA_ARG__ warnings & added -pedantic to c++ samples 2015-09-07 10:22:37 +02:00
Snaipe
17cd3c6509 Removed bogus assert in asserts.{c,cc} samples 2015-09-07 08:45:38 +02:00
Snaipe
a9f325874a Switched type of 'passed' to bool instead of int 2015-09-07 08:37:28 +02:00
Snaipe
59e91f9404 Removed extra semicolon 2015-09-07 08:24:52 +02:00
Snaipe
47d1293303 Made the theory interface C++11-compatible 2015-09-07 08:22:02 +02:00
Snaipe
f35bc3d21c Fixed VC++ not registering any sections and internal crashes due to test data not being zero-filled 2015-09-07 07:26:53 +02:00
Snaipe
ffd6c5a5e7 Revert "Added RDP details for Appveyor VM debugging."
This reverts commit 4b2fb35d31.
2015-09-07 05:42:29 +02:00
Snaipe
18f218f4df Revert "Removed report.cc from MinGW build on appveyor"
This reverts commit 20d5f6fe59.
2015-09-07 05:42:25 +02:00
Snaipe
91200ed8dd Changed path ordering to include C:\MinGW\bin before anything else 2015-09-07 05:35:32 +02:00
Snaipe
4b2fb35d31 Added RDP details for Appveyor VM debugging. 2015-09-07 05:27:00 +02:00
Snaipe
7fca89739f Removed fast-fail flag for appveyor builds 2015-09-07 05:17:27 +02:00
Snaipe
63f47f170a Added zero-filling code for assert stats before sending them to the monitoring process 2015-09-07 05:13:34 +02:00
Snaipe
20d5f6fe59 Removed report.cc from MinGW build on appveyor 2015-09-07 03:57:00 +02:00
Snaipe
a411b22ea3 Switched appveyor badge link to display the bleeding status 2015-09-07 03:48:20 +02:00
Snaipe
b594f5cf8a Added missing section suffix on report hooks on Windows VC builds 2015-09-07 03:02:41 +02:00
Snaipe
dc0f871d0e Fixed mismatching parenthesis in section attribute on OS X 2015-09-07 02:59:29 +02:00
Snaipe
c94fef2837 Switched compiler to use gcc 4.9 2015-09-07 02:34:03 +02:00
Snaipe
ba051b8869 Fixed missing initializer for C samples on assert substitution 2015-09-07 02:20:18 +02:00
Snaipe
fd9cf1755a Added missing .cc samples 2015-09-07 02:00:03 +02:00
Snaipe
b9292bb42d Temporarily removed -pedantic from c++ samples 2015-09-07 01:58:15 +02:00
Snaipe
8e66ff173f Restored cr_abort_test default message 2015-09-07 01:57:05 +02:00
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