Ask a question

Search Forums:

• Search Code Contracts Forum
• Search All DevLabs Forums
• Search All MSDN Forums

 

Code Contracts

Discuss and provide feedback on Code Contracts.

• 4361
  

  Incorrect suggestion for strings that are checked for null.

  
  Jonathan Allen Wednesday, March 11, 2009 8:16 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 18, 2009 4:54 AM
 
• 4550
  

  Result limit in static Checker

  
  Alexander Wurzinger Monday, March 16, 2009 7:00 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 17, 2009 11:56 PM
 
• 3405
  

  Static checker unable to check invariants on static variables?

  
  Lucas Meijer Thursday, March 12, 2009 9:43 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 17, 2009 11:49 PM
 
• 2538
  

  Contract Warnings on calls to third part components

  
  Alexander Wurzinger Monday, March 16, 2009 7:49 PM
  Last Reply Alexander Wurzinger Tuesday, March 17, 2009 11:45 AM
 
• 3541
  

  Contract Error with Strings Functions

  
  Alexander Wurzinger Wednesday, March 11, 2009 2:31 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 17, 2009 6:25 AM
 
• 1507
  

  Assert Check in static Contract Checker

  
  Alexander Wurzinger Monday, March 16, 2009 6:57 PM
  Last Reply Manuel FahndrichMSFTTuesday, March 17, 2009 5:03 AM
 
• 4422
  

  Silverlight GDR1

  
  Castdev Thursday, March 12, 2009 10:44 AM
  Last Reply Manuel FahndrichMSFTMonday, March 16, 2009 10:41 PM
 
• 3404
  

  "Implicit Non-Null Obligations" + VB Anonymous type = null reference warning

  
  Jake The Great Tuesday, March 10, 2009 12:29 AM
  Last Reply Jake The Great Monday, March 16, 2009 10:39 PM
 
• 4515
  

  How to use RequiresAlways without a dependency on Microsoft.Contracts

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 7:48 PM
  Last Reply Andrew L ArnottMSFTMonday, March 16, 2009 3:53 AM
 
• 1334
  

  Default message is missing

  
  Jonathan Allen Wednesday, March 11, 2009 8:04 AM
  Last Reply Manuel FahndrichMSFTFriday, March 13, 2009 6:09 AM
 
• 2382
  

  silverlight support ?

  
  onurg Saturday, March 07, 2009 10:36 AM
  Last Reply Manuel FahndrichMSFTFriday, March 13, 2009 5:04 AM
 
• 2524
  

  Contract Error with complex statements

  
  Alexander Wurzinger Thursday, March 12, 2009 7:56 PM
  Last Reply Manuel FahndrichMSFTFriday, March 13, 2009 4:20 AM
 
• 2438
  

  Contract Based Programming in .NET

  
  Damir DobricMVPTuesday, March 10, 2009 3:15 PM
  Last Reply Manuel FahndrichMSFTFriday, March 13, 2009 3:58 AM
 
• 5533
  

  Calling a method in Contract.Requires

  
  Steve Dunn Sunday, March 08, 2009 12:26 PM
  Last Reply Manuel FahndrichMSFTFriday, March 13, 2009 3:50 AM
 
• 2450
  

  GetUpperBound is still impure

  
  Jonathan Allen Wednesday, March 11, 2009 7:16 AM
  Last Reply Mike BarnettMSFTThursday, March 12, 2009 2:44 AM
 
• 1347
  

  GetUpperBound missing requires

  
  Jonathan Allen Wednesday, March 11, 2009 7:34 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 10:24 PM
 
• 2397
  

  How often will updates be released?

  
  Andrew L ArnottMSFTWednesday, March 11, 2009 4:55 PM
  Last Reply Andrew L ArnottMSFTWednesday, March 11, 2009 7:46 PM
 
• 1322
  

  GetUpperBound possibly missing ensures

  
  Jonathan Allen Wednesday, March 11, 2009 7:45 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 7:02 PM
 
• 3607
  

  Suggestion: Let ccrewrite pick between Requires and RequiresAlways

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 6:17 PM
  Last Reply Andrew L ArnottMSFTWednesday, March 11, 2009 2:12 PM
 
• 1469
  

  System.Web.UI.Control.ResolveUrl missing ensures non-null return value contract.

  
  Andrew L ArnottMSFTTuesday, March 10, 2009 12:41 AM
  Last Reply Manuel FahndrichMSFTWednesday, March 11, 2009 6:49 AM