VIEW 
Points
Time
Detail
+5
-
Contributed a helpful post to the What is the advantage of code contracts? thread in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Suggestion: Suppress warning attributes from context menu thread in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Timing of background analysis thread in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Why is my replacement node not in the new document? thread in the Microsoft "Roslyn" CTP Forum.
+5
-
Contributed a helpful post to the Guidelines for maintaining trivia during a refactoring? thread in the Microsoft "Roslyn" CTP Forum.
0
-
Thank you for marking your first answer in the forums. Now, keep on posting! You have earned a bronze achievement.
0
-
Marked an answer to the question How to determine the line/column of a span? in the Microsoft "Roslyn" CTP Forum.
0
-
Voted a helpful post in the How to determine the line/column of a span? thread in the Microsoft "Roslyn" CTP Forum.
0
-
+5
-
Contributed a helpful post to the The "major" issues with code contracts thread in the Code Contracts Forum.
0
-
Replied to a forums thread Code contracts in VB.Net Constructors in the Code Contracts Forum.
+5
-
Contributed a helpful post to the The "major" issues with code contracts thread in the Code Contracts Forum.
+5
-
Contributed a helpful post to the The "major" issues with code contracts thread in the Code Contracts Forum.
+5
-
Contributed a helpful post to the The "major" issues with code contracts thread in the Code Contracts Forum.
0
-
+5
-
Contributed a helpful post to the Cache results doesn't seem to affect verification time thread in the Code Contracts Forum.
0
-
Replied to a forums thread New release, great! in the Code Contracts Forum.
0
-
Replied to a forums thread New release, great! in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Missing Contracts on Libraries thread in the Code Contracts Forum.
0
-
Replied to the question Redundant precondition question in the Code Contracts forum
0
-
Replied to a forums thread Redundant precondition question in the codecontracts Forum.
0
-
Thank you for providing an answer to the forums. Your willingness and effort to provide users with help is greatly appreciated. You have earned a bronze achievement.
0
-
Thank you for confirming an answer to your question. You have earned a bronze achievement.
0
-
Thank you for contributing to forums. You have earned a bronze achievement.
0
-
Thank you for voting a forums post as helpful for the first time. You have earned a bronze achievement.
0
-
Thank you for contributing your post to forums. You have earned a bronze achievement.
0
-
Replied to the discussion Missing Contracts on Libraries in the Code Contracts forum
0
-
Contributed a helpful post (total votes:1) to the forums thread Is await necessary? in the Visual Studio Async CTP forum
0
-
Answered the question Is await necessary? in the Visual Studio Async CTP forum
0
-
Replied to the question Is await necessary? in the Visual Studio Async CTP forum
0
-
Contributed a helpful post (total votes:1) to the forums thread Suggestion: 'unnecessary suppression' should be warnings (if redundant assumptions is checked) in the Code Contracts forum
0
-
Contributed a proposed answer to the question How do I express an object invariant for an interface? in the Code Contracts forum
0
-
Replied to the question Suggestion: Extension contracts in the Code Contracts forum
0
-
Asked a question Suggestion: Extension contracts in the Code Contracts forum
0
-
Replied to the discussion Missing BCL contracts and the future of CC in the Code Contracts forum
0
-
0
-
0
-
Replied to the question 8 obvious verification failures in the Code Contracts forum
0
-
Asked a question Minor suggestion: Inline assume in the Code Contracts forum
0
-
0
-
0
-
Contributed a helpful post (total votes:1) to the forums thread Suggestion: Suppress warning attributes from context menu in the Code Contracts forum
0
-
Asked a question What's your false positive rate? in the Code Contracts forum
0
-
0
-
0
-
0
-
0
-
Answered the question Spurious Suggested Preconditions in the Code Contracts forum
0
-
Replied to the question Spurious Suggested Preconditions in the Code Contracts forum
0
-
Replied to the discussion Is Runtime Checking useful? in the Code Contracts forum