0.6

New features

• Added support for preconditions for property setters
• Addes support for preconditions for property setters for abstract class and interfaces (Combo Requries)

Bug fixes

• Fixed issue with invalid order of Contract.Invariant statements in the object invariant method.

This release available at R# Gallery: https://resharper-plugins.jetbrains.com/packages/ReSharper.ContractExtensions/