FASTEN

Homepage

for building FASTEN we have gradle-based scripts (please configure the needed variables in gradle.properties)
for packaging FASTEN distribution, run gradlew.bat- this starts the default task build_fasten_safety_distribution

download MPS 2020.2.x
clone the repository https://github.com/danielratiu/mbeddr.formal.mps-plugins and copy the content of "platform_2020_1_2/" 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 1,659 Commits
.github/workflows		.github/workflows
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