.NET 4 introduced Code Contracts as a new feature. I'd like to use CC, but provide files that can still run in 3.5 SP1. Is that possible? Can I only use parts of the new functionality? Apparently it is possible to have CC only do static checks without being included in the binary files, is that correct?
I'm aware CC was available for 3.5 as separate module, is this a feasible workaround in case I can't use the 4 version of CC? Is there a difference in the feature set?
I'd like to use CC, but provide files that can still run in 3.5 SP1. Is that possible?
You can't use .NET 4.0 CC but you can use Microsoft.Contracts.dll which is the 3.5 CC assembly.
Apparently it is possible to have CC only do static checks without being included in the binary files, is that correct?
Yes. The premium edition includes the static checker, but you need VS2008 Team System or VS2010 Premium/Ultimate to use Code Contracts Premium Edition.
I'm aware CC was available for 3.5 as separate module, is this a feasible workaround in case I can't use the 4 version of CC?
Yes it is still available. Get it from http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx