microsoft
/
CodeContracts
зеркало из
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Граф коммитов

  • a123800627
         Merge 2070a43ac7 into 7255a95ec1 Akihiko Odaki 2018-10-06 09:40:23 +0000
  • 2070a43ac7 Fix justification message of Microsoft.Research.CodeAnalysis.Witness Akihiko Odaki 2018-10-06 18:39:01 +0900
  • cbf3f176f2
         Merge 68b88a5ed4 into 7255a95ec1 Max Proske 2018-06-24 04:03:53 +0000
  • 68b88a5ed4 Fix typo in directive Max Proske 2018-06-23 20:59:40 -0700
  • cb1f3c5561 Merge cbedb1af3a into 7255a95ec1 Andrey Dorokhov 2018-01-12 17:46:28 +0000
  • cbedb1af3a
         Add AppVeyor build status badge Andrey Dorokhov 2018-01-12 20:45:22 +0300
  • dd4c62bc28 Merge d4d73af0bf into 7255a95ec1 John Crim 2017-09-25 16:27:40 +0000
  • d4d73af0bf Fix: #495 code contracts build within dotnet John Crim 2017-09-21 15:29:43 -0700
  • a5d97b3f0a Merge 05bc869d7f into 7255a95ec1 John Crim 2017-04-12 06:17:53 +0000
  • 05bc869d7f Fixes: #471 Can't build in VS 2015 John Crim 2017-04-11 22:55:51 -0700
  • ad747a9293 Merge 80c8bef873 into 7255a95ec1 Sam Harwell 2017-03-18 01:00:06 +0000
  • 9f1978847b Merge 8f892e77fe into 7255a95ec1 Nathan Dykman 2017-03-18 00:59:51 +0000
  • d6c92e8c77 Merge 6b89f94dd3 into 7255a95ec1 Sergey Teplyakov 2017-03-13 08:13:44 +0000
  • 4eec8373a1 Merge c969e15799 into 7255a95ec1 Dennis 2017-03-11 22:46:26 +0000
  • 5798cd795b Merge 33c30a1cd2 into 7255a95ec1 Nathan Dykman 2017-03-11 22:46:26 +0000
  • ee2eba61cc Merge 0068508288 into 7255a95ec1 Nathan Dykman 2017-03-11 22:46:26 +0000
  • 3f71932dad Merge 8d5a20d4f5 into 7255a95ec1 Nathan-022 2017-03-11 22:46:25 +0000
  • 167a05bb41 Merge c89cdf112c into 7255a95ec1 Nathan Dykman 2017-03-11 22:46:25 +0000
  • 4219f5961d Merge 817b3ee128 into 7255a95ec1 Nathan Dykman 2017-03-11 22:46:25 +0000
  • 51a03bebfc Merge 45b9c5d945 into 7255a95ec1 Timothy Stiles 2017-03-11 22:46:25 +0000
  • 1ba663f063 Merge dc583056e2 into 7255a95ec1 Yaakov 2017-03-11 22:46:25 +0000
  • 7255a95ec1 Merge pull request #482 from WiseTechGlobal/wtg/pr/vs2017 master Sergey Teplyakov 2017-03-11 14:46:20 -0800
  • 3b44d3ebeb It would help if the MSBuild15 targets were actually part of a feature. Yaakov Smith 2017-03-08 13:48:30 +1100
  • 0b18b2eac5 Fix installer - targets for 15.0 should have unique GUID Yaakov Smith 2017-03-08 13:43:41 +1100
  • 07804ed9ce Use 4.6.x reference assemblies for 4.6.2 in VS2013 and VS2015 Yaakov Smith 2017-03-08 13:31:21 +1100
  • 5884b5e93a Add .vs to .gitignore Yaakov Smith 2017-03-08 13:26:29 +1100
  • 8162d003ab Add MSBuild targets for VS2017 Yaakov Smith 2017-03-08 13:22:22 +1100
  • 0bc74fc5b9 Fix review comments for nuget changes Daniel Svensson 2017-01-01 15:53:03 +0100
  • cbb61819de Target correct reference assemblies for .Net 4.6.2 and 4.5.2 Daniel Svensson 2016-12-30 10:15:02 +0100
  • 631e1d207f Simplify .targets files Daniel Svensson 2016-12-30 08:21:02 +0100
  • dcc492a24e Fix nuget package Daniel Svensson 2016-12-30 07:59:02 +0100
  • a7df47aaf1 Merge pull request #459 from WiseTechGlobal/wtg/pr/rsp-generation Sergey Teplyakov 2016-12-11 18:29:13 -0800
  • 1803c2a95f Merge pull request #464 from kkm000/patch-1 Sergey Teplyakov 2016-12-11 16:43:45 -0800
  • 84bbcb14a2 Merge pull request #470 from tom-englert/SyncR# Sergey Teplyakov 2016-12-11 16:42:59 -0800
  • b87d7a02ff Add missing contracts found when aligning CC with R# External Annotations tom-englert 2016-12-01 19:39:25 +0100
  • da7188411a Support SQL Local DB 2016 Kirill Katsnelson 2016-10-10 19:11:11 -0700
  • dc583056e2 Add ability for cccheck to find source code in a different location to where it was at compile-time. Yaakov Smith 2016-09-27 14:21:51 +1000
  • 9cf9f5489d Merge pull request #457 from vanillajonathan/patch-1 Sergey Teplyakov 2016-09-26 09:28:00 -0700
  • 30ab1fe1c6 Add CodeContractsDeferAnalysis to do all of static checking except actually running cccheck.exe Yaakov Smith 2016-09-26 14:33:23 +1000
  • 8bdc7180bd Fixed capitalization in parameter Jonathan 2016-09-25 22:58:29 +0200
  • 7aef039ffd Merge remote-tracking branch 'microsoft/master' into internal/master Yaakov Smith 2016-09-22 13:37:44 +1000
  • 817b3ee128 Minor fixes to the contracts Nathan Dykman 2016-09-12 16:04:24 -0700
  • 1c7fb895fd Fixed some compilation problems on VS2015 hubuk 2016-09-02 12:38:01 +0200
  • 2fb224ea62 Fixed post-merge problems hubuk 2016-09-01 15:43:49 +0200
  • 934dcc2816 Next part of rework. Hubert Bukowski 2016-02-20 13:13:37 +0100
  • 86ffd43b96 Next part of the preprocessor constants removed. Hubert Bukowski 2016-02-18 22:12:34 +0100
  • 982ad3a253 Simplified some preprocessor constants. Hubert Bukowski 2016-02-18 17:21:17 +0100
  • 807dddf27f Simplified preprocessor commands for System.Compiler. Hubert Bukowski 2016-02-17 18:05:49 +0100
  • 911b624372 Made all tests work in both Debug and Release. Hubert Bukowski 2016-02-02 20:33:30 +0100
  • 4384639031 Made foxtrot tests runnable in Release mode. hubuk 2016-02-02 15:51:17 +0100
  • 2eb6edf7b1 Removed Visual Studio version from project names. Hubert Bukowski 2016-02-02 00:41:12 +0100
  • ba9c985241 Removed old versions of some projects. Hubert Bukowski 2016-02-01 23:54:20 +0100
  • 9529d4667f Renamed Devlab9 configurations to Release. Changed some output directories to make build work. Aligned appveyor settings. hubuk 2016-02-01 09:32:48 +0100
  • cca3f611b9 Removed unused configurations from CodeContracts.sln hubuk 2016-02-01 08:25:46 +0100
  • a6f1d39405 Merge pull request #452 from mnkraus/FixAssemblyRefs Sergey Teplyakov 2016-07-26 15:19:12 -0700
  • fc1623cfa2 Forced AssemblyRef flags to be ECMA compatible when writing output Martin Kraus 2016-07-26 14:20:16 +0200
  • 01e007bc7b Merge pull request #393 from jeroen-mostert/master Sergey Teplyakov 2016-07-14 22:32:52 -0700
  • e733b0ae86 Merge pull request #446 from tom-englert/Issue340 Sergey Teplyakov 2016-06-28 14:59:09 -0700
  • f7c92fbc56 Add a test case and revert changes in reader as it breaks the tests. tom-englert 2016-06-28 20:32:47 +0200
  • 67b57824a3 Merge pull request #445 from tom-englert/Issue340 Sergey Teplyakov 2016-06-28 10:48:38 -0700
  • fd0e5ffc94 Additional fix for #340: Type arguments can't start with a reserved char, so fall back to standard behavior in this case. tom-englert 2016-06-28 16:58:01 +0200
  • ab6b87c911 Merge branch 'master' into issue217 Nathan Dykman 2016-06-27 11:09:49 -0700
  • 6cc1fafd92 Add a test. Valentin Wüstholz 2016-06-14 20:43:53 -0500
  • e904c8d453 Minor changes Valentin Wüstholz 2016-06-14 20:10:20 -0500
  • 65d5d795a0 Fix typo in comment - OptionsParsing.cs Yaakov Smith 2016-06-01 11:59:54 +1000
  • dd92cd7041 Fix static checker dogfooding warning - remove redundant null-check Yaakov Smith 2016-06-01 11:23:50 +1000
  • e1c657ed44 Fix static checker dogfooding warning - make un-mutated field readonly Yaakov Smith 2016-06-01 11:22:58 +1000
  • bf32538c8b Merge pull request #426 from WiseTechGlobal/wtg/wip/WI00119105 v1.10.20606.1 Sergey Teplyakov 2016-05-23 22:55:01 -0700
  • 88a752b97e Merge pull request #413 from DanAtkinson/patch-1 Sergey Teplyakov 2016-05-23 22:23:52 -0700
  • 75b1c47c4d Merge pull request #390 from hubuk/issue221 Sergey Teplyakov 2016-05-23 22:23:28 -0700
  • 4342722c09 Merge pull request #371 from tom-englert/Issue366 Sergey Teplyakov 2016-05-23 22:23:13 -0700
  • b2187c454b Merge pull request #359 from yaakov-h/pr/fix-framework-targetting Sergey Teplyakov 2016-05-23 22:22:48 -0700
  • dd2be7a842 Merge pull request #400 from davidhesselbom/did-you-meant-fix Sergey Teplyakov 2016-05-23 22:16:04 -0700
  • dd1a1d14d1 Fix ContractDeclarativeAssemblyAttribute definition in VB Yaakov Smith 2016-05-19 16:22:23 +1000
  • 76f833b33d Remove ContractDeclarativeAssemblyAttribute from static analysis in an attempt to mitigate #423. Yaakov Smith 2016-05-19 14:47:23 +1000
  • 818cf826f6 Remove precondition on Expression.NewArrayInit that is statically unprovable when the compiler generates Expression calls from LINQ. Fixes #424. Yaakov Smith 2016-05-19 14:44:27 +1000
  • dff095b904 Add missing postcondition to System.Type.GetMethods(). Fixes #414. Yaakov Smith 2016-05-19 14:43:16 +1000
  • 65828ffe75 Fix whitespace in System.Type.cs Yaakov Smith 2016-05-19 14:41:49 +1000
  • 1ed660749d Comment modification for language code Dan Atkinson 2016-05-04 17:08:56 +0100
  • 8dc8b66b27 Merge remote-tracking branch 'yaakov/pr/fix-framework-targetting' into internal/master Yaakov Smith 2016-05-04 11:34:58 +1000
  • 54098c5181 Merge pull request #410 from mike-barnett/master Sergey Teplyakov 2016-05-03 10:53:31 -0700
  • 6b1f006f8c Merge pull request #412 from wuestholz/master Valentin Wüstholz 2016-05-02 14:32:48 -0500
  • fddedc7946 Minor fix Valentin Wüstholz 2016-05-02 13:34:13 -0500
  • a334dbf224 Merge https://github.com/Microsoft/CodeContracts Valentin Wüstholz 2016-05-02 11:50:30 -0500
  • b1f94fb43e Fro 32-bit assemblies, use the default imageBase, because doing otherwise causes bad assemblies if the module's imageBase is bigger than 0x400000. Mike Barnett 2016-05-02 07:35:09 -0700
  • 6429392003 Correctly propagate the imagebase and sizeofStackReserve for 64-bit assemblies. Mike Barnett 2016-04-28 16:16:54 -0700
  • 566fdfb3c2 Extend the CSV output. Valentin Wüstholz 2016-03-24 12:26:04 -0500
  • eeb23f5b69 Replaced "did you meant" with "did you mean". David Hesselbom 2016-03-24 17:45:45 +0100
  • 79a04c9667 Merge pull request #398 from davidhesselbom/undestand-typo Sergey Teplyakov 2016-03-24 08:10:05 -0700
  • be44ab3fd0 Merge pull request #399 from davidhesselbom/README-tools-list-fix Sergey Teplyakov 2016-03-24 08:09:15 -0700
  • a5269f4314 Improved formatting of "provided tools" list in README. David Hesselbom 2016-03-24 10:48:34 +0100
  • 83f41d4fb9 Fixed typo: undestand -> understand David Hesselbom 2016-03-24 10:32:42 +0100
  • 84347fa1b8 Add license header to test program files. Valentin Wüstholz 2016-03-15 21:37:45 -0500
  • 90764e839c Merge https://github.com/Microsoft/CodeContracts Valentin Wüstholz 2016-03-15 16:28:06 -0500
  • b19896233e Rearrange terms to avoid failing on overflow; do null checks first jeroen-mostert 2016-03-01 23:39:03 +0100
  • 6034514fd9 Add missing preconditions jeroen-mostert 2016-03-01 23:07:39 +0100
  • 20d802da3b Added support for array creation in contract methods in Roslyn generated code. Hubert Bukowski 2016-02-24 22:55:12 +0100
  • 45b9c5d945 ...and give Text setter a body (oops) Timothy Stiles 2016-02-24 15:00:37 +1100
  • 678add6e55 Control - ensure non-null from Text Timothy Stiles 2016-02-24 14:59:49 +1100
  • 0cdcb39068 Remove internal/private methods/classes Timothy Stiles 2016-02-23 09:37:18 +1100