-
- Downloads
Integrate actual model checker
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- mc_openapi/assets/__init__.py 0 additions, 0 deletionsmc_openapi/assets/__init__.py
- mc_openapi/assets/doml.ecore 349 additions, 0 deletionsmc_openapi/assets/doml.ecore
- mc_openapi/assets/doml_meta.yaml 334 additions, 0 deletionsmc_openapi/assets/doml_meta.yaml
- mc_openapi/bytes_uri.py 5 additions, 5 deletionsmc_openapi/bytes_uri.py
- mc_openapi/doml_mc/__init__.py 4 additions, 0 deletionsmc_openapi/doml_mc/__init__.py
- mc_openapi/doml_mc/_utils.py 10 additions, 0 deletionsmc_openapi/doml_mc/_utils.py
- mc_openapi/doml_mc/example.ipynb 706 additions, 0 deletionsmc_openapi/doml_mc/example.ipynb
- mc_openapi/doml_mc/intermediate_model/__init__.py 0 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/__init__.py
- mc_openapi/doml_mc/intermediate_model/application2im.py 45 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/application2im.py
- mc_openapi/doml_mc/intermediate_model/concrete2im.py 111 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/concrete2im.py
- mc_openapi/doml_mc/intermediate_model/doml_element.py 69 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/doml_element.py
- mc_openapi/doml_mc/intermediate_model/doml_model2im.py 18 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/doml_model2im.py
- mc_openapi/doml_mc/intermediate_model/infrastructure2im.py 92 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/infrastructure2im.py
- mc_openapi/doml_mc/intermediate_model/metamodel.py 229 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/metamodel.py
- mc_openapi/doml_mc/intermediate_model/types.py 2 additions, 0 deletionsmc_openapi/doml_mc/intermediate_model/types.py
- mc_openapi/doml_mc/mc.py 172 additions, 0 deletionsmc_openapi/doml_mc/mc.py
- mc_openapi/doml_mc/model/__init__.py 0 additions, 0 deletionsmc_openapi/doml_mc/model/__init__.py
- mc_openapi/doml_mc/model/application.py 63 additions, 0 deletionsmc_openapi/doml_mc/model/application.py
- mc_openapi/doml_mc/model/concretization.py 102 additions, 0 deletionsmc_openapi/doml_mc/model/concretization.py
Loading
Please register or sign in to comment