Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

D

DOML Model Checker
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

916325b0

Unverified Commit 916325b0 authored 1 year ago by Andrea Franchini

Downloads
- Patches
- Plain Diff

Add support for DOML v2.3

parent 6c86f7f4

No related branches found

No related tags found

No related merge requests found

Changes 11

Expand all Hide whitespace changes

Inline Side-by-side

Showing

docs/reference_index.rst 4 additions, 0 deletions

docs/reference_index.rst
docs/reference_v2.2.1.rst 588 additions, 0 deletions

docs/reference_v2.2.1.rst
docs/reference_v2.2.rst 2 additions, 2 deletions

docs/reference_v2.2.rst
docs/reference_v2.3.rst 594 additions, 0 deletions

docs/reference_v2.3.rst
mc_openapi/assets/doml_meta_v2.3.yaml 551 additions, 0 deletions

mc_openapi/assets/doml_meta_v2.3.yaml
mc_openapi/assets/doml_v2.3.ecore 422 additions, 0 deletions

mc_openapi/assets/doml_v2.3.ecore
mc_openapi/doml_mc/common_reqs.py 201 additions, 11 deletions

mc_openapi/doml_mc/common_reqs.py
mc_openapi/doml_mc/intermediate_model/metamodel.py 1 addition, 0 deletions

mc_openapi/doml_mc/intermediate_model/metamodel.py
mc_openapi/doml_mc/mc.py 1 addition, 0 deletions

mc_openapi/doml_mc/mc.py
mc_openapi/doml_mc/xmi_parser/special_parsers.py 6 additions, 0 deletions

mc_openapi/doml_mc/xmi_parser/special_parsers.py
tests/doml/v2.3/UC3_Simplified.doml 294 additions, 0 deletions

tests/doml/v2.3/UC3_Simplified.doml

with 2664 additions and 13 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment