icsharpcode/NRefactory — pull request #333 by luiscubal (2013-09-13 13:17:33+00:00)
Title: NullValueAnalysis: Implemented JetBrains.Annotations assertion attributes

[AssertionMethod] and [AssertionCondition].

This should help us reduce analysis failures *a lot*.