User Tools

Site Tools


release

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
release [2019/01/08 11:15]
liyong
release [2019/01/08 11:23] (current)
liyong [Prerequisites]
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)+  * [[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: 2019/01/08 11:23 by liyong