Skip to content

A programming language for Arduino controllers, using UPPAAL for time verification.

Notifications You must be signed in to change notification settings

GarridoY/Our-Compiler

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Our Compiler

A programming language for arduino controllers, using UPPAAL for time verification.

Running the compiler:

If the first argument doesn't start with a "-", it will be used as the input file path.

Flag Arguments Description
-i -input path Specify an input .our file.
-o -output path Specify an output .ino file.
-u -up -uppaal path Specify the UPPAAL directory.
-m -model path Specify custom model of I/O as UPPAAL .xml file.
-q -query path Specify custom queries .q file.
-v -check -verify - Verify the generated UPPAAL model.
-pp -prettyprint - Print out the parsed Our code in the terminal.
-p -print - Print the generated arduino code in the terminal.
-h -help - Display help.