Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / microsoft/CodeContracts issues and pull requests

#507 - Enable contracts in VS Community 2019

Issue - State: open - Opened by gsscoder over 4 years ago

#506 - Preconditions with non-interger decimals are broken

Issue - State: open - Opened by grayed almost 5 years ago

#505 - Rewrite tool introduce bugs in local functions

Issue - State: open - Opened by ehakram over 5 years ago

#504 - Fix justification message of Microsoft.Research.CodeAnalysis.Witness

Pull Request - State: open - Opened by akihikodaki almost 6 years ago

#503 - Fix typo in directive

Pull Request - State: open - Opened by maxproske over 6 years ago

#502 - BadImageFormatException with enabled runtime checking

Issue - State: open - Opened by fubar-coder over 6 years ago

#501 - Reading assembly 'Unity.Abstractions' generate System.OutOfMemoryException

Issue - State: open - Opened by bratchikov over 6 years ago - 1 comment

#500 - VS2017 path to sn.exe is wrong

Issue - State: open - Opened by yaakov-h over 6 years ago

#499 - Add AppVeyor build status badge

Pull Request - State: open - Opened by aidmsu over 6 years ago

#498 - Another NullReferenceException with closure in constructor

Issue - State: open - Opened by baSSiLL almost 7 years ago

#497 - Document for the implementation/source code?

Issue - State: open - Opened by LYP951018 almost 7 years ago

#496 - Bugfix/495 dotnet build

Pull Request - State: open - Opened by johncrim about 7 years ago - 4 comments

#495 - Build with CodeContracts fails with dotnet build

Issue - State: open - Opened by johncrim about 7 years ago

#494 - COMException (0x80004005)

Issue - State: open - Opened by vladexl about 7 years ago

#493 - Do not work with visual studio 2017

Issue - State: open - Opened by wavebit about 7 years ago - 6 comments

#492 - How to enable "perform runtime contract checking" in Visual Studio 2017?

Issue - State: open - Opened by SaiSK88 about 7 years ago - 19 comments

#490 - IDictionary contracts and boxing

Issue - State: open - Opened by AndirNotes over 7 years ago - 2 comments

#489 - StackOverflowException in cccheck.exe

Issue - State: open - Opened by yaakov-h over 7 years ago

#487 - .NET Framework 4.7 BCL Contracts

Issue - State: open - Opened by yaakov-h over 7 years ago

#486 - Fixes: #471 Can't build in VS 2015

Pull Request - State: open - Opened by johncrim over 7 years ago - 3 comments

#485 - Rosalyn Code Analyzer for Code Contracts Usage

Issue - State: closed - Opened by normanhh3 over 7 years ago - 4 comments

#484 - Removing Code Contracts from a project when upgrading to VS2017

Issue - State: closed - Opened by DiskCrasher over 7 years ago - 1 comment

#483 - Rewriter produces incorrect debug information for async methods in PDB file

Issue - State: open - Opened by aleksd over 7 years ago - 1 comment

#482 - Add MSBuild targets for VS2017

Pull Request - State: closed - Opened by yaakov-h over 7 years ago - 6 comments

#480 - DotNet.Contracts hard to find

Issue - State: open - Opened by NickStrupat over 7 years ago - 1 comment

#476 - CodeContracts not working in VS2017

Issue - State: open - Opened by RealDotNetDave over 7 years ago - 28 comments

#475 - Target correct reference assemblies for .Net 4.6.2 and 4.5.2

Pull Request - State: closed - Opened by Daniel-Svensson over 7 years ago - 1 comment

#473 - Fix nuget package

Pull Request - State: closed - Opened by Daniel-Svensson over 7 years ago - 3 comments

#472 - Documentation errors in userdoc.pdf

Issue - State: open - Opened by HugoRoss almost 8 years ago

#471 - Error trying to compile the latest source

Issue - State: open - Opened by richgilson almost 8 years ago - 1 comment

#470 - Add missing contracts found when aligning CC with R#

Pull Request - State: closed - Opened by tom-englert almost 8 years ago - 1 comment

#468 - Ensures not deduced from setting autoproperty to constant value

Issue - State: closed - Opened by maritaria almost 8 years ago - 1 comment

#467 - Class invariants not checked on autoproperty with public setter

Issue - State: open - Opened by maritaria almost 8 years ago - 1 comment

#466 - Invariants not respected in static method?

Issue - State: open - Opened by summivox almost 8 years ago - 5 comments

#465 - CC breaks if XML axis is used within a lambda function (VB.net)

Issue - State: open - Opened by bkqc almost 8 years ago

#464 - Support SQL Local DB 2016

Pull Request - State: closed - Opened by kkm000 almost 8 years ago - 1 comment

#463 - Invariant on derived `internal` property fired too early

Issue - State: open - Opened by summivox almost 8 years ago - 1 comment

#462 - Add options to cccheck to find source in a different location

Pull Request - State: open - Opened by yaakov-h about 8 years ago

#460 - Contract abbreviators do not work with async methods.

Issue - State: open - Opened by voroninp about 8 years ago

#459 - Add flag to generate cccheck RSP at build time

Pull Request - State: closed - Opened by yaakov-h about 8 years ago

#458 - Async methods in VB.NET crash the rewriter

Issue - State: open - Opened by bkqc about 8 years ago

#457 - Fixed capitalization in parameter

Pull Request - State: closed - Opened by vanillajonathan about 8 years ago - 1 comment

#456 - Pdb-rewriter seems to wipe out source files checksums from pdb

Issue - State: open - Opened by ESolovova about 8 years ago - 1 comment
Labels: bug, rewriter

#455 - NullReferenceException running CodeContracts

Issue - State: open - Opened by flcdrg about 8 years ago

#451 - Visual Studio 2017 support

Issue - State: open - Opened by yaakov-h about 8 years ago - 18 comments

#450 - Code Contracts Rewriter creates invalid assembly references

Issue - State: closed - Opened by Alois-xx about 8 years ago - 3 comments

#446 - Add a test case and revert changes in reader as it breaks the tests.

Pull Request - State: closed - Opened by tom-englert over 8 years ago - 2 comments

#431 - emit into XML doc uses "decimal" as the name for a generic type parameter

Issue - State: open - Opened by ckerth over 8 years ago - 1 comment

#428 - Project property page not registered in VS2015

Issue - State: open - Opened by GSPP over 8 years ago - 18 comments

#409 - What does the Future of Code Contracts Look Like?

Issue - State: open - Opened by lundmikkel over 8 years ago - 40 comments

#375 - Can't build CodeContracts - installer building fails

Issue - State: open - Opened by Dennis-Petrov over 8 years ago - 19 comments

#371 - Add null check to avoid crash when parsing Roslyn generated code.

Pull Request - State: closed - Opened by tom-englert over 8 years ago - 4 comments

#367 - Comment out statically-unprovable contracts.

Pull Request - State: closed - Opened by yaakov-h over 8 years ago - 1 comment

#364 - Remove invalid precondition on System.Xml.XmlSchemaSet

Pull Request - State: closed - Opened by yaakov-h over 8 years ago - 1 comment

#362 - Add contracts for System.Drawing.Imaging.EncoderParameters

Pull Request - State: closed - Opened by yaakov-h over 8 years ago

#361 - Remove invalid postcondition in System.Linq.Expression.NewExpression.Members

Pull Request - State: closed - Opened by yaakov-h over 8 years ago - 1 comment

#359 - Use .NET 4.6 reference assemblies for 4.6.1

Pull Request - State: closed - Opened by yaakov-h over 8 years ago - 2 comments

#358 - Output declarative assemblies to output directory

Pull Request - State: closed - Opened by yaakov-h over 8 years ago - 12 comments

#356 - Simplified projects and tests configuration.

Pull Request - State: closed - Opened by hubuk over 8 years ago

#330 - Errors at compile when Perform Runtime Contract Checking enabled

Issue - State: open - Opened by CreepyGnome over 8 years ago - 4 comments

#324 - Fix broken regression tests (#148)

Pull Request - State: closed - Opened by tom-englert over 8 years ago - 5 comments

#323 - Add support for Class Library (package) projects

Issue - State: open - Opened by TsengSR almost 9 years ago - 9 comments

#318 - Add contracts for System.Version

Pull Request - State: closed - Opened by yaakov-h almost 9 years ago - 2 comments

#311 - Rewrite Errors for UWP project/Build Failing

Issue - State: open - Opened by TorreyGarland almost 9 years ago - 2 comments

#306 - Add contracts for System.OperatingSystem

Pull Request - State: closed - Opened by yaakov-h almost 9 years ago

#297 - Code Contracts v.1.10

Issue - State: open - Opened by SergeyTeplyakov almost 9 years ago - 44 comments
Labels: needs discussion

#296 - Update System.Threading.Tasks.Task for NET4.5/4.6

Pull Request - State: closed - Opened by yaakov-h almost 9 years ago - 10 comments

#295 - Remove false contract on PropertyChangedEventArgs

Pull Request - State: closed - Opened by yaakov-h almost 9 years ago - 1 comment

#275 - Synchronous postcondition for async generic method

Issue - State: closed - Opened by SergeyTeplyakov almost 9 years ago - 1 comment
Labels: bug, rewriter

#267 - Bugs with ContractClassFor() silently failing to propagate some contracts

Issue - State: open - Opened by henrygab almost 9 years ago - 4 comments
Labels: bug, enhancement, question

#259 - CC thinks that uint.MaxValue is same as -1

Issue - State: open - Opened by kkm000 almost 9 years ago - 1 comment
Labels: bug, up for grabs, static checker

#255 - False positive with C# auto-implemented properties without a set accessor

Issue - State: open - Opened by ZbynekZ about 9 years ago - 2 comments
Labels: bug, up for grabs, static checker

#253 - ARM / Win10 IoT -- crashes when code contracts added

Issue - State: closed - Opened by henrygab about 9 years ago - 5 comments

#239 - Changes to support contracts for FileDialog (and other common Dialogs)

Pull Request - State: closed - Opened by ndykman about 9 years ago - 4 comments

#238 - Supporting DataGridView (and it's many related classes)

Pull Request - State: closed - Opened by ndykman about 9 years ago - 12 comments
Labels: contract issue

#235 - BadImageFormatException when using Contract.Ensures in async method, that returns task without any await

Issue - State: open - Opened by Dennis-Petrov about 9 years ago - 6 comments
Labels: bug, rewriter

#231 - CodeContracts fail with CONTRATS_FULL reference in ASP.net vNext

Issue - State: open - Opened by glatzert about 9 years ago - 27 comments
Labels: enhancement, up for grabs

#224 - Changes in System.Windows.Forms.Control

Pull Request - State: closed - Opened by ndykman about 9 years ago - 2 comments

#223 - Added Contract for GetAllNetworkInterfaces

Pull Request - State: closed - Opened by ndykman about 9 years ago - 3 comments

#203 - Fix false contract assumption encountered on System.Decimal.op_Explicit

Pull Request - State: closed - Opened by yaakov-h about 9 years ago - 4 comments

#202 - Fix MSBuild 14 path to sn.exe

Pull Request - State: closed - Opened by yaakov-h about 9 years ago - 9 comments

#199 - Use nameof in VS2015 code snippets

Issue - State: open - Opened by fedotovalex about 9 years ago - 5 comments

#191 - NullReferenceException in ccrewrite-generated code

Issue - State: closed - Opened by fedotovalex about 9 years ago - 16 comments
Labels: bug, rewriter, VS2015

#174 - CodeContracts and SCA (CA1062)

Issue - State: closed - Opened by njannink about 9 years ago - 6 comments

#172 - CC1099: Contract extraction failed: async/iterator issue in async without await

Issue - State: closed - Opened by mgaffigan about 9 years ago - 11 comments
Labels: bug, rewriter

#169 - Process is terminated due to StackOverflowException.

Issue - State: open - Opened by JaCraig about 9 years ago - 66 comments

#141 - Contract extension not showing contacts in tooltips

Issue - State: open - Opened by DanTup about 9 years ago - 13 comments
Labels: bug, editor extensions