LIDL MEC Toolkit

Source code

path: ./source code/

• LIDL Modeling Tool
  • ./source code/Modeling tool/tool/
• LIDL Code Editor
  • ./source code/Code Editor/editor/
• LIDL Compiler
  • ./source code/Compiler/lidl2lustre/

Software

• LIDL Modeling Tool path: ./software/Modeling tool/
  • software package (contains .exe file)
    • ./software/Modeling tool/LIDL modeling tool/
  • runtime data
    • ./software/Modeling tool/LIDL modeling tool/workspace/
• LIDL Code Editor
  • software (i.e., its source code)
    • ./source code/Code Editor/editor/
  • runtime data
    • ./software/Code editor/LIDL/
• LIDL Compiler path: ./software/Compiler/
  • software (jar package)
    • ./software/Compiler/Lidl2Lustre.jar
    • dependencies
      • ./software/Compiler/lib/
    • calling command
      • java -jar Lidl2Lustre.jar -h
  • runtime data
    • ./software/Compiler/cases

Documents

path: ./docs/

• LIDL Modeling Tool
  • developer manual
    • ./docs/Modeling tool/LIDL Modeling Tool developer manual.docx
  • user manual
    • ./docs/Modeling tool/LIDL Modeling Tool user manual.docx
• LIDL Code Editor
  • developer manual
    • ./docs/Code editor/LIDL Code Editor developer manual.docx
  • user manual
    • ./docs/Code editor/LIDL Code Editor user manual.docx
• LIDL Compiler
  • ./docs/Compiler/LIDL Compiler user and developer manual.docx