Thursday, May 22, 2008 10:14:12 AM (Pacific Daylight Time, UTC-07:00)
Awesome! I've been eagerly awaiting Pex for a very long time. Glad to
Thursday, May 22, 2008 4:52:14 PM (Pacific Daylight Time, UTC-07:00)
This is awesome; I just wish that you released the x64 version at the same time.
TraumaPony
Thursday, May 22, 2008 6:52:14 PM (Pacific Daylight Time, UTC-07:00)
x64.... can you send this to our mailing list? (http://research.microsoft.com/pex/community.aspx )
Friday, May 23, 2008 12:01:33 AM (Pacific Daylight Time, UTC-07:00)
Congratulations with the first public release of Pex!
Friday, May 23, 2008 12:17:00 AM (Pacific Daylight Time, UTC-07:00)
Cool. I will give a try. Good job!
Sunday, May 25, 2008 4:29:11 AM (Pacific Daylight Time, UTC-07:00)
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.
Jesus Jimenez
Sunday, May 25, 2008 11:28:01 AM (Pacific Daylight Time, UTC-07:00)
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.
Saturday, May 31, 2008 4:40:33 AM (Pacific Daylight Time, UTC-07:00)
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.
Saturday, May 31, 2008 8:12:56 AM (Pacific Daylight Time, UTC-07:00)
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
Monday, June 30, 2008 8:06:55 PM (Pacific Daylight Time, UTC-07:00)
The link above responds with a 'Not yet available'. Did the Pex download get removed or did it move?
Jafin
Sunday, July 06, 2008 2:45:30 PM (Pacific Daylight Time, UTC-07:00)
There was a 'glitch' witht the web site, it's all fixed now.
Comments are closed.