| 7255a95 | Sergey Teplyakov | 11 March 2017, 22:46:20 UTC | Merge pull request #482 from WiseTechGlobal/wtg/pr/vs2017 Add MSBuild targets for VS2017 | 11 March 2017, 22:46:20 UTC |
| 3b44d3e | Yaakov Smith | 08 March 2017, 02:48:30 UTC | It would help if the MSBuild15 targets were actually part of a feature. | 08 March 2017, 02:48:30 UTC |
| 0b18b2e | Yaakov Smith | 08 March 2017, 02:43:41 UTC | Fix installer - targets for 15.0 should have unique GUID | 08 March 2017, 02:43:41 UTC |
| 07804ed | Yaakov Smith | 08 March 2017, 02:31:21 UTC | Use 4.6.x reference assemblies for 4.6.2 in VS2013 and VS2015 | 08 March 2017, 02:31:21 UTC |
| 5884b5e | Yaakov Smith | 08 March 2017, 02:26:29 UTC | Add .vs to .gitignore | 08 March 2017, 02:26:29 UTC |
| 8162d00 | Yaakov Smith | 08 March 2017, 02:22:22 UTC | Add MSBuild targets for VS2017 | 08 March 2017, 02:25:59 UTC |
| a7df47a | Sergey Teplyakov | 12 December 2016, 02:29:13 UTC | Merge pull request #459 from WiseTechGlobal/wtg/pr/rsp-generation Add flag to generate cccheck RSP at build time | 12 December 2016, 02:29:13 UTC |
| 1803c2a | Sergey Teplyakov | 12 December 2016, 00:43:45 UTC | Merge pull request #464 from kkm000/patch-1 Support SQL Local DB 2016 | 12 December 2016, 00:43:45 UTC |
| 84bbcb1 | Sergey Teplyakov | 12 December 2016, 00:42:59 UTC | Merge pull request #470 from tom-englert/SyncR# Add missing contracts found when aligning CC with R# | 12 December 2016, 00:42:59 UTC |
| b87d7a0 | tom-englert | 01 December 2016, 18:39:25 UTC | Add missing contracts found when aligning CC with R# External Annotations (https://github.com/JetBrains/ExternalAnnotations) | 01 December 2016, 18:39:25 UTC |
| da71884 | Kirill Katsnelson | 11 October 2016, 02:11:11 UTC | Support SQL Local DB 2016 | 11 October 2016, 02:11:11 UTC |
| 9cf9f54 | Sergey Teplyakov | 26 September 2016, 16:28:00 UTC | Merge pull request #457 from vanillajonathan/patch-1 Fixed capitalization in parameter | 26 September 2016, 16:28:00 UTC |
| 30ab1fe | Yaakov Smith | 26 September 2016, 04:33:23 UTC | Add CodeContractsDeferAnalysis to do all of static checking except actually running cccheck.exe | 26 September 2016, 06:04:25 UTC |
| 8bdc718 | Jonathan | 25 September 2016, 20:58:29 UTC | Fixed capitalization in parameter Fixed capitalization of `scopeid` parameter to camelCase in order to adhere to the .NET naming convention. | 25 September 2016, 20:58:29 UTC |
| 7aef039 | Yaakov Smith | 22 September 2016, 03:37:44 UTC | Merge remote-tracking branch 'microsoft/master' into internal/master | 22 September 2016, 03:37:44 UTC |
| a6f1d39 | Sergey Teplyakov | 26 July 2016, 22:19:12 UTC | Merge pull request #452 from mnkraus/FixAssemblyRefs Forced AssemblyRef flags to be ECMA compatible when writing output | 26 July 2016, 22:19:12 UTC |
| fc1623c | Martin Kraus | 26 July 2016, 12:20:16 UTC | Forced AssemblyRef flags to be ECMA compatible when writing output | 26 July 2016, 12:20:16 UTC |
| 01e007b | Sergey Teplyakov | 15 July 2016, 05:32:52 UTC | Merge pull request #393 from jeroen-mostert/master Add preconditions to System.Text.Encoding | 15 July 2016, 05:32:52 UTC |
| e733b0a | Sergey Teplyakov | 28 June 2016, 21:59:09 UTC | Merge pull request #446 from tom-englert/Issue340 Add a test case and revert changes in reader as it breaks the tests. | 28 June 2016, 21:59:09 UTC |
| f7c92fb | tom-englert | 28 June 2016, 18:32:47 UTC | Add a test case and revert changes in reader as it breaks the tests. | 28 June 2016, 18:32:47 UTC |
| 67b5782 | Sergey Teplyakov | 28 June 2016, 17:48:38 UTC | Merge pull request #445 from tom-englert/Issue340 Additional fix for #340 | 28 June 2016, 17:48:38 UTC |
| fd0e5ff | tom-englert | 28 June 2016, 14:58:01 UTC | Additional fix for #340: Type arguments can't start with a reserved char, so fall back to standard behavior in this case. | 28 June 2016, 14:58:01 UTC |
| 6cc1faf | Valentin Wüstholz | 15 June 2016, 01:43:53 UTC | Add a test. | 15 June 2016, 02:15:31 UTC |
| e904c8d | Valentin Wüstholz | 15 June 2016, 01:10:20 UTC | Minor changes | 15 June 2016, 01:10:20 UTC |
| 65d5d79 | Yaakov Smith | 01 June 2016, 01:59:54 UTC | Fix typo in comment - OptionsParsing.cs | 01 June 2016, 01:59:54 UTC |
| dd92cd7 | Yaakov Smith | 01 June 2016, 01:23:50 UTC | Fix static checker dogfooding warning - remove redundant null-check | 01 June 2016, 01:23:50 UTC |
| e1c657e | Yaakov Smith | 01 June 2016, 01:22:58 UTC | Fix static checker dogfooding warning - make un-mutated field readonly | 01 June 2016, 01:22:58 UTC |
| bf32538 | Sergey Teplyakov | 24 May 2016, 05:55:01 UTC | Merge pull request #426 from WiseTechGlobal/wtg/wip/WI00119105 Fixes for various issues | 24 May 2016, 05:55:01 UTC |
| 88a752b | Sergey Teplyakov | 24 May 2016, 05:23:52 UTC | Merge pull request #413 from DanAtkinson/patch-1 Comment modification for language code | 24 May 2016, 05:23:52 UTC |
| 75b1c47 | Sergey Teplyakov | 24 May 2016, 05:23:28 UTC | Merge pull request #390 from hubuk/issue221 Added support for array creation in contract methods in Roslyn generated code. | 24 May 2016, 05:23:28 UTC |
| 4342722 | Sergey Teplyakov | 24 May 2016, 05:23:13 UTC | Merge pull request #371 from tom-englert/Issue366 Add null check to avoid crash when parsing Roslyn generated code. | 24 May 2016, 05:23:13 UTC |
| b2187c4 | Sergey Teplyakov | 24 May 2016, 05:22:48 UTC | Merge pull request #359 from yaakov-h/pr/fix-framework-targetting Use .NET 4.6 reference assemblies for 4.6.1 | 24 May 2016, 05:22:48 UTC |
| dd2be7a | Sergey Teplyakov | 24 May 2016, 05:16:04 UTC | Merge pull request #400 from davidhesselbom/did-you-meant-fix Replaced "did you meant" with "did you mean". | 24 May 2016, 05:16:04 UTC |
| dd1a1d1 | Yaakov Smith | 19 May 2016, 06:22:23 UTC | Fix ContractDeclarativeAssemblyAttribute definition in VB | 19 May 2016, 06:22:23 UTC |
| 76f833b | Yaakov Smith | 19 May 2016, 04:47:23 UTC | Remove ContractDeclarativeAssemblyAttribute from static analysis in an attempt to mitigate #423. | 19 May 2016, 04:47:23 UTC |
| 818cf82 | Yaakov Smith | 19 May 2016, 04:44:27 UTC | Remove precondition on Expression.NewArrayInit that is statically unprovable when the compiler generates Expression calls from LINQ. Fixes #424. | 19 May 2016, 04:44:27 UTC |
| dff095b | Yaakov Smith | 19 May 2016, 04:43:16 UTC | Add missing postcondition to System.Type.GetMethods(). Fixes #414. | 19 May 2016, 04:43:16 UTC |
| 65828ff | Yaakov Smith | 19 May 2016, 04:41:49 UTC | Fix whitespace in System.Type.cs | 19 May 2016, 04:41:49 UTC |
| 1ed6607 | Dan Atkinson | 04 May 2016, 16:08:56 UTC | Comment modification for language code Noticed that the comment for the `lang` on `AddSort` had 'us-en', not en-us. | 04 May 2016, 16:08:56 UTC |
| 8dc8b66 | Yaakov Smith | 04 May 2016, 01:34:58 UTC | Merge remote-tracking branch 'yaakov/pr/fix-framework-targetting' into internal/master | 04 May 2016, 01:34:58 UTC |
| 54098c5 | Sergey Teplyakov | 03 May 2016, 17:53:31 UTC | Merge pull request #410 from mike-barnett/master For 64-bit assemblies, preserve the imagebase value when rewriting. | 03 May 2016, 17:53:31 UTC |
| 6b1f006 | Valentin Wüstholz | 02 May 2016, 19:32:48 UTC | Merge pull request #412 from wuestholz/master Add support for bounded static analysis | 02 May 2016, 19:32:48 UTC |
| fddedc7 | Valentin Wüstholz | 02 May 2016, 18:34:13 UTC | Minor fix | 02 May 2016, 18:34:13 UTC |
| a334dbf | Valentin Wüstholz | 02 May 2016, 16:50:30 UTC | Merge https://github.com/Microsoft/CodeContracts | 02 May 2016, 16:50:30 UTC |
| b1f94fb | Mike Barnett | 02 May 2016, 14:35:09 UTC | Fro 32-bit assemblies, use the default imageBase, because doing otherwise causes bad assemblies if the module's imageBase is bigger than 0x400000. | 02 May 2016, 14:35:09 UTC |
| 6429392 | Mike Barnett | 28 April 2016, 23:16:54 UTC | Correctly propagate the imagebase and sizeofStackReserve for 64-bit assemblies. | 28 April 2016, 23:16:54 UTC |
| 566fdfb | Valentin Wüstholz | 24 March 2016, 17:26:04 UTC | Extend the CSV output. | 24 March 2016, 17:26:04 UTC |
| eeb23f5 | David Hesselbom | 24 March 2016, 16:45:45 UTC | Replaced "did you meant" with "did you mean". | 24 March 2016, 16:48:21 UTC |
| 79a04c9 | Sergey Teplyakov | 24 March 2016, 15:10:05 UTC | Merge pull request #398 from davidhesselbom/undestand-typo Fixed typo: undestand -> understand | 24 March 2016, 15:10:05 UTC |
| be44ab3 | Sergey Teplyakov | 24 March 2016, 15:09:15 UTC | Merge pull request #399 from davidhesselbom/README-tools-list-fix Improved formatting of "provided tools" list in README. | 24 March 2016, 15:09:15 UTC |
| a5269f4 | David Hesselbom | 24 March 2016, 09:48:34 UTC | Improved formatting of "provided tools" list in README. | 24 March 2016, 09:48:34 UTC |
| 83f41d4 | David Hesselbom | 24 March 2016, 09:32:42 UTC | Fixed typo: undestand -> understand | 24 March 2016, 09:32:42 UTC |
| 84347fa | Valentin Wüstholz | 16 March 2016, 02:37:45 UTC | Add license header to test program files. | 16 March 2016, 02:37:45 UTC |
| 90764e8 | Valentin Wüstholz | 15 March 2016, 21:28:06 UTC | Merge https://github.com/Microsoft/CodeContracts | 15 March 2016, 21:31:20 UTC |
| b198962 | jeroen-mostert | 01 March 2016, 22:39:03 UTC | Rearrange terms to avoid failing on overflow; do null checks first | 01 March 2016, 22:39:03 UTC |
| 6034514 | jeroen-mostert | 01 March 2016, 22:07:39 UTC | Add missing preconditions | 01 March 2016, 22:07:39 UTC |
| 20d802d | Hubert Bukowski | 24 February 2016, 21:55:12 UTC | Added support for array creation in contract methods in Roslyn generated code. | 24 February 2016, 22:01:06 UTC |
| af1f5d8 | Sergey Teplyakov | 13 February 2016, 00:35:26 UTC | Merge pull request #383 from hubuk/issue380 Added template parameters mapping to contracts and closures duplicator. | 13 February 2016, 00:35:26 UTC |
| d6e47e6 | Hubert Bukowski | 12 February 2016, 12:08:33 UTC | Added template parameters mapping to contracts and closures dupicator. | 12 February 2016, 22:39:03 UTC |
| 9a207ef | Sergey Teplyakov | 10 February 2016, 22:20:01 UTC | Merge pull request #376 from hubuk/issue375 Fixed invalid dash character in build script. | 10 February 2016, 22:20:01 UTC |
| 0338bab | Hubert Bukowski | 09 February 2016, 09:29:02 UTC | Do not run 'git update-index' outside git reprository. | 09 February 2016, 09:29:02 UTC |
| 1e93db6 | Hubert Bukowski | 09 February 2016, 09:02:59 UTC | Fixed invalid dash character in build script. | 09 February 2016, 09:02:59 UTC |
| 5c9cb2a | Valentin Wüstholz | 08 February 2016, 18:50:42 UTC | Fix minor issue. | 08 February 2016, 18:50:42 UTC |
| e0a9c32 | Sergey Teplyakov | 08 February 2016, 17:18:13 UTC | Merge pull request #372 from SergeyTeplyakov/bugs/bug365 Fix for #365 | 08 February 2016, 17:18:13 UTC |
| db43eae | Valentin Wüstholz | 08 February 2016, 02:00:16 UTC | Add new option '/maxFieldReads'. | 08 February 2016, 02:00:16 UTC |
| 53d2ea7 | Sergey Teplyakov | 07 February 2016, 05:32:13 UTC | Merge pull request #358 from yaakov-h/pr/348-decl-out-path Output declarative assemblies to output directory | 07 February 2016, 05:32:13 UTC |
| 4c215e2 | Sergey Teplyakov | 07 February 2016, 05:31:36 UTC | Merge pull request #341 from SergeyTeplyakov/bugs/bug340 Fix for #340. | 07 February 2016, 05:31:36 UTC |
| 765a85d | Sergey Tepliakov | 05 February 2016, 21:59:24 UTC | Removed unused field | 05 February 2016, 21:59:24 UTC |
| c3576bd | Sergey Teplyakov | 05 February 2016, 19:26:44 UTC | Merge pull request #370 from SergeyTeplyakov/feature/enableFoxtrotTests Enable foxtrot tests | 05 February 2016, 19:26:44 UTC |
| a8ae2e3 | tom-englert | 05 February 2016, 19:00:50 UTC | Add null check to avoid crash when parsing Roslyn generated code. | 05 February 2016, 19:00:50 UTC |
| b8bba94 | Sergey Tepliakov | 05 February 2016, 18:35:36 UTC | Enable foxtrot tests | 05 February 2016, 18:35:36 UTC |
| 2c4ce22 | Sergey Tepliakov | 05 February 2016, 17:17:04 UTC | Fix for #365 | 05 February 2016, 17:17:04 UTC |
| ebf9db7 | Sergey Teplyakov | 04 February 2016, 00:16:44 UTC | Merge pull request #367 from yaakov-h/pr/301-remove-unprovable-contracts Comment out statically-unprovable contracts. | 04 February 2016, 00:16:44 UTC |
| d06cd1e | Yaakov | 03 February 2016, 22:43:53 UTC | Comment out statically-unprovable contracts. The static analyzer cannot prove anything about `field` when the compiler has generated the call to Expression.Field when translating Linq expressions into code. Fixes #301. | 03 February 2016, 22:43:53 UTC |
| 080baa7 | Valentin Wüstholz | 03 February 2016, 22:33:42 UTC | Minor refactoring | 03 February 2016, 22:33:42 UTC |
| 1448533 | Yaakov | 03 February 2016, 21:52:13 UTC | Change Decl dir name to 'CodeContractsDeclarative' | 03 February 2016, 21:52:13 UTC |
| c9905d1 | Sergey Teplyakov | 03 February 2016, 06:15:47 UTC | Merge pull request #362 from yaakov-h/pr/352-EncoderParameters Add contracts for System.Drawing.Imaging.EncoderParameters | 03 February 2016, 06:15:47 UTC |
| d480a13 | Sergey Teplyakov | 03 February 2016, 05:42:00 UTC | Merge pull request #364 from yaakov-h/pr/346-XmlSchemaSet Remove invalid precondition on System.Xml.XmlSchemaSet | 03 February 2016, 05:42:00 UTC |
| 517dc8f | Sergey Teplyakov | 03 February 2016, 04:32:44 UTC | Merge pull request #361 from yaakov-h/pr/349-contract-newexpression Remove invalid postcondition in System.Linq.Expression.NewExpression.Members | 03 February 2016, 04:32:44 UTC |
| be6d185 | Sergey Teplyakov | 03 February 2016, 04:32:23 UTC | Merge pull request #360 from yaakov-h/pr/351-contract-bindingrestrictions Remove invalid precondition from System.Dynamic.BindingRestrictions.GetInstanceRestriction. | 03 February 2016, 04:32:23 UTC |
| 81f96db | Sergey Teplyakov | 03 February 2016, 04:30:24 UTC | Merge pull request #354 from hubuk/multitarget Provided long term solution for broken build. | 03 February 2016, 04:30:24 UTC |
| 15cba07 | Yaakov | 03 February 2016, 03:57:20 UTC | Remove invalid precondition on System.Xml.XmlSchemaSet Renamed file to match class name. Fixes #346. | 03 February 2016, 03:57:20 UTC |
| 822ce03 | Yaakov | 03 February 2016, 03:54:02 UTC | Add contracts for System.Drawing.Imaging.EncoderParameters Includes stub for System.Drawing.Imaging.EncoerParameter. Fixes #352. | 03 February 2016, 03:54:02 UTC |
| ad33c7a | Yaakov | 03 February 2016, 03:14:29 UTC | Remove invalid postcondition in System.Linq.Expression.NewExpression.Members Fixes #349. | 03 February 2016, 03:14:32 UTC |
| 17c0b61 | Yaakov | 03 February 2016, 02:58:40 UTC | Remove invalid precondition from System.Dynamic.BindingRestrictions.GetInstanceRestriction. Fixes #351. | 03 February 2016, 02:59:15 UTC |
| 03bee0d | Yaakov | 03 February 2016, 02:52:50 UTC | Use .NET 4.6 reference assemblies for 4.6.1 Also use .NET 4.6 reference assemblies when building 4.6/4.6.1 with Visual Studio 2013 | 03 February 2016, 02:52:50 UTC |
| d7ddfdc | Yaakov | 03 February 2016, 02:29:17 UTC | Output declarative assemblies to output directory Old behaviour: Declarative assemblies live in obj\ somewhere New behaviour: Declarative assemblies live in bin\ somewhere (subject to OutputPath being customized by the user) Fixes #348. | 03 February 2016, 02:29:17 UTC |
| e45a918 | hubuk | 28 January 2016, 14:07:11 UTC | Provided long term solution for broken build. Added support for .Net reference assemblies located outside repository. Changed reference assemblies for .Net 4.6 to MSIL in order to get rid of compilation warnings. | 28 January 2016, 16:05:29 UTC |
| a5a9b49 | Valentin Wüstholz | 26 January 2016, 23:56:25 UTC | Minor change | 26 January 2016, 23:56:25 UTC |
| 7e78df5 | Valentin Wüstholz | 26 January 2016, 23:42:22 UTC | Fix more issues. | 26 January 2016, 23:42:22 UTC |
| 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 |
| a475a27 | Valentin Wüstholz | 26 January 2016, 23:05:35 UTC | Fix an issue. | 26 January 2016, 23:05:35 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 |
| 7a482ca | Valentin Wüstholz | 26 January 2016, 20:21:22 UTC | Minor fix in CSV output | 26 January 2016, 20:21:22 UTC |
| f0c4d1a | hubuk | 26 January 2016, 14:51:56 UTC | Fix broken build. | 26 January 2016, 14:56:00 UTC |
