Migrate to MPS 2022.3 - Githubissues

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.3 #77

Closed alexanderpann closed 10 months ago

alexanderpann commented 11 months ago

I had to remove a few not important table styles that are not compiling anymore and also fixed a few of the smaller errors and warnings but not all of them.