Installation Guide¶

• Table of contents
• Installation Guide
  • Eclipse IDE Installation
  • Solver Installation
  • Zest Installation
  • Veditor Installation

Eclipse IDE Installation¶

The Retrascope IDE is implemented as an Eclipse IDE plugin. Thus, Eclipse IDE is the first thing you need to install (except JDK):

1. Download the Eclipse IDE package (Kepler or Luna) from http://www.eclipse.org and unpack it.

Solver Installation¶

The Retrascope core uses the Z3 solver to perform analysis of HDL descriptions (e.g., to extract EFSM models). To install Z3 and make Retrascope able to work with it, perform the following steps:

1. Download the Z3 package from http://z3.codeplex.com and unpack it.
2. Specify the SMT_SOLVER_PATH environment variable (it should point to the Z3 executable file).

Zest Installation¶

Some of the Retrascope IDE engines depends on the Zest framework (e.g., it is used to visualize CFG and EFSM models). It is recommended to install it before working with the environment:

1. Click the Help/Install New Software... menu item.
2. Choose a repository from the Work with... list.
3. Select the Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK tree item.
4. Push the Next button a number of times.
5. Push the Finish button.

Veditor Installation¶

1. Download the net.sourceforge.veditor_*.jar file from http://sourceforge.net/projects/veditor.
2. Copy the file to the <ECLIPSE_HOME>/plugins directory.