# Thursday, May 22, 2008
Download Pex 0.5 NOW!

Nikolai broke the news; we've just released Pex 0.5... get it while it's hot!

We're eager to hear some feedback, so don't hesitate to tell us what you think about it.

Pex
posted on Thursday, May 22, 2008 9:30:00 AM (Pacific Daylight Time, UTC-07:00)  #    Comments [11]
Related posts:
Coding envy? Pex4fun on your WP7 phone
Pex and Moles v0.94: MSBuild support for Moles
www.pexforfun.com–> try Pex in your browser
New Pex release 0.92: Rex and Silverlight
Rex integrates Pex
Get Moles for free on Visual Studio Gallery
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
Judah
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 )
Peli
Friday, May 23, 2008 12:01:33 AM (Pacific Daylight Time, UTC-07:00)
Congratulations with the first public release of Pex!
Tom Mertens
Friday, May 23, 2008 12:17:00 AM (Pacific Daylight Time, UTC-07:00)
Cool. I will give a try. Good job!
Yann Trevin
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.
Peli
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.
Colin Jack
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
Peli
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.
Peli
Comments are closed.

Page rendered at Tuesday, May 21, 2013 11:25:28 PM (Pacific Daylight Time, UTC-07:00)