search

mbeddr / mps-build-backends

Command-line utilities used e.g. by Gradle plugins to generate or check models.
Apache License 2.0
3 stars 4 forks source link

1.16.0: modelcheck: use IdeaPlatformTaskScheduler #25

Closed sergej-koscejev closed 3 months ago