mbeddr.formal
Building
- MPS 2017.2.2 - [https://www.jetbrains.com/mps/download/]
- mbeddr - either use the binary distribution from here (http://mbeddr.com/download.html) or -- clone the sources from [https://github.com/mbeddr/mbeddr.core] - we use the "mbeddr-2017-2-0" branch - and built automatically using "gradlew.bat" under windows (takes ca. 40 minutes)