Projects



Changes between Version 13 and Version 14 of Downloads


Ignore:
Timestamp:
Jan 20, 2012, 7:06:00 PM (13 years ago)
Author:
hewelt
Comment:

linked v0.7-win

Legend:

Unmodified
Added
Removed
Modified

  • Downloads

    v13 v14  
    1515=== Lola Plugin ===
    1616
    17 The Lola Plugin for Renew integrates verification capabilities in the Renew tool. It requires Renew 2.2 which can be also downloaded from this site. To use the plugin, just download the zip-file for your system type and unzip it into the plugins directory of Renew 2.2. That's it. When you start Renew, you should see Lola in the Start screen and the menu entry "Lola Integration" in the Tool menu.
     17The Lola Plugin for Renew integrates verification capabilities in the Renew tool. It requires Renew 2.2 which can be also downloaded from this site. To use the plugin, just download the zip-file for your system type and unzip it into the plugins directory of Renew 2.2. To use the ability to display reachability graphs you will additionally need graph2dot and dot (part of graphviz). Please consult the README file which is part of the distribution.
     18When you start Renew, you should see Lola in the Start screen and the menu entry "Lola Integration" in the Tool menu.
    1819
    1920[https://paose.informatik.uni-hamburg.de/downloads/lola-0.5.2-linux.zip Lola Plugin for Linux]
    2021
    21 [https://paose.informatik.uni-hamburg.de/downloads/lola-0.5.2-win.zip Lola Plugin for Windows]
     22[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7-win.zip Lola Plugin 0.7 for Windows]
    2223
    2324[https://paose.informatik.uni-hamburg.de/downloads/lola-0.5.2-mac.zip Lola Plugin for Mac OS X]