Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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