Used Tools » History » Version 6
Sergey Smolov, 10/23/2019 11:25 AM
| 1 | 1 | Sergey Smolov | h1. Used Tools |
|---|---|---|---|
| 2 | |||
| 3 | 6 | Sergey Smolov | For Retrascope IDE to be used, several tools are needed: |
| 4 | 1 | Sergey Smolov | |
| 5 | 5 | Sergey Smolov | 1. Eclipse IDE ("Kepler":http://www.eclipse.org/kepler or "Luna":http://www.eclipse.org/luna or "Photon":https://www.eclipse.org/photon) |
| 6 | 1 | Sergey Smolov | 2. Graphical Editing Framework Zest Visualization Toolkit SDK 1.5.* (can be installed through Eclipse repository or Eclipse Marketplace) |
| 7 | 6 | Sergey Smolov | 3. Plug-in Development Platform (can be installed through Eclipse repository or Eclipse Marketplace) |
| 8 | 4. "SVeditor":https://marketplace.eclipse.org/content/sveditor Eclipse plug-in |
||
| 9 | 5. SMT solver ("Z3":https://github.com/Z3Prover/z3/releases or "CVC4":https://cvc4.github.io/downloads.html) |
||
| 10 | 6. SMV model checker ("NuSMV":http://nusmv.fbk.eu or "nuXmv":https://nuxmv.fbk.eu) |
||
| 11 | 7. "Python":https://www.python.org interpreter |
||
| 12 | |||
| 13 | For these tools to be properly installed and configured, follow the "Installation Guide":https://forge.ispras.ru/projects/retrascope-ide/wiki/Installation_Guide |