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.