New Comment on "Binaries"
Hi! I am trying to run spec# on VS2010 Ultimate, I did run command prompt as admin, executed register.cmd But nothing seems to happen, I can not understand the concept, it is really smth complicated....
View ArticleUpdated 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 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 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 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 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 Article