Project

General

Profile

Installation Guide » History » Version 2

Alexander Kamkin, 12/11/2014 02:55 PM

1 1 Alexander Kamkin
h1. Installation Guide
2
3
h2. Eclipse IDE Installation
4
5 2 Alexander Kamkin
# TODO
6
# TODO
7 1 Alexander Kamkin
8
h2. Solver Installation
9
10
The *Retrascope* core uses the Z3 solver to perform analysis of HDL descriptions. To install Z3 and make *Retrascope* able to work with it, perform the following steps:
11
12
# Download the Z3 package from http://z3.codeplex.com and unpack it.
13
# Specify the @SMT_SOLVER_PATH@ environment variable (it should point to the Z3 executable file).
14 2 Alexander Kamkin
15
h2. Zest Installation
16
17
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:
18
19
# TODO
20
# TODO
21
22
h2. Veditor Installation
23
24
# TODO
25
# TODO