Welcome to DevLabs

Any truly remarkable software innovation that introduces a paradigm shift is based on solid inventive ideas. But it also needs discussion, trial, collaboration, and a critical eye.


DevLabs News RSS

Another new release of Code Contracts is live
New release 1.4.30707.2 includes bug fixes, iterator extraction, and static checker enabled to handle Contract.ForAll.
Monday, Jul 12
New Release of Code Contracts
A new release of Code Contracts is now live. Changes include: many bug fixes, validator methods to abbreviate legacy requires, abbreviator methods for... more
Wednesday, May 26
Axum for Visual Studio 2010
The latest version (0.3) of Axum brings support for Visual Studio 2010 RTM. In this build, we reworked the Axum language service component to make it... more
Tuesday, Apr 27
Rx Update
Reactive Extensions for .NET (Rx) has been updated from the .NET Framework 4.0 Beta 2 to .NET Framework 4.0 RC.
Friday, Mar 5

    Page view tracker