Code Contracts
Discuss and provide feedback on Code Contracts.
Фильтрация и сортировкаИспользуйте эти параметры для сужения списка обсуждений.
- 085

Missing LINQ Contracts On Portable FCL
Dave Sexton 7 мая 2013 г. 16:17 - 087

Nullable Bug: Requires Implicative
Dave Sexton 7 мая 2013 г. 15:38 - 1121

Contract Ensures Result Instead of Task
Dave Sexton 3 мая 2013 г. 14:45 - 2143

Possibly calling a method on a null reference with foreach
alan.bradbury.0710 30 апреля 2013 г. 8:24 - 2140

Enum precondition redundant
alan.bradbury.0710 30 апреля 2013 г. 8:49 - 3176

Are there any settings that affect rewriter performance?
DanTup 29 апреля 2013 г. 7:53 - 9176

Allowing use of CC without rewriter - will this work?
Danny Tuppeny _ NM 1 мая 2013 г. 11:35 - 0122

returning from try/finally confuses contracts, generates unfixable "invariant unproven"
TomEnglert 30 апреля 2013 г. 12:05 - 5142

Can the cache work with multiple branches of our project on same SQL server?
DanTup 26 апреля 2013 г. 7:20 - 3154

Unintelligible suggestion
alan.bradbury.0710 25 апреля 2013 г. 22:02 - 2927

BadImageFormatException with ForAll<>() in 1.4.50813.1 (and workaround)
ad_d 25 августа 2012 г. 11:41 - 9256

Conflict between Fakes and Code Contracts
alan.bradbury.0710 20 апреля 2013 г. 17:46 - 1142

Build fails with "AsmMeta failed with uncaught exception: Index and length must refer to a location within the string"
Dani Avni 22 апреля 2013 г. 10:47 - 2195

editor extension vs2012
vpalle 18 апреля 2013 г. 10:32 - 2137

Contracts on IsolatedStorageFile methods
Lukazoid 24 апреля 2013 г. 13:41 - 42232

Use of volatile causes runtime MissingFieldException on rewritten assembly
Paul Ramsperger 29 ноября 2011 г. 22:13 - 4165

ccrewrite(0,0) : error : Object reference not set to an instance of an object.
Eli Arbel 21 апреля 2013 г. 12:21 - 1157

Missing IReadOnlyList Contracts
Dave Sexton 20 апреля 2013 г. 11:39 - 3177

Code editor extension: set properties don't show contracts on metadata ( Goto Definition F12 )
GeoValy 18 апреля 2013 г. 11:46 - 5141

Upgrade to 1.5.60409.11 causes problem in VS2008
alan.bradbury.0710 19 апреля 2013 г. 12:22

