Differences
This shows you the differences between two versions of the page.
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/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. | + | 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. | ||