piVC Serversetup

piVC is a logic verfication program by Stanford University. To serve the class CS458, it requires a piVC server set up for students to use Java piVC client.

To provide better portability, the piVC server is set up in a Virtual Machine (VM) on KVM virtualization.

VM name: piVC
VM credentials: GDC convention
VM ip: 128.153.145.236

Below are the instructions on HOWTO install piVC server:

1. check out the piVC source code:

https://github.com/jgalenson/piVC

1) install svn
sudo apt-get install subversion
2) checkout source code
svn  checkout svn://www.jasonland.com/piVC
3) download yices
http://yices.csl.sri.com/download.shtml

cp   yices-1.0.40/bin/yices  ../../piVC/bin

4) install build tool
sudo apt-get install build-essential
sudo apt-get install ocaml

5) install java for the client
sudo apt-get install openjdk-7-jdk

6）compile the source code

cd piVC/src
make

7) Configure the server
check the machine ip:  ifconfig

specify the local machine static ip in piVC/conf/piVC_server.conf
dp_server_address =  xxx.xxx.xxx.xxx:4243

8) Run the service
cd piVC/bin
./both_servers

9) Config the piVC client
Download the client from here
http://cs.stanford.edu/people/jasonaue/pivc/

Run the client by
java -jar  PiVC.jar

Change the server address
Settings->Change Server Address -> xxx.xxx.xxx.xxx:4242

Run the program
Compile