VCC Installation

Prerequisites

The following prerequisites are needed to successfully run VCC:
  1. .Net v4.0 or later - Download installer.
  2. F# 2.0 Redistributable - Download installer.
  3. F# Power Pack - Download installer.
  4. Microsoft Visual C++ 2010 Redistributable Package - Download installer.
  5. Visual Studio 2010 or 2012 (any edition with C++ support). Note, however, that the express editions are not recommended, because they will not allow you to use VCC from the IDE. Download installer.

Once you have all the required prerequisites you can download the latest installer or VCC using the link on the right hand side of this web page, or the Downloads tab above.

If you want to run VCC from the IDE, you need to have the VCC headers in your included paths. (The installer adds them for the command-line, but these are not picked up by Visual Studio). To add the VCC headers to your path in the IDE, do the following after installing VCC:
  1. Run visual studio, and create a new empty C++ project.
  2. Click view->Other Windows->PropertyManager. This should open the property manager for your project.
  3. In the property manager, if you only want to add the paths for this project, double-click on the project name to open up its property sheet. If you want to add the paths for all projects, click on the triangle next to the project name to open up its configurations (probably (Debug | Win32) and (Release | Win32)), open up (Debug | Win32) and double-click on Microsoft.Cpp.Win32.User.
  4. In the property sheet, click on "VC++ Directories", click on "Include Directories", click on the down-arrow on the right hand side of the directory list, and click "edit".
  5. Click on the little folder icon to add a new directory, and add $(INCLUDE). Alternatively, navigate to Program Files (x86)\Microsoft Research\Vcc\Headers, and click "select folder" to add it to the path. (The (x86) will be in this path only if you are running 64 bit Windows.)

After you have done this, check that your installation works:
  1. Go to the solution explorer pane
  2. Right-click on the project (not the solution) and choose "add->New Item". Choose "C++ file", and choose a file name (e.g. test.c) in the box below, but give it the extension .c. Click "add".
  3. The new file should open up in the code editor. Add the following text to the window:
#include <vcc.h>

void test() {
}

Right-click on the function and choose "Verify test.c". After a moment, you should see "Verification succeeded" in the lower-left-hand corner of the IDE.

Last edited May 17, 2013 at 2:00 PM by erniecohen, version 11

Comments

stobies Aug 27, 2012 at 7:41 AM 
This has now been fixed in the installation instructions.

EdgarPek May 7, 2011 at 5:50 PM 
If you are using vcc from command line, and you are getting VCOMP100.dll not found error when vcc tries to run z3, then install Microsoft Visual C++ 2010 Redistributable Package (x86). http://www.microsoft.com/downloads/en/details.aspx?FamilyID=a7b7a05e-6de6-4d3a-a423-37bf0912db84