Microsoft Solver Foundation annunci
We are pleased to announce an updated Solver Foundation connector to the popular MOSEK solver. The connector is available as a free download:
The zip file contains a dll and installation instructions. Also consult this blog post for more information. Using the connector requires the installation of the MOSEK solver - visit mosek.com for details.
As users have pointed out, Microsoft has not been active on the Solver Foundation forums since Nate left. We have been quiet while we have gone through restructuring and planning. Some would say we have been too quiet. We know we have very loyal and enthusiastic users who want to know the future of Solver Foundation. So, here is a long overdue statement about our plans for Solver Foundation.
The current 3.1 release of MSF will be the last release as a standalone install. We are working hard on integrating Microsoft Solver Foundation into a larger analytics framework that will help users build both prescriptive and predictive analytics. We look forward to releasing this new product for your use as soon as we are able to do so. This new product will provide a migration path for current Solver Foundation users and partners.
We would like to continue to keep the current forum open to the community to discuss MSF until the release of the new product. However, Microsoft will be providing limited support of MSF in terms of monitoring the forums and providing bug fixes during this transition time.
We have been responding to email and will continue to do so. If you have feedback on issues/bugs/improvements, we welcome your feedback via firstname.lastname@example.org. Please check back on the forum for future announcements with regards to the new analytics product.
Thanks for your support.
The Solver Foundation Team
Welcome to the Solver Foundation Forum! This is a great place to ask questions about Solver Foundation, talk about how you are using Solver Foundation, and connect with other users. You may also find the following resources helpful:
- MSDN documentation for Solver Foundation.
- Questions and answers on the old MSDN Solver Foundation Forum.
- Solver Foundation Team blog.
The Forum of Sho annunci
Hello and welcome to the Forum of Sho!
This forum is meant to be a community for Sho users where you can share knowledge, get questions answered, and learn from others using Sho. Feel free to post questions about any and all aspects of Sho, and we (as well as other community members) will do our best to get you some answers. We hope that as your expertise in Sho grows, you'll also take the time to answer questions from folks who could benefit from your knowledge and experience.
For more information about Sho, including the latest installer and documentation, check out http://research.microsoft.com/sho
TPL Dataflow annunci
In .NET 4.5 RC, TPL Dataflow is delivered via NuGet at https://nuget.org/packages/Microsoft.Tpl.Dataflow and is supported everywhere that .NET 4.5 runs, including desktop, server, and .NET for Metro style apps. The simplest way to install the package in Visual Studio is to highlight the target project, select Tools > Library Package Manager > Package Manager Console, and at the prompt enter:
Install-Package Microsoft.Tpl.Dataflow -Pre
The -Pre flag is needed because these are marked as prerelease versions. You can use the GUI Manage NuGet Packages dialog for this task as well, but when searching make sure to select Include Prerelease from the appropriate drop-down list. For details about this release, please refer to the blog post at http://blogs.msdn.com/b/bclteam/archive/2012/05/30/mef-and-tpl-dataflow-nuget-packages-for-net-framework-4-5-rc.aspx.
"TPL Dataflow" is a new .NET library for building concurrent, parallel, and asynchronous applications. It enables building systems based on dataflow concepts, on in-process message passing, and on asynchronous pipelines. This library, System.Threading.Tasks.Dataflow.dll, is heavily inspired by the Visual C++ Asynchronous Agents Library, by the CCR from Microsoft Robotics, by the Axum language, and more; it’s built on top of a multitude of constructs introduced in .NET 4, internally using types like Task and ConcurrentQueue<T>, in order to provide solutions for buffering and processing data, for building systems that need high-throughput and low-latency processing of data, and for building agent/actor-based systems. TPL Dataflow was also designed to integrate very well with the new language support for tasks, such that you can easily use TPL Dataflow constructs within asynchronous methods, and such that you can harness asynchronous methods within “dataflow blocks.”
You can download a Community Technology Preview release from the TC Labs site on MSDN DevLabs at http://msdn.microsoft.com/en-us/devlabs/gg585582. A previous preview release of the DLL is also available as part of the Microsoft Visual Studio Async CTP, available at http://msdn.com/vstudio/async.
Please use this forum to ask questions about TPL Dataflow, to provide feedback on the library, to let us know about your successes and to let us know about your stumbling blocks. We look forward to hearing from and conversing with you.
Code Contracts annunci
It has taken a long time, we know, but we have finally released the contract editor extensions for VS2012 and an update to VS2010.
The new version is much more stable and less CPU consuming than previously and hopefully much more useful as a result.
If you haven't tried it yet, then please do and let us know what you think!
To review, the extensions should show you method contracts in the following situations:
- While you are typing a call to a method: the signature helper window should show you each overload's contract in the same window as the signature and exception information.
- Hovering over an existing method call: the quick info window should show you the method's contract in addition to its summary information.
- Method override and interface implementation definitions: hover over the method name in the signature to see the tooltip of the contracts inherited (or defined in the method).
- Metadata windows: if you "go to definition" for a type/method that is defined in an external assembly then the metadata window that VS creates should be augmented with method contracts.
We are so happy that you are interested in Code Contracts! You are at exactly the right place for learning how to use contracts from any .NET language to:
- Specify method preconditions for expressing conditions that a caller must meet in order to call a method.
- Specify method postconditions for expressing conditions that the implementation of a method must meet before returning. Conditions can be specified for both normal termination as well as exceptional termination.
- Specify object invariants that describe the healthy states for an instance of a class.
We currently provide three tools for making use of contracts:
- A binary rewriter that operates as a post-build step to inject the contracts into the appropriate places for them to be evaluated at runtime.
- A static checker that operates as a post-build step to analyze your code without even executing it for potential contract violations.
- A documentation generator that adds information about the contracts to the XML documentation files for your project.
We welcome you to use the forum to ask questions about how to use contracts and the tools, to make suggestions for how we can improve, and --- if you really must --- to report bugs and problems.
You can also check out our home page at Microsoft Research.
We have added a section to our web site listing the external projects that we know about which are using Code Contracts. If you would like your project listed, please send us a link and we'll add it to the list. This would really help us in our efforts to get the project more fully supported by the product groups.
Debugger Canvas annunci
Hi everyone, we are pleased to announce the release of Debugger Canvas version 1.1. This version includes a number of bug fixes, new features, and improves performance. Some of the new features are:
- Easily turn Debugger Canvas on or off, even in the middle of a debug session.
- Quickly navigate up and down the call stack in the canvas using the keyboard or the mouse.
- See Multiple threads together on the canvas, each thread identified by its color.
- See recursive calls side by side.
- The option to edit code directly in the code bubbles is enabled by default.
This last "feature" is actually nothing new. You could always edit code directly in bubbles by checking the checkbox in Tools -> Options, but some users didn't know that option existed so we frequently heard the feedback that you wished you could edit code directly in the bubbles. This time we just simply enable that feature by default if you're installing Debugger Canvas for the first time.
To install this updated version of Debugger Canvas you must uninstall the previous version of Debugger Canvas first. (Or install QFE 2581019 from http://connect.microsoft.com/VisualStudio/Downloads/DownloadDetails.aspx?DownloadID=38654 before installing the update.) This is because Visual Studio 2010 SP1 has a bug which prevents signed VSIXes from being updated. I will also post a sticky thread in the forum since I'm sure many of you will attempt to install version 1.1 on top of 1.0 without reading the instructions first. I would do the same thing! :)
You can read more about the new version and read the updated guide from the usual home page here:
Or you can skip straight to the download and get the VSIX directly from here:
Thanks to everyone for their continued support and we sincerely hope you enjoy Debugger Canvas version 1.1!
I’m pleased to announce that Debugger Canvas is available for download! You can access the link from the Debugger Canvas DevLabs page at:
or download it directly from
If you don't have Visual Studio Ultimate then you can download the trial from
or download a Virtual Machine with Visual Studio Ultimate pre-installed from
Please give us your feedback and ask lots of questions on this forum by clicking the "Ask a Question" link above. Thanks!
Hi and Welcome to the Debugger Canvas forum!
Please use the forum to share questions, comments, ideas and bugs as you use Debugger Canvas. We're eager to hear about your experiences, so that we can improve the tool and understand how this user experience works in real life situations.
So please click the Ask a question link above, and let us hear from you!
The Debugger Canvas team
Jens, Kael, Rob, Andrew