Spec# 1.0.5612 for Microsoft Visual Studio .NET 2005 (RTM) Release Notes

Installing Simplify

See Installing Simplify.

Changes since last release

1. A C# v3 feature has been implemented: compiler type inferencing. You can use "var foo = E;" to declare a variable foo whose type will be inferred from the expression E.
2. Improved debugging experience: you should now be able to see the values of all locals in the debugger.
3. Member completion does not kick in when you type the first letter of an identifier. It was causing too many problems. But there are lots of fixes to the way member completion and parameter help works. Check it out!
4. "Base markers" are now allowed. When using the C# comment convention, you can call the base constructor before the body of a constructor (i.e., the C# syntax), but put "base;" (in a C# comment) at the spot in the constructor where Spec# should call the base constructor (i.e., after the non-null fields are initialized).
5. Many bug fixes...