Release 1.2.21023.14 is now available!

Question

A new release of Code Contracts is now live. And we almost made our once-a-month release schedule! This is mostly a release that fixes a lot of problems reported on the forum. Check out the release notes for the details.

We have had reports that the download link is somehow still delivering the old version. Please try to clear your browser cache and re-download the release. If you are still having problems, then please let us know!

Please keep using the forum to let us know how you're using Code Contracts and what problems you're running into. Of course, we'd be thrilled to hear of any success stories too.

And we'll be at PDC 2009! We'll be having a session along with Pex and also a demo booth. If you're going to PDC (and of course you should), please come by and see us.

Answer 1

The link provided didn't work for me. But the one on this page did:

http://research.microsoft.com/en-us/downloads/4ed7dd5f-490b-489e-8ca8-109324279968/

Answer 2

It has also been suggested (tip o' the hat to Jon Skeet) that you append a random query string to the URL to force it to not use any caching:

http://download.microsoft.com/download/B/2/A/B2AC27BD-B797-402D-A02D-1263FBA157FA/Contracts.devlab9std.msi?cache=no_thanks

 

Answer 3

Is the new release only for the Standard Edition? I cannot find where to download the TS edition.

Answer 4

You should be able to get it from: http://download.microsoft.com/download/B/2/A/B2AC27BD-B797-402D-A02D-1263FBA157FA/Contracts.devlab9ts.msi. At least, I just downloaded it from that link and it worked for me.

Answer 5

The version that I get from the link that you provided is 1.2.20903.10 and not 1.2.21023.14.

Is release 1.2.21023.14 only for the Standard Edition?

Answer 6

Sorry, I should have been more specific: the version I download is 1.2.21023.14. We've been hearing from a lot of people about problems with the download. We think it is caused by stale caches. Did you try appending the "?cache=no_thanks" to the end of the URL as Jon Skeet recommended? Let us know if that doesn't work.

Answer 7

Aha! Within the text of the link I had to change the filename from Contracts.devlab9std.msi  to Contracts.devlab9ts.msi.

I'm interested in the TS edition and not the Standard Edition.

http://download.microsoft.com/download/B/2/A/B2AC27BD-B797-402D-A02D-1263FBA157FA/Contracts.devlab9ts.msi?cache=no_thanks

Thank you for responding.

Answer 8

Glad that worked for you!

Answer 9

Does the installer put the Microsoft.Contracts.dll in the GAC like it used to?  I'm puzzled because I'm expecting to find a version number like 1.2.21023.14 on the Microsoft.Contracts.dll but it simply says version 1.0.0.0. I see from the documentation that the DLL I want for .net 3.5 is in PublicAssemblies. But it also has the 1.0.0.0 version. Is it possible or appropriate for you to put version numbers on the DLLs so we can more readily recognize what version is on a machine? I admit I don't know much about versioning things. Maybe this is a dumb question.

---

Best Regards, David K Allen Minneapolis, Minnesota, USA

Answer 10

We keep the version on Microsoft.Contracts.dll constant at 1.0.0.0. Two reasons for this. First, the contents hasn't change. Second, your VS projects capture the version in the reference. So if we changed the version, you would have to go through each project that references the library, remove the reference and then add it again.

---

Cheers, -MaF (Manuel Fahndrich)