VIEW
Points
Time
Detail
0
-
Congratulations on being vital member of the Blogs community! Your commitment to excellent content will allow our community to learn and grow. You have earned a silver achievement!
+5
-
Helped identify a helpful topic WCF Out Parameter position change issue in the Windows Communication Foundation, Serialization, and Networking Forum.
+50
-
The blog post Welcome to my blog! on the MSDN Blogs has achieved its 15 minutes of fame. Congratulations!
+50
-
The blog post False myth: Abstract interpretation can only do "easy" properties as nonnull on the MSDN Blogs has achieved its 15 minutes of fame. Congratulations!
+10
-
Received a 5 star rating on the FAQ #1: What is the difference between Assert and Assume? contribution on the MSDN Blogs.
+5
-
Received a 4 star rating on the False myth: Abstract interpretation can only do "easy" properties as nonnull contribution on the MSDN Blogs.
+15
-
Answered the question Invalid Requires recommendation made by Static Checker around modulus operator usage confirmed by the asker in the Code Contracts Forum.
+50
-
The blog post FAQ #1: What is the difference between Assert and Assume? on the MSDN Blogs has achieved its 15 minutes of fame. Congratulations!
+15
-
Answered the question Latest code contracts 1.4.50126.1 memory usage confirmed by the asker in the Code Contracts Forum.
+50
-
The blog post How to prove properties of finite state machines with cccheck on the MSDN Blogs has achieved its 15 minutes of fame. Congratulations!
+50
-
The blog post How to use cccheck to prove no case is forgotten on the MSDN Blogs has achieved its 15 minutes of fame. Congratulations!
0
-
Replied to a forums thread Process.MainModule incorrect ensures NotNull. in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question Any Open Source Plans? in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question VS2015 and the SPA (Smart Programming Assistant) in the Code Contracts Forum.
0
-
Marked a proposed answer to the question VS2015 and the SPA (Smart Programming Assistant) in the Code Contracts Forum.
0
-
Replied to a forums thread VS2015 and the SPA (Smart Programming Assistant) in the Code Contracts Forum.
+10
-
Received a 5 star rating on the False myth: Abstract interpretation can only do "easy" properties as nonnull contribution on the MSDN Blogs.
+20
-
Quickly answered the question Is dead code misleading cccheck? confirmed by the asker in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Is dead code misleading cccheck? thread in the Code Contracts Forum.
0
-
Marked a proposed answer to the question Is dead code misleading cccheck? in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question Is dead code misleading cccheck? in the Code Contracts Forum.
0
-
Replied to a forums thread CacheManager uncaught exception: Object reference not set to an instance of an object in the Code Contracts Forum.
+15
-
Answered the question CacheManager uncaught exception: Object reference not set to an instance of an object confirmed by the asker in the Code Contracts Forum.
0
-
Marked a proposed answer to the question CacheManager uncaught exception: Object reference not set to an instance of an object in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question CacheManager uncaught exception: Object reference not set to an instance of an object in the Code Contracts Forum.
0
-
Replied to a forums thread CacheManager uncaught exception: Object reference not set to an instance of an object in the Code Contracts Forum.
+15
-
Answered the question CCCheck fails with NullReferenceException when reaching contract argument validator confirmed by the asker in the Code Contracts Forum.
0
-
Thank you for contributing to forums. You have earned a silver achievement.
0
-
Marked an answer to the question Open Source Code Contracts and Related Projects in the Code Contracts Forum.
+10
-
Answered the question Open Source Code Contracts and Related Projects in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Open Source Code Contracts and Related Projects thread in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question Open Source Code Contracts and Related Projects in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Open Source Code Contracts and Related Projects thread in the Code Contracts Forum.
0
-
Replied to a forums thread Open Source Code Contracts and Related Projects in the Code Contracts Forum.
0
-
Replied to a forums thread CacheManager uncaught exception: Object reference not set to an instance of an object in the Code Contracts Forum.
0
-
Replied to a forums thread CodeContracts: Cannot connect to the cache. The CodeContracts static check will not run. in the Code Contracts Forum.
0
-
Replied to a forums thread CodeContracts: Cannot connect to the cache. The CodeContracts static check will not run. in the Code Contracts Forum.
+10
-
Received a 5 star rating on the False myth: Abstract interpretation can only do "easy" properties as nonnull contribution on the MSDN Blogs.
0
-
Rated the False myth: Abstract interpretation can only do "easy" properties as nonnull contribution on the MSDN Blogs.
0
-
Contributed a new blog post False myth: Abstract interpretation can only do "easy" properties as nonnull to the MSDN Blogs.
0
-
Contributed a proposed answer to the question Please update the release notes in the Code Contracts Forum.
+10
-
Received a 5 star rating on the Inter-procedural inference of conditions to error in cccheck contribution on the MSDN Blogs.
0
-
Rated the Inter-procedural inference of conditions to error in cccheck contribution on the MSDN Blogs.
0
-
Marked an answer to the question CodeContracts: Cannot connect to the cache. The CodeContracts static check will not run. in the Code Contracts Forum.
0
-
Replied to a forums thread CodeContracts: Cannot connect to the cache. The CodeContracts static check will not run. in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Please update the release notes thread in the Code Contracts Forum.
0
-
Contributed a new blog post Inter-procedural inference of conditions to error in cccheck to the MSDN Blogs.
0
-
Replied to a forums thread CCcheck throws AccessViolationException on static analysis (1.7.10908.11) in the Code Contracts Forum.
+10
-
Received a 5 star rating on the How to use cccheck to prove no case is forgotten contribution on the MSDN Blogs.
0
-
Replied to a forums thread CCcheck throws AccessViolationException on static analysis (1.7.10908.11) in the Code Contracts Forum.
+5
-
Received a 4 star rating on the How to prove properties of finite state machines with cccheck contribution on the MSDN Blogs.
0
-
Rated the How to prove properties of finite state machines with cccheck contribution on the MSDN Blogs.
0
-
Contributed a new blog post How to prove properties of finite state machines with cccheck to the MSDN Blogs.
0
-
Replied to a forums thread CCcheck throws AccessViolationException on static analysis (1.7.10908.11) in the Code Contracts Forum.
+5
-
Received a 4 star rating on the How to use cccheck to prove no case is forgotten contribution on the MSDN Blogs.
0
-
Congratulations! You have posted your first comment on a blog post! You have earned a bronze achievement.
0
-
Replied to a forums thread Missing contract on Enumerable.ToList<> and ignoring assume in the Code Contracts Forum.
0
-
Congratulations! You rated your first blog post. You have earned a bronze achievement. Keep it up to earn more achievements!
+10
-
Received a 5 star rating on the FAQ #1: What is the difference between Assert and Assume? contribution on the MSDN Blogs.
0
-
Rated the FAQ #1: What is the difference between Assert and Assume? contribution on the MSDN Blogs.
0
-
Contributed a new blog post FAQ #1: What is the difference between Assert and Assume? to the MSDN Blogs.
0
-
Congratulations! You have made your very first blog post! You have earned a bronze achievement.
0
-
Marked an answer to the question Assertion unproven when it shouldn't be (I think) in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Why would I get always true here? thread in the Code Contracts Forum.
+5
-
Contributed a helpful post to the Why would I get always true here? thread in the Code Contracts Forum.
+15
-
Answered the question Why would I get always true here? confirmed by the asker in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question Why would I get always true here? in the Code Contracts Forum.
0
-
Marked a proposed answer to the question Why would I get always true here? in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question Version 1.6.60505.10 falsely complains about missing invariants. in the Code Contracts Forum.
0
-
Replied to a forums thread Version 1.6.60505.10 falsely complains about missing invariants. in the Code Contracts Forum.
0
-
Contributed a proposed answer to the question Is Code Contracts dead? in the Code Contracts Forum.