Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
release

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
release [2019/01/08 11:12] – liyongrelease [2019/01/08 11:23] – [Prerequisites] liyong
Line 56: Line 56:
   *  Maven Integration for Eclipse   *  Maven Integration for Eclipse
   *  [[https://spot.lrde.epita.fr|SPOT]] (only if you want to run some JUnit tests via autfilt in SPOT and use parallel inclusion checking of Büchi automata)   *  [[https://spot.lrde.epita.fr|SPOT]] (only if you want to run some JUnit tests via autfilt in SPOT and use parallel inclusion checking of Büchi automata)
 +  * [[https://github.com/ISCAS-PMC/spotj/tree/master/src/main/c/spot|spotj]] (only if you want to use parallel inclusion checking of Büchi automata, use rollinstall.sh in the directory to install spotj)
  
 ==== Set up ROLL in Eclipse ==== ==== Set up ROLL in Eclipse ====
release.txt · Last modified: 2020/12/16 14:32 by liyong