https://github.com/mbeddr/mps-logical-view-checks
An MPS language that supports adding info, warning and error messages to the logical view
https://github.com/mbeddr/mps-logical-view-checks
jetbrains-mps logical-view modelchecker modelchecking
Last synced: about 2 months ago
JSON representation
An MPS language that supports adding info, warning and error messages to the logical view
- Host: GitHub
- URL: https://github.com/mbeddr/mps-logical-view-checks
- Owner: mbeddr
- License: apache-2.0
- Created: 2024-09-02T10:27:02.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-09-11T10:40:31.000Z (over 1 year ago)
- Last Synced: 2024-09-11T16:40:09.886Z (over 1 year ago)
- Topics: jetbrains-mps, logical-view, modelchecker, modelchecking
- Language: JetBrains MPS
- Homepage:
- Size: 111 KB
- Stars: 1
- Watchers: 4
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
# Logical View Checks
An MPS language to add support for adding info, warning and error messages to the logical view.