Downloads

Mulan, Renew and example applications binary preview

1. Download zip file : ​Renew binary (Mulan Technology Preview)
2. Extract zip file
3. Go to folder where zip file has been extracted (i.e. cd RenewMulanBinary)
4. Run via command line:

java -jar RenewMulanBinary.jar

Renew release

Renew 2.2 is available at ​http://www.renew.de/

Lola Plugin

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.

​Lola Plugin for Linux ​Lola Plugin for Windows