Page History
...
| Status | ||||
|---|---|---|---|---|
|
| Feature | Plugin(s) | Previous Status (0.12) | Current Status (0.13) |
|---|---|---|---|
| Esterel Compiler (CEC) & Simulation | |||
| Esterel Language | |||
| SCEst Language | |||
| SCEst to SCL Compilation | |||
| Esterel SCSSA (ACSD'18) | |||
| Timing SCCharts | |||
| C Code to SCCharts | |||
| SCG Circuit Translation | |||
| Kieler Execution Manager (Simulation) | |||
| Kieler Environment Visualization (Simulation) | |||
| Kieler Compiler (2.0) | |||
| Kieler Compiler Server | |||
| S Code | |||
| SCCharts Debugging | |||
| KART ?? | |||
| Ptolemy Simulation | |||
| SJ/SJL | |||
| ProM | |||
| SCG SSA Optimazations (CCP) |
.sctx File Format
| Status | ||||
|---|---|---|---|---|
|
...
Overview
Content Tools