https://github.com/mbeddr/mps-logical-view-checks

An MPS language that supports adding info, warning and error messages to the logical view

jetbrains-mps logical-view modelchecker modelchecking

Last synced: 18 Feb 2026