We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the homepage of ir2lustre!
1. JSON Representation of CoCoSim Models
1.1 CoCoSim Blocks in JSON
1.2 CoCoSim Stateflow in JSON
2. Mapping from Basic CoCoSim Blocks to Lustre Constructs
2.1 CoCoSim constructs to Lustre constructs
2.2 Types
2.3 Translation of CoCoSim contracts
2.4 Translation of Stateflow Charts
2.4.1 Translation of States
2.4.2 Translation of Junctions
2.5 Mapping Information