Projects



Changes between Version 27 and Version 28 of Downloads


Ignore:
Timestamp:
May 9, 2013, 1:13:34 AM (7 years ago)
Author:
Lawrence Cabac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Downloads

    v27 v28  
    1616
    1717The Lola Plugin for Renew integrates verification capabilities in the Renew tool. It requires Renew 2.4 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.4. To use the ability to display reachability graphs you will additionally need dot (part of graphviz). Please consult the README file, which is part of the distribution.
    18 When you start Renew, you should see Lola in the Start screen (or the prompt's _list_ command) and the menu entry "Lola Integration" in the Tool menu.
     18When you start Renew, you should see Lola in the Start screen (or the prompt's ''list'' command) and the menu entry "Lola Integration" in the Tool menu.
    1919
    2020For further detail see this publication at http://ceur-ws.org/Vol-723/paper9.pdf.
     
    3333*Remedy:* Add a line containing the full new path for the system in file /etc/launchd.conf.
    3434
    35 If the file does not exist, simply do *something like* the following and reboot your system.
     35If the file does not exist, simply do '''something like''' the following and reboot your system.
    3636{{{
    3737sudo echo "setenv PATH /usr/bin:/bin:/usr/sbin:/sbin:/opt/local/bin" >> /etc/launchd.conf