d350e5f | Sergey Teplyakov | 26 January 2016, 23:27:40 UTC | Merge pull request #345 from SergeyTeplyakov/st/v110Release Changes required for v.1.10 release | 26 January 2016, 23:27:40 UTC |
8137de3 | Sergey Tepliakov | 26 January 2016, 23:26:22 UTC | Added license to nuspec. | 26 January 2016, 23:26:22 UTC |
a490ec1 | Sergey Tepliakov | 26 January 2016, 22:58:03 UTC | Add $version$ back to the nuspec file. | 26 January 2016, 22:58:03 UTC |
d80edec | Sergey Tepliakov | 26 January 2016, 18:17:15 UTC | Updated version to 1.10. Removed Microsoft.Contracts.ds file Renamed nuspec file to Dotnet.Contracts.nuspec | 26 January 2016, 22:43:56 UTC |
fbf1645 | Sergey Teplyakov | 26 January 2016, 22:42:55 UTC | Merge pull request #344 from hubuk/issue168 Fix for issue #168 | 26 January 2016, 22:42:55 UTC |
cdcf2dc | Sergey Teplyakov | 26 January 2016, 22:28:27 UTC | Merge pull request #343 from hubuk/buildFix Fix broken build. | 26 January 2016, 22:28:27 UTC |
9caa447 | Hubert Bukowski | 26 January 2016, 20:48:55 UTC | Added support for farmework assemblies located in external location. | 26 January 2016, 20:48:55 UTC |
f0c4d1a | hubuk | 26 January 2016, 14:51:56 UTC | Fix broken build. | 26 January 2016, 14:56:00 UTC |
47114c9 | hubuk | 26 January 2016, 14:17:14 UTC | Added fix for issue #168. | 26 January 2016, 14:17:14 UTC |
7a018de | hubuk | 26 January 2016, 14:16:37 UTC | Added test for issue #168. | 26 January 2016, 14:16:37 UTC |
b5b0b71 | Sergey Teplyakov | 26 January 2016, 07:52:59 UTC | Merge pull request #292 from fedotovalex/net46contracts Some .NET Framework 4.6 contracts | 26 January 2016, 07:52:59 UTC |
2285d98 | Sergey Teplyakov | 26 January 2016, 07:52:33 UTC | Merge pull request #306 from yaakov-h/pr-OperatingSystem Add contracts for System.OperatingSystem | 26 January 2016, 07:52:33 UTC |
1064c75 | Sergey Teplyakov | 26 January 2016, 07:51:04 UTC | Merge pull request #296 from yaakov-h/pr-Net46Task Update System.Threading.Tasks.Task for NET4.5/4.6 | 26 January 2016, 07:51:04 UTC |
531c71b | Sergey Teplyakov | 26 January 2016, 07:50:02 UTC | Merge pull request #291 from fedotovalex/net46cra Producing contract reference assemblies for .NET Framework 4.6 | 26 January 2016, 07:50:02 UTC |
783ef95 | Sergey Teplyakov | 26 January 2016, 07:48:57 UTC | Merge pull request #318 from yaakov-h/pr-system.version Add contracts for System.Version | 26 January 2016, 07:48:57 UTC |
5c8b9a3 | Sergey Teplyakov | 25 January 2016, 17:13:55 UTC | Merge pull request #342 from asvishnyakov/appveyor Foxtrot & Clousot tests are disabled because of time limit in AppVeyor free plan | 25 January 2016, 17:13:55 UTC |
24168d9 | Sergey Teplyakov | 25 January 2016, 17:13:43 UTC | Merge pull request #278 from SergeyTeplyakov/bugs/bug235_275 Async postconditions in generic methods | 25 January 2016, 17:13:43 UTC |
f202b1c | Sergey Tepliakov | 24 January 2016, 07:39:48 UTC | Merge remote-tracking branch 'origin/master' into bugs/bug235_275 | 24 January 2016, 07:39:48 UTC |
03ae541 | Sergey Tepliakov | 24 January 2016, 07:28:06 UTC | Merge remote-tracking branch 'origin/master' into bugs/bug235_275 | 24 January 2016, 07:28:06 UTC |
a89d166 | Sergey Teplyakov | 23 January 2016, 19:56:55 UTC | Merge pull request #320 from ndykman/issue307 Fix for issue #307 | 23 January 2016, 19:56:55 UTC |
6bcd424 | Sergey Teplyakov | 23 January 2016, 19:55:59 UTC | Merge pull request #337 from hubuk/issue321 Fix for issue #321 | 23 January 2016, 19:55:59 UTC |
b230c5b | Sergey Teplyakov | 23 January 2016, 04:05:06 UTC | Merged with Microsoft/master | 23 January 2016, 04:05:06 UTC |
43497d0 | Aleksandr Vishnyakov | 23 January 2016, 04:05:00 UTC | Foxtrot & Clousot tests are disable because of time limit in AppVeyor free plan Must be restored when Microsoft upgarde CodeContracts' AppVeyor plan to Basic or high | 23 January 2016, 04:05:00 UTC |
2163f15 | Sergey Tepliakov | 23 January 2016, 01:13:07 UTC | Address code review comments. | 23 January 2016, 01:13:07 UTC |
0ba61be | Sergey Teplyakov | 22 January 2016, 21:33:49 UTC | Merge pull request #335 from asvishnyakov/appveyor Enable automated execution of all unit tests in AppVeyor | 22 January 2016, 21:33:49 UTC |
aae8f20 | Sergey Teplyakov | 22 January 2016, 01:33:26 UTC | Merge pull request #294 from SergeyTeplyakov/bugs/bug178 Asynchronous postcondition check now synchronous. Fix for #178 | 22 January 2016, 01:33:26 UTC |
019c70a | Hubert Bukowski | 11 January 2016, 18:21:11 UTC | Added case for Roslyn optimized iterator in closure class finder. | 22 January 2016, 01:08:35 UTC |
7e09479 | Sergey Teplyakov | 22 January 2016, 00:30:57 UTC | Merge pull request #293 from SergeyTeplyakov/bugs/bug191 Bugs bug191 | 22 January 2016, 00:30:57 UTC |
75aea0a | Sergey Tepliakov | 22 January 2016, 00:29:37 UTC | Renamed method due to code review comment. | 22 January 2016, 00:29:37 UTC |
2b13ac3 | Sergey Teplyakov | 21 January 2016, 18:53:13 UTC | Merge pull request #324 from tom-englert/Issue148 Fix broken regression tests (#148) | 21 January 2016, 18:53:13 UTC |
2130b6c | Sergey Teplyakov | 20 January 2016, 17:26:02 UTC | Merge pull request #328 from hubuk/configuration-rework Removed build ouptut from source control repository. | 20 January 2016, 17:26:02 UTC |
59fbfd4 | asvishnyakov | 13 January 2016, 20:48:33 UTC | Enable automated execution of Clousot tests in AppVeyor | 13 January 2016, 20:48:33 UTC |
bd2c36e | asvishnyakov | 13 January 2016, 20:39:05 UTC | Merge remote-tracking branch 'refs/remotes/sharwell/appveyor-cache' | 13 January 2016, 20:39:05 UTC |
55f00db | tom-englert | 13 January 2016, 17:02:27 UTC | Complete truncated comment. | 13 January 2016, 17:02:27 UTC |
4d52163 | hubuk | 08 January 2016, 08:04:56 UTC | Removed build ouptut from source control repository. | 08 January 2016, 13:34:11 UTC |
5e03f0c | tom-englert | 02 January 2016, 13:12:15 UTC | cleanup the test sources mess | 02 January 2016, 13:12:15 UTC |
3dcfb4d | tom-englert | 02 January 2016, 07:27:00 UTC | Remove dead code | 02 January 2016, 07:27:00 UTC |
1e9530b | tom-englert | 02 January 2016, 06:21:45 UTC | Reactivate the cache tests | 02 January 2016, 06:21:45 UTC |
dfa1664 | tom-englert | 01 January 2016, 17:39:04 UTC | - Cleanup the test framework; - Omit .Net3.5 tests, since many of them fail, and fixing them would be a too expensive task for an outdated framework. - Ensure all remaining ClousotTests succeed. | 01 January 2016, 17:39:04 UTC |
66605c4 | tom-englert | 31 December 2015, 16:31:16 UTC | Remove CCI2 and Slicing Options | 31 December 2015, 16:31:16 UTC |
19ce5e8 | tom-englert | 31 December 2015, 15:18:46 UTC | Remove some dead code | 31 December 2015, 15:18:46 UTC |
34b2c2e | tom-englert | 31 December 2015, 15:18:15 UTC | Remove some dead code | 31 December 2015, 15:18:15 UTC |
a021841 | tom-englert | 31 December 2015, 14:50:35 UTC | Maintainability: Remove experimental projects and related tests: - Clousot2* - ClousotSlicer* - Cloudot* - ManyClousot | 31 December 2015, 14:50:35 UTC |
b760e12 | Nathan Dykman | 18 December 2015, 20:03:50 UTC | Update ExtractorVisitor.cs Again, removing whitespace changes. | 18 December 2015, 20:03:50 UTC |
3a4e7d1 | Nathan Dykman | 18 December 2015, 20:02:56 UTC | Update ExtractorVisitor.cs Removed extra line to simplify pull request merge. | 18 December 2015, 20:02:56 UTC |
83d9d29 | Nathan Dykman | 18 December 2015, 19:41:22 UTC | Removing extra changes | 18 December 2015, 19:41:22 UTC |
e9aa5e5 | Nathan Dykman | 08 December 2015, 21:03:13 UTC | Added override to BooleanExpressionHelper.cs for greater than expressions that look like x > null, which is a Roslyn code generated idiom for x != null. | 08 December 2015, 21:03:13 UTC |
90285da | Yaakov | 02 December 2015, 21:50:19 UTC | Fix return types of System.Version MajorRevision/MinorRevision | 02 December 2015, 21:50:19 UTC |
ccc8478 | Yaakov | 01 December 2015, 22:36:15 UTC | Add postconditions to System.Version properties | 01 December 2015, 22:36:15 UTC |
3bc4a0d | Yaakov | 01 December 2015, 01:42:47 UTC | Add contracts for System.Version | 01 December 2015, 01:42:47 UTC |
d5ab602 | Sergey Teplyakov | 20 November 2015, 17:17:54 UTC | Merge pull request #309 from SergeyTeplyakov/buildBreakFix Fix for a build break. | 20 November 2015, 17:17:54 UTC |
af4e1c9 | Sergey Tepliakov | 20 November 2015, 16:59:42 UTC | Fix for a build break. | 20 November 2015, 16:59:42 UTC |
366e422 | Sergey Teplyakov | 20 November 2015, 05:52:19 UTC | Merge pull request #305 from yaakov-h/pr-PathGetTempFileName Extend postcondition on Path.GetTempFileName | 20 November 2015, 05:52:19 UTC |
bd2c4c4 | Sergey Teplyakov | 20 November 2015, 05:47:12 UTC | Merge pull request #295 from yaakov-h/pr-PropertyChangedEventArgs Remove false contract on PropertyChangedEventArgs | 20 November 2015, 05:47:12 UTC |
20991bc | Yaakov | 19 November 2015, 04:40:42 UTC | Fix compilation | 19 November 2015, 04:40:42 UTC |
9b796e3 | Yaakov | 19 November 2015, 04:26:21 UTC | Add missing Task properties and TaskStatus | 19 November 2015, 04:26:21 UTC |
d4bb09e | Yaakov | 19 November 2015, 04:20:42 UTC | Fix mismatching return value | 19 November 2015, 04:20:42 UTC |
8849a3a | Yaakov | 19 November 2015, 03:28:58 UTC | Add [Pure] to OperatingSystem.ServicePack | 19 November 2015, 03:28:58 UTC |
9b2a377 | Yaakov | 19 November 2015, 02:50:06 UTC | Add contracts for System.OperatingSystem Based on MSDN and Microsoft Reference Source. | 19 November 2015, 02:52:55 UTC |
9fccb9d | Yaakov | 19 November 2015, 02:39:30 UTC | Extend postcondition on Path.GetTempFileName Extends postcondition to not-null or whitespace, and length >= 4 since it must end with ".TMP" | 19 November 2015, 02:39:30 UTC |
d174f0f | Yaakov | 19 November 2015, 02:28:51 UTC | Add ArgumentOutOfRangeException on Task.FromCanceled | 19 November 2015, 02:28:51 UTC |
3f3d9a7 | Yaakov | 19 November 2015, 02:01:08 UTC | Add [Pure] and more postconditions to newly contracted Task methods | 19 November 2015, 02:01:08 UTC |
79edddd | Yaakov | 08 November 2015, 23:36:46 UTC | Update System.Threading.Tasks.Task for NET45/46 Adds missing .NET 4.5 API Task.FromResult<TResult>, and adds new .NET 4.6 APIs FromCanceled, FromCanceled<TResult>, FromException, FromException<TResult> and CompletedTask. | 08 November 2015, 23:36:46 UTC |
ed7ed13 | Yaakov | 08 November 2015, 23:12:41 UTC | Remove false contract on PropertyChangedEventArgs System.ComponentModel.PropertyChangedEventArgs: propertyName/PropertyName can be null. MSDN documentation for PropertyChangedEventArgs Constructor (String): An Empty value or null for the propertyName parameter indicates that all of the properties have changed. | 08 November 2015, 23:12:41 UTC |
8bd3a87 | Sergey Tepliakov | 08 November 2015, 17:48:00 UTC | Asynchronous postcondition check now synchronous. Fix for #178 | 08 November 2015, 17:48:00 UTC |
01b26c5 | Sergey Tepliakov | 07 November 2015, 07:33:59 UTC | Fix for #191 | 07 November 2015, 07:41:35 UTC |
c3085f5 | Sergey Tepliakov | 27 October 2015, 23:35:38 UTC | temporary changes | 07 November 2015, 07:41:34 UTC |
9acac35 | Alex Fedotov | 05 November 2015, 20:18:17 UTC | Some .NET Framework 4.6 contracts | 05 November 2015, 20:18:17 UTC |
1230c02 | Alex Fedotov | 05 November 2015, 18:38:34 UTC | Producing contract reference assemblies for .NET Framework 4.6 | 05 November 2015, 18:38:34 UTC |
0f817e7 | Sergey Teplyakov | 05 November 2015, 16:18:01 UTC | Merge pull request #290 from hubuk/code-tools-arch-change Fixed missing closing parenthesis issue. | 05 November 2015, 16:18:01 UTC |
c6a42e6 | Hubert Bukowski | 05 November 2015, 06:56:13 UTC | Fixed missing parenthesis issue. | 05 November 2015, 06:56:13 UTC |
aa87640 | Sergey Teplyakov | 05 November 2015, 04:19:01 UTC | Merge pull request #276 from tom-englert/Issue169-3 Update imported CCI2 binaries, compile CCDoc | 05 November 2015, 04:19:01 UTC |
b0a47b2 | Sergey Teplyakov | 05 November 2015, 04:18:08 UTC | Merge pull request #282 from hubuk/code-tools-arch-change Changed path to Program Files directory to a platform dependent X86 version. | 05 November 2015, 04:18:08 UTC |
79fb4b9 | Hubert Bukowski | 04 November 2015, 08:17:08 UTC | Make use of Path.Combine. | 04 November 2015, 08:17:08 UTC |
932c471 | Sergey Teplyakov | 04 November 2015, 07:24:36 UTC | Merge pull request #286 from tom-englert/Issue285 Add missing contracts in System.Windows.Data.MultiBinding | 04 November 2015, 07:24:36 UTC |
3c8733e | Sergey Teplyakov | 04 November 2015, 07:24:04 UTC | Merge pull request #284 from tom-englert/Issue283 Add missing contracts in System.Windows.Input.InputManager | 04 November 2015, 07:24:04 UTC |
143ceff | Valentin Wüstholz | 03 November 2015, 20:43:55 UTC | Merge pull request #287 from mariachris/master Cleaning up, so that build, analysis, and tests succeed | 03 November 2015, 20:43:55 UTC |
2a89450 | Maria Christakis | 03 November 2015, 20:36:03 UTC | Skipped failing tests. | 03 November 2015, 20:36:03 UTC |
d9a24ef | Maria Christakis | 03 November 2015, 01:02:03 UTC | More cleaning up. | 03 November 2015, 01:02:13 UTC |
654ffc6 | Maria Christakis | 03 November 2015, 00:47:54 UTC | Disabled failing tests. | 03 November 2015, 00:47:54 UTC |
f55ed40 | Maria Christakis | 02 November 2015, 23:41:58 UTC | Fixed build errors and static-analysis warnings. | 02 November 2015, 23:41:58 UTC |
27ff17b | Maria Christakis | 02 November 2015, 02:18:18 UTC | Merge branch 'master' of https://github.com/mariachris/CodeContracts | 02 November 2015, 02:18:18 UTC |
43795fe | Valentin Wüstholz | 26 October 2015, 21:51:34 UTC | Do refactoring of timers to allow us to add symbolic timers and timeouts. | 02 November 2015, 01:21:27 UTC |
a64c80c | Maria Christakis | 02 November 2015, 01:06:52 UTC | Merge pull request #1 from wuestholz/master Do refactoring of timers to allow us to add symbolic timers and timeouts. | 02 November 2015, 01:06:52 UTC |
86e4c72 | tom-englert | 25 October 2015, 15:46:25 UTC | Simplify .gitignore | 01 November 2015, 14:10:30 UTC |
aa69629 | tom-englert | 25 October 2015, 11:28:59 UTC | Build CCDoc with solution | 01 November 2015, 14:10:30 UTC |
e5b84b0 | tom-englert | 25 October 2015, 10:50:33 UTC | Build CCI2 from cciast-73379 and ccimetadata-73372 - Signing was added to CSharp- and VBSourceEmitter projects - *.Contracts.dll taken from debug build where "Contract Reference Assembly" option was off in release configuration. | 01 November 2015, 14:01:30 UTC |
7402afc | tom-englert | 01 November 2015, 10:58:13 UTC | Add missing contracts | 01 November 2015, 10:58:13 UTC |
a2fa884 | tom-englert | 01 November 2015, 10:01:27 UTC | Add missing contracts in System.Windows.Input.InputManager | 01 November 2015, 10:16:43 UTC |
6090874 | Hubert Bukowski | 28 October 2015, 16:56:59 UTC | Changed Program Files path in CodeTools to a platform dependent. CodeToolsUpdate project was looking for MSBuild in a Program Files directory appropriate for its current architecture. MSBuild is located in X86 version of Program Files. | 28 October 2015, 16:56:59 UTC |
c5626e3 | Sergey Teplyakov | 28 October 2015, 00:18:58 UTC | Merge pull request #280 from SergeyTeplyakov/bugs/bug273 Exclude attributes from precondition visibility verification | 28 October 2015, 00:18:58 UTC |
fac25ab | Sergey Tepliakov | 28 October 2015, 00:18:14 UTC | Address code review comment. | 28 October 2015, 00:18:14 UTC |
20a10aa | Sergey Teplyakov | 27 October 2015, 23:31:50 UTC | Merge pull request #281 from hubuk/master Changed registry access to use 32 bit view for CodeToolsUpdate project. | 27 October 2015, 23:31:50 UTC |
67ed294 | Hubert Bukowski | 27 October 2015, 23:15:03 UTC | Changed registry access to use 32 bit view. This change is required to show Code Contracts property page in Visual Studio after the project paltform was changed from x86 to Any CPU. | 27 October 2015, 23:15:03 UTC |
03e84ff | Sergey Tepliakov | 26 October 2015, 23:44:51 UTC | Exclude attributes from precondition visibility verification Fix for #273 | 26 October 2015, 23:57:40 UTC |
9d18504 | Valentin Wüstholz | 26 October 2015, 21:51:34 UTC | Do refactoring of timers to allow us to add symbolic timers and timeouts. | 26 October 2015, 21:51:34 UTC |
5430e9a | Sergey Teplyakov | 26 October 2015, 01:37:27 UTC | Merge pull request #269 from hubuk/config-rework Removed unused configurations from CodeTools solution. | 26 October 2015, 01:37:27 UTC |
fef8d0d | Sergey Teplyakov | 25 October 2015, 18:32:31 UTC | Merge pull request #271 from SergeyTeplyakov/bugs/bug270 Add special logic for pdbs without /names stream | 25 October 2015, 18:32:31 UTC |
e0c47c1 | Sergey Tepliakov | 25 October 2015, 17:54:41 UTC | Fix typo | 25 October 2015, 17:54:41 UTC |
3bbeec0 | Sergey Tepliakov | 25 October 2015, 01:55:01 UTC | Fix for #275. Add additional logic for type comparison to cover generic async methods. | 25 October 2015, 04:37:06 UTC |