Is Pex and Moles project still active?

Question

They used to release a two new versions a month but since October 2010 they haven't released a new one. I've found this. But the fact they have closed its support forum on MSDN makes me suspect the project is not going forward. We are using it for our current project, but we are thinking to replace it for another framework before it is too late.

Answer 1

We (the Pex team) has been quite busy working on productizing Moles. This will bring some changes to how things work internally, which has been delaying the next release of Pex. We are planning to release the next update in November 2011.

Answer 2

According to the Pex website, a new version will be released in November 2011:

...We are planning to release the next update in November 2011....

Furthermore, they have a list of recent Microsoft blogs etc. (latest April 2011) so I don't think it's dead.

Update: From the Pex website:

NEW: Code Digger for Visual Studio 2012 and 2013 is a lightweight version of Pex that allows you to explore public .NET methods in Portable Class Libraries directly from the code editor. Under the hood, Code Digger uses the Pex engine.