mbeddr mps-build-backends issues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

1.16.0: modelcheck: use IdeaPlatformTaskScheduler

#25 sergej-koscejev closed 1 month ago
0
Adding the ability to bypass reconciliation and compilation phases.

#24 tomb50 opened 3 months ago
2
Model-Check checker set in MPS and IDEA modes

#23 tomb50 opened 3 months ago
0
Provide basic information in POM

#22 wjglerum closed 5 months ago
0
Upgrade Jackson to non-vulnerable version compatible with MPS 2022.2

#21 wjglerum closed 5 months ago
4
Updating ModelChecker readme to reflect the dependency on mps-modelchecker

#20 tomb50 closed 5 months ago
0
Unrecognised Option: plugin-root

#19 tomb50 closed 5 months ago
1
Required JDK version?

#18 tomb50 closed 5 months ago
2
project-loader: load project libraries, automatically find plugins

#17 kolmar closed 6 months ago
0
1.15.0: Load project libraries in MPS environment

#16 sergej-koscejev closed 6 months ago
0
modelcheck: Update jackson-dateformat-xml from 2.11.+ to 2.16.+

#15 alexanderpann closed 8 months ago
3
execute: Added a backend to execute methods in generated classes

#14 kolmar closed 10 months ago
0
modelcheck: --parallel flag

#13 kolmar closed 10 months ago
0
modelcheck: add errors from out-of-scope models to the JUnit report

#12 kolmar closed 11 months ago
0
Support for parallel model checking

#11 cdelabou closed 10 months ago
3
Modelcheck fails to start with JDK 17

#10 SebastianSausN closed 7 months ago
1
generate: added --no-strict-mode flag

#9 kolmar closed 1 year ago
0
MPS 2022 support

#8 sergej-koscejev closed 1 year ago
0
generate: distinguishable exit code when nothing to generate

#7 kolmar closed 1 year ago
0
generate: argument to enable parallel generation

#6 kolmar closed 1 year ago
0
Create feature to include and exclude lists of models and solutions

#5 giorgosbekas1995 closed 1 year ago
1
Define include/exclude lists of models/solutions

#4 giorgosbekas1995 closed 1 year ago
2
Adds support for module level test reporting

#3 wjglerum closed 1 year ago
2
generate backend does not report generation errors

#2 sergej-koscejev closed 1 year ago
1
ONE_TEST_PER_MODEL does not report module-level errors

#1 sergej-koscejev closed 1 year ago
1