LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Last revision Both sides next revision
sav08:pivc_tool [2008/02/15 21:02]
vkuncak created
sav08:pivc_tool [2008/02/16 21:37]
vkuncak
Line 4: Line 4:
 [[http://​theory.stanford.edu/​~arbrad/​pivc/​index.html|PiVC tool]] [[http://​theory.stanford.edu/​~arbrad/​pivc/​index.html|PiVC tool]]
  
-The instructions work.  If you have a Linux like mine, you can also try this: unpack [[http://​lara.epfl.ch/​~kuncak/​pivc.tar.gz|this unofficial PiVC arhive]]run pivc/​configureIf you have e.g. Java Hotspot 1.5.0.7, you should now be able to run the system with pivc/​bin/​piVC and try out some examples in pivc/​examples directory.+The instructions work.  If you have a Linux like mine, you can also try this:  
 +  * unpack [[http://​lara.epfl.ch/​~kuncak/​pivc.tar.gz|this unofficial PiVC arhive]] 
 +  * run pivc/​configure 
 +If you have e.g. Java Hotspot 1.5.0.7, you should now be able to run the system with pivc/​bin/​piVC and try out some examples in pivc/​examples directory.