tags:

views:

214

answers:

1
+2  Q: 

Projects that make use of Spec#/Code Contracts.NET

Hi,

I am interested in finding out more about the use of Spec# and/or its spin-off project Code Contracts.

Is there a live project that currently makes use of either technology?

Thanks, MagicAndi.

EDIT:

Given David's answer below, I have opened the question up to include any project, not simply open source.

+1  A: 

Both Spec# and Code Contracts are distributed under the MSR-LA (Spec#, Code Contracts) which only allows only non-commercial usage and only grants patent rights to the Software, but not derived works. Therefore both are unsuitable for use in open source projects.

David Schmitt  2009-04-22 15:25:26
David, Thanks for your answer, +1. I have edited the question accordingly.
MagicAndi  2009-04-22 15:32:39
There seems to be a commercial license on devlabs - I didn't check the legals, but llogs promising: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
Marc Gravell  2009-04-22 15:42:15
The EULA of the "standard" edition from devlabs limits its use "solely to evaluate and test the software".
David Schmitt  2009-04-23 05:52:36
David, Given that it is a week with no other replies, your answer is the accepted answer. Thanks again.
MagicAndi  2009-04-30 09:44:03

related questions

Subsonic Vs NHibernate
How to check For File Lock in C# ?
Is nAnt still supported and suitable for .net 3.5/VS2008?
Limit size of Queue<T> in .NET?
Viewstate invalid when using Safari
Free OCR library
Unhandled Exception Handler in .NET 1.1
Localising date format descriptors
Get a new object instance from a Type in C#
VFP .NET OLEdb provider does not work in Win 64-Bits. Help
.NET Testing Framework Advice
Embedded Database for .net that can run off a network
Automatically update version number
Homegrown consumption of web services
How do you migrate a large app from VB6 to VB .net ?
.NET Migrations Engine
Adding Scripting functionality to .NET applications
SQLite and XSD
Floating Point Number parsing: Is there a Catch All algorithm?
How do I programmatically create a PDF in my .NET application?
How do I sync the SVN revision number with my ASP.NET web site?
XSD DataSets and ignoring foreign keys
Anatomy of a "Memory Leak"
Reliable Timer in a Console Application
How do I calculate relative time?