OVERVIEW
========

This zip bundle contains the ParTypes VCC file  used to express ParTypes protocol in VCC form 
and verify them.

SETUP AND USE
=============
1) Make sure vcc is installed and can be executed from the command prompt.

2) Define the PARTYPES_HOME environment variable to point to this directory.
In the command prompt you can type:

set PARTYPES_HOME=<directory where this file is located>

3) Add the bin subdirectory to the system path.
In the command prompt you can type:

set PATH=%PARTYPES_HOME%\bin;%PATH%

4) To verify programs use the mpiv.bat script, e.g., "mpiv myprog.c"
Extra arguments for VCC operation can be suppied, e.g., "mpiv myprog.c /inspector".

