New posts in Code Contracts

Is there a common PureAttribute that Resharper and Code Contracts can both use?

Comparing design by contract to type systems

CodeContracts: Possibly calling a method on a null reference

ReSharper - Possible Null Assignment when using Microsoft.Contracts