Define include/exclude lists of models/solutions

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

Closed giorgosbekas1995 closed 1 year ago

giorgosbekas1995 commented 1 year ago

Extend the mps-gradle generator plugin with the possibility to define black/whitel lists of models/solutions similar like the modelchecking plugin

sergej-koscejev commented 1 year ago

Please also update changelog and increase minor version number.

HeikoBecker commented 1 year ago

This PR has been replaced by #5.