Ir2Lustre is a translator from the intermediate representation (JSON) of CoCoSim models to Lustre programs.
Dependency: Maven
- Download and install Maven
- Download the srouce
- Change directory to the project main directory on terminal
- Issue command on terminal:
mvn install - The final binary will be placed in
/ir2lustre/target/CocoSim_IR_Compiler-0.1-jar-with-dependencies.jar
You can run the tool by issuing the following command:
java -jar CocoSim_IR_Compiler-0.1-jar-with-dependencies.jar -i /path/to/your/simulink_representation_in_json