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

Installing Simplify

See Installing Simplify.

Changes since last release

  1. Static verification (when not being used as part of design time within VS) now requires a debug build because it depends upon having the PDB for source context information.
  2. The new default for non-virtual methods is that the receiver is consistent. (Previous default (exposable) could not be met by clients.)
  3. Many performance improvements in the static verifier.
  4. Spec# projects can now be referenced from C# (and Spec#) projects via the Projects tab in the C# Add Reference dialog.
  5. The default target platform of new projects is now v2.
  6. "count" is a new quantifier that can be used in contracts:
                    requires count{int x in xs; x == 0} == 3;
  7. Fields are now "rep" fields by default. Use [Owned(false)] to specify otherwise.
  8. Abstract methods can now be written as:
        T f(...); // semi-colon allowed here
          requires P;
  9. Many bug fixes...