Select Git revision
- Branches 20
- 10-improve-diagrams-creation-utils
- 102-bdd-not-automatically-generated-correctly
- 105-update-releng-pom-xml
- 105-update-releng-pom-xml-2
- 106-support-the-formal-reliability-analysis-of-redundancy-architectures
- 107-maven-warning-related-to-build-plugins-plugin-version
- 110-update-content-xml
- 111-Optimize-access-to-stereotypes
- 115-porting-to-latest-eclipse-and-papyrus-release
- 116-textual-editors-based-on-xtext-grammars
- 117-update-reference-to-sde-and-aeta-update-site
- 118-add-tests-related-to-oss-export-of-asyn-model
- 118-add-tests-related-to-oss-export-of-asyn-model-2
- 120-add-timed-time-model-option
- 122-allow-cross-level-contract-refinement
- 123-Add-further-constraints-during-model-creation
- 123-Interact-with-Kratos-for-formal-verification-of-state-machines
- 123-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional
- 124-eata-plugins-not-included-in-chess-bundle
- 2-enrich-documentation-with-description-of-CleanC-language
You can move around the graph by using the arrow keys.
Loading