Updated Wiki: Sources
How to install and build the sources Install and Build for Visual Studio 2010 (for 2008, see remarks below) After downloading the sources via the "Source Code" tab, check to make sure you have any...
View ArticleUpdated Wiki: Sources
How to install and build the sourcesInstall and Build for Visual Studio 2010 After downloading the sources via the "Source Code" tab, check to make sure you have any External Dependencies that you...
View ArticleUpdated Wiki: External
External DependenciesSpec#Things you must have in order to build Spec#Visual Studio 2010: Spec# is meant to be built by Visual Studio, not via makefiles. You should have at least C# and C++ installed...
View ArticleUpdated Wiki: Binaries
NOTE: if you downloaded the sources, you do not need to download the binary distribution--the source distribution contains a bootstrapping compiler.If you have Spec# installed from the MSR Downloads...
View ArticleUpdated Wiki: Sources
How to install and build the sourcesInstall and Build for Visual Studio 2010 After downloading the sources via the "Source Code" tab, check to make sure you have any External Dependencies that you...
View ArticleUpdated Wiki: Binaries
NOTE: if you downloaded the sources, you do not need to download the binary distribution -- the source distribution contains a bootstrapping compiler.If you have Spec# installed from the MSR Downloads...
View ArticleUpdated Wiki: Sources
How to install and build the sourcesInstall and Build for Visual Studio 2010 After downloading the sources via the "Source Code" tab, check to make sure you have any External Dependencies that you...
View ArticleNew Comment on "Binaries"
Hello! I have the same issue as akku (from Jul 2 at 11:34 AM) - I'm running VS 2010 Ultimate and won't get it work. What can I do to solve the issue / contribute a usable bug report? Thanx.
View ArticleNew Comment on "Binaries"
For installation, make sure to unblock BoogiePlugin.dll and Provers.Z3.dll, also Z3 must be 2.15 (it complained about an exception when I was using Z3 3.2).
View ArticleNew Comment on "Binaries"
I wanted to install the latest recommended nightly build (sscboogie-nightly_rev219e6b40fa91_2012-06-02 09:01.zip), followed the steps (got three "Types registered successfully") but no new project type...
View ArticleNew Comment on "Binaries"
I would like to try Spec#. I downloaded the latest recommended nightly build (sscboogie-nightly_rev219e6b40fa91_2012-06-02 09:01.zip), followed the steps (got three "Types registered successfully") but...
View ArticleNew Comment on "Binaries"
@mjiricka: I assume that you need VS 2010 Professional. See the following thread: http://specsharp.codeplex.com/discussions/267520.
View ArticleNew Comment on "Binaries"
@wuestholz: Thank you very much, you were right, I installed MSVS 2010 Premium and it works! I completely overlooked the forum. Maybe this should be written above in the steps: Spec# does not work in...
View ArticleUpdated Wiki: Sources
How to install and build the sourcesInstall and Build for Visual Studio 2010 After downloading the sources via the "Source Code" tab, check to make sure you have any External Dependencies that you...
View ArticleNew Comment on "External"
Is there the possibility to install Spec# under mono in linux?
View ArticleNew Comment on "Binaries"
@wuestholz Do you know if there is the possibility to install Spec# under mono in linux?
View ArticleNew Comment on "Binaries"
Why this has sttopped? nothing new from VS2010, I use VS 2013 and VS2015, I followed the installation steps and I received the three messages "Types registered Successfully" but when I want to create a...
View Article