Skip to content

Instantly share code, notes, and snippets.

View combemale's full-sized avatar

Benoit Combemale combemale

View GitHub Profile
@combemale
combemale / Arduino-OperationalSemantics.xtend
Last active April 18, 2016 09:12
Excerpt of the operational semantics for the arduino modeling language (https://github.com/gemoc/arduinomodeling)
@Aspect(className=Project)
class Project_ExecutableAspect {
@Main
def void main() {
val sketch = _self.sketch
while(true) {
sketch.block.execute
}
}
}