summaryrefslogtreecommitdiff
path: root/tests/kind2-examples/a_microwave.scade
Commit message (Expand)AuthorAgeFilesLines
* Add a few examples from KIND2 distribution.Alex Auvolat2014-07-231-0/+1428