OTAWA

Sources from repositories

OTAWA is made of several modules that may be downloaded from Mercurial accesses with anonymous login.

For a module named MOD on Mercurial, type:
hg clone https://anon:anon@wwwsecu.irit.fr/hg/TRACES/MOD/trunk MOD

The following modules are part of OTAWA.

ModuleRequirements
gliss2OCAML
armv5tgliss2
ppc2-vlegliss2
gel
elmlibxml2-dev, libxslt-dev
otawagel, elm
frontcOCAML
orangeOCAML

OTAWA is also using an external package, lp_solve (V4 or V5) that may be downloaded from here.

There are also extension that must be built once the OTAWA core has been installed.

ModuleRequirements
tricoregliss2
otawa-tricoreotawa, tricore
lpc2138otawa, armv5t
mpc5554otawa, ppc2
sparcgliss2
otawa-sparcotawa, sparc
leonotawa-sparc