release
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
release [2018/11/13 19:50] – liyong | release [2019/01/08 11:23] – [Prerequisites] liyong | ||
---|---|---|---|
Line 9: | Line 9: | ||
===== ROLL v1.0 is available on GitHub ===== | ===== ROLL v1.0 is available on GitHub ===== | ||
- | ROLL v1.0 is now publicly available on GitHub at [[https:// | + | ROLL v1.0 is now publicly available on GitHub at [[https:// |
Compared to its previous version, it now supports new features such as: | Compared to its previous version, it now supports new features such as: | ||
* Learning algorithm for limit-deterministic Büchi automata. | * Learning algorithm for limit-deterministic Büchi automata. | ||
- | * [[https:// | + | * [[https:// |
- | * Interactive mode for education | + | * Interactive mode for educational |
* Büchi automata complementation based on learning [7]. | * Büchi automata complementation based on learning [7]. | ||
* Büchi automata inclusion testing based on word sampling and learning. | * Büchi automata inclusion testing based on word sampling and learning. | ||
Line 20: | Line 20: | ||
===== Build ROLL on Ubuntu ===== | ===== Build ROLL on Ubuntu ===== | ||
+ | You should have installed Java Development Kit on your system. | ||
+ | Currently we can successfully build ROLL with JDK 8.0. | ||
- | ==== Build With Network Connection ==== | + | ==== Build with Network Connection ==== |
Please make sure you have Maven installed on your system or use following command to install it. | Please make sure you have Maven installed on your system or use following command to install it. | ||
Line 35: | Line 37: | ||
2. Under the roll-library directory, type ./build.sh in the command line. | 2. Under the roll-library directory, type ./build.sh in the command line. | ||
- | ==== Build Without | + | ==== Build without |
You can use the shell script named build-offline.sh in the roll-library folder to build roll offline. | You can use the shell script named build-offline.sh in the roll-library folder to build roll offline. | ||
Line 53: | Line 55: | ||
* Javacc plugin in Eclipse | * Javacc plugin in Eclipse | ||
* Maven Integration for Eclipse | * Maven Integration for Eclipse | ||
- | * [[https:// | + | * [[https:// |
+ | * [[https:// | ||
==== Set up ROLL in Eclipse ==== | ==== Set up ROLL in Eclipse ==== | ||
Line 66: | Line 69: | ||
You may have life cycle problem with Javacc in pom.xml but this can be fixed by the operations suggested by Eclipse. Then you should be able to run ROLL as a java application by choosing roll.main.ROLL as the main class. | You may have life cycle problem with Javacc in pom.xml but this can be fixed by the operations suggested by Eclipse. Then you should be able to run ROLL as a java application by choosing roll.main.ROLL as the main class. | ||
- | ===== Executables and Logs for TACAS experiments ===== | ||
- | |||
- | In order to reproduce the experimental results we obtained in the TACAS paper, please use the Büchi automata from [[http:// | ||
- | |||
- | === Download === | ||
- | * {{ :jar.zip | Download ROLL executable}} {{ :cases.zip | Download simple cases}} {{ : | ||
- | * {{ : | ||
- | * {{ : | ||
===== Related tools ===== | ===== Related tools ===== | ||
Line 85: | Line 80: | ||
* [[http:// | * [[http:// | ||
* [[https:// | * [[https:// | ||
+ | |||
+ | |||
+ | ---- | ||
+ | ===== Executables and Logs for the experiments in our TACAS 17 paper ===== | ||
+ | |||
+ | In order to reproduce the experimental results we obtained in the TACAS paper, please use the Büchi automata from [[http:// | ||
+ | |||
+ | === Download === | ||
+ | * {{ :jar.zip | Download ROLL executable}} {{ :cases.zip | Download simple cases}} {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
release.txt · Last modified: 2020/12/16 14:32 by liyong