Shipped components

The -distribution consist of several components (subdirectories):

bin

This subdirectory contains the ready-to-execute binary. Please try to use this first, because the source code installation might be painful (the generation of the binary needs several generation steps). Also here some scripts are found which are used during the generation.

doc

This subdirectory contains the main parts of the documentation: language manual, release notes, articles on EARS and XGRS.

demo

This subdirectory contains several example specifications, such as data-flow analysis, global value numbering, experimental specifications.

sollib

This contains a library which must be linked to any generated optimizer components. The library provides set and graph manipulation functions, who are called by -generated code.

The sources themselves:

optimix

This is the main source directory of the optimizer generator. Note that sources are Cocktail-specifications. In order to translate them, you need Cocktail-9209 or Cocktail-9309.

fsdl

The flatform fsdl parser (CoSy mode only).

reuse-g/reuse-9209

The Cocktail-9209 reuse library.

reuse-plus

Some additional functions extending the reuse library.

usefullib

Some useful functions.

sollib

The set and graph library.