Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:pivc_tool [2008/02/16 21:37]
vkuncak
sav08:pivc_tool [2009/02/19 18:35] (current)
vkuncak
Line 7: Line 7:
   * unpack [[http://​lara.epfl.ch/​~kuncak/​pivc.tar.gz|this unofficial PiVC arhive]]   * unpack [[http://​lara.epfl.ch/​~kuncak/​pivc.tar.gz|this unofficial PiVC arhive]]
   * run pivc/​configure   * 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.+You should now be able to run the system with pivc/​bin/​piVC and try out some examples in pivc/​examples directory ​(tested on Java Hotspot 1.5.0.7)
  
 
sav08/pivc_tool.txt · Last modified: 2009/02/19 18:35 by vkuncak
 
© EPFL 2018 - Legal notice