search

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
https://sites.google.com/site/fastenroot/home
Apache License 2.0
23 stars 14 forks source link

Migrate to MPS 2022.2 #76

Closed HeikoBecker closed 1 year ago

HeikoBecker commented 1 year ago

This PR runs the necessary migrations to update mbeddr.formal to MPS 2022.2