Algorithms (resp. Architectures) are specified in .alg (resp. .arch) textual files, using a syntax (in a fonctionnal programming style) described in a Backus-Naur form given in the user manual.
The operation durations (resp. communication durations or constraints) are specified in .fd (resp. .cd or .cts) files. The command-line syndex-durations prints durations by operator or by operation, depending on the option given.
The main command-line syndex performs the adequation. Adequation results can be dumped in a .dot file (graphviz format) with an option of the main command-line syndex (--dot-adeq). So you can compare easily two performed adequations, comparing .dot files.
The main command-line syndex will perform the corresponding actions in the given order of its options. Thus, it is possible with only one syndex command-line, to perform sequentially several adequations with different parameters (perfect to manage several tests with a Makefile). For example, you can perform twice the adequation, with two different files containing operation durations (see the user manual in section 2.2 for details).
For an interactive graphical display you can use the syndex-adeq-gui command-line: textual information displayed for each distributed operation pointed with the mouse, and colors indicating predecessor and successor relations between operations.NB: SynDEx v7 files can be translated into SynDEx v8 files using the command-line syndex-sdxconv.
SynDEx v8 (alpha) is released for Linux 64 bits.
DownloadSynDEx v8 (alpha) runs under Linux 64 bits platforms: