...
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
...