Pvs version 0.9.0 has been released. The most important thing to note is that the versioning scheme has taken a step backward as pvs is nowhere near version 1.0.0. Most of the program has been rewritten from scratch -- again. So most things should work better, although alot of rough edges still exist in the code, but it should work in most cases. Check the release notes/ChangeLog for more details of the changes.