...
Thew following tools are installed locally in /home/esterel/bin/
IDE
Compiler
- Inria Esterel compiler Compiler (esterel)
- Columbia Esterel Compiler (cec)
- KEP Kiel Esterel Processor
Managing Traces
Traces of Esterel programs are usually given as esi ? or eso ? ESI or ESO files. The following tools to work with esi and eso files are installed in /home/esterel/bin
...