Code Contracts

Discuss and provide feedback on Code Contracts. 

• 2127
  

  Could not resolve member reference: Windows.Storage.StorageStreamTransaction::Dispose

  
  Dave Sexton Saturday, April 13, 2013 9:15 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeMonday, April 15, 2013 4:09 PM
 
• 54752
  

  Contract Abbreviator Methods from a class library

  
  DevInstinct Monday, July 12, 2010 1:53 PM
  Last Reply LeetBaal Sunday, April 14, 2013 2:42 PM
 
• 2401
  

  Project showing problems with the static checker

  
  Daniel Hilgarth Tuesday, February 26, 2013 1:31 PM
  Last Reply Daniel Hilgarth Saturday, April 13, 2013 1:05 PM
 
• 1744
  

  Code Contracts and SAP CrystalReports 13

  
  Thomas Hoekstra Monday, November 19, 2012 2:44 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeSaturday, April 13, 2013 12:42 AM
 
• 1221
  

  Please allow assembly-level settings to be changed/overridden for specific types

  
  Michael Damatov Wednesday, March 27, 2013 12:57 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeSaturday, April 13, 2013 12:34 AM
 
• 33887
  

  Changing Contract Assembly name

  
  Gentlehag Wednesday, September 23, 2009 6:16 AM
  Last Reply Manuel FahndrichMicrosoft EmployeeSaturday, April 13, 2013 12:24 AM
 
• 5187
  

  checking references of references

  
  Paul Apostol Wednesday, April 10, 2013 10:54 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeFriday, April 12, 2013 11:17 PM
 
• 1146
  

  Why is member not part of the abstract class/interface being referenced?

  
  kachris Friday, April 12, 2013 1:55 PM
  Last Reply RiSE (Research in Software Engineering) Friday, April 12, 2013 10:57 PM
 
• 6222
  

  Why is there no contract warnings?

  
  Claus Skoubølling Jørgensen Wednesday, April 10, 2013 9:19 AM
  Last Reply Claus Skoubølling Jørgensen Friday, April 12, 2013 6:47 AM
 
• 12221
  

  Why are Interface contracts not applying outside of assembly?

  
  Juliano Goncalves Wednesday, April 10, 2013 1:48 PM
  Last Reply RiSE (Research in Software Engineering) Thursday, April 11, 2013 7:21 PM
 
• 72185
  

  Code contracts in VB.Net Constructors

  
  Bkqc Monday, April 02, 2012 5:51 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeWednesday, April 10, 2013 10:18 PM
 
• 54495
  

  Code Contracts says silly things about C++/CLI projects

  
  Porges Friday, September 03, 2010 12:38 AM
  Last Reply Mike BarnettMicrosoft EmployeeWednesday, April 10, 2013 5:22 PM
 
• 3174
  

  RIA Services Client Code generation broken after installing code contracts 1.4.60317.12

  
  Ralias Monday, April 08, 2013 3:35 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 09, 2013 7:21 PM
 
• 13404
  

  New CodeContract Editor Extensions VS2012 and VS2010 are live.

  
  Manuel FahndrichMicrosoft EmployeeWednesday, March 20, 2013 4:52 AM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 09, 2013 3:17 PM
 
• 81332
  

  Bug report: CCDocGen exception in CCDoc.CCDocCSharpSourceEmitter.TraverseChildren

  
  Anonymous531742 Friday, November 02, 2012 4:55 PM
  Last Reply Josef Bláha Saturday, April 06, 2013 10:37 PM
 
• 7426
  

  Additional contracts on Activator.CreateInstance

  
  Lukazoid Thursday, March 07, 2013 10:00 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeThursday, April 04, 2013 3:57 PM
 
• 1155
  

  ccrewrite warning messages when opening (not building) my solution

  
  Anthony Abate Thursday, April 04, 2013 1:35 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeThursday, April 04, 2013 3:52 PM
 
• 144741
  

  Stronger postconditions for interfaces that implement interfaces with weaker postconditions - how?

  
  penartur Friday, August 26, 2011 4:07 PM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 02, 2013 3:47 PM
 
• 41381
  

  Static Checking of Portable Libraries

  
  Joe-Sanders Monday, August 27, 2012 12:16 AM
  Last Reply Manuel FahndrichMicrosoft EmployeeTuesday, April 02, 2013 3:30 PM
 
• 3229
  

  Broken suggested ensures for simple assignment

  
  Kevin Thompson, antiduh Monday, March 25, 2013 8:43 PM
  Last Reply James Albert Monday, April 01, 2013 3:45 PM