Spec# 1.0.6228 for Microsoft Visual Studio 2005 Beta 2 Release Notes

Installing Simplify

See Installing Simplify.

Changes since last release

1. The compiler now enforces that all methods which override a virtual method or implement an abstract method that is marked as pure must be at least as pure as the one that is overridden or implemented.
2. Some huge performance optimizations in Boogie. (Not that you still won't see it take an extraordinary amount of time in some cases.)
3. Loop invariant inference is now on by default.
4. Many bug fixes...