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

Merging MPS 2022.3 → master #87

Closed sergej-koscejev closed 3 months ago

sergej-koscejev commented 5 months ago

@danielratiu could you also look at the conflicts here?

sergej-koscejev commented 3 months ago

Thanks!