FASTEN

Homepage

for the SMV part of FASTEN we have gradle-based scripts (please configure the needed variables in gradle.properties)
for the other parts (Spin, Safety, etc) we build now only from MPS
to build all languages based on SMV, run gradlew.bat build_smv_languages
to build and execute all unit tests, run gradlew.bat run_smv_tests (includes also building all languages)
for packaging FASTEN distribution, run gradlew.bat build_fasten_distribution

download MPS 2019.2.x
clone the repository https://github.com/danielratiu/mbeddr.formal.mps-plugins and copy the content of "platform_2019_2_3/plugins" in the "plugins" directory of MPS
start MPS
the path variable mbeddr.formal.home in 'Settings->Appearance & Behavior->Path Variables' to point to the directory which contains the cloned 'mbeddr.formal' repository.
rebuild the project

Name		Name	Last commit message	Last commit date
Latest commit History 899 Commits
build/scripts		build/scripts
code		code
docs		docs
gradle/wrapper		gradle/wrapper
rcp_resources		rcp_resources
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
build.gradle		build.gradle
gradle.properties.example		gradle.properties.example
gradlew		gradlew
gradlew.bat		gradlew.bat
license.html		license.html
projectlibraries.properties		projectlibraries.properties