Awesome! I've been eagerly awaiting Pex for a very long time. Glad to

This is awesome; I just wish that you released the x64 version at the same time.

x64.... can you send this to our mailing list? (http://research.microsoft.com/pex/community.aspx )

Congratulations with the first public release of Pex!

Cool. I will give a try. Good job!

Hi Peli,

I think Pex is incredible!!. I still need to read carefully the tutorial and the reference manual but I'm sure that Pex and it PUTs will have a lot success. And it integration with VS2008 it's very nice, I found some bugs but the're not important things, the core thing seems to work fine. Let's see how it evolves.

Regards from Spain.

Hi Jesus, Thanks for you kind words.

Don't hesitate to send over all the issues that you find through our bug email (specially the annoying ones). We will be releasing regular updates to fix those ones.

Really looking forward to using it, at the moment the ClrMonitorFail issue is scuppering me but once I get a work around or fix I'm definitely going to give it a proper shot.

Hi Colin,

Please report those issues on our mailing list (not on the codeplex site), we definitely want to take a look at those.

http://research.microsoft.com/pex/community.aspx

The link above responds with a 'Not yet available'. Did the Pex download get removed or did it move?

There was a 'glitch' witht the web site, it's all fixed now.