Select Git revision
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
2-issue-for-testing
2018-09
4-Align-CHESS-model-in-regression-test-with-CleanC-specification
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2
4-async-constraints-1-3
562302-Implement-unit-tests-for-existing-features
563991-improve-checker-manager
564178-Enable-the-test-related-to-document-generation
564973-enrich-entityUtil-methods
R1_1
bug_561630
devel
develop
e2e
mars
master
neon
neon-tycho
neon_ext
release0.9.0
test-branch-to-merge
test-devel-branch
128-statemachine-to-python
128-statemachine-to-python-2
129-unsupportedclassversionerror-for-neon-profile
130-refactor-fei-generator
130-refactor-fei-generator-2
131-fix-fta-visualization-to-support-latest-sirius
132-remove-unused-dependences
133-create-util-2
133-create-util-class-for-diagrams
134-fix-fmea-properties
137-fix-marte-dependencies
devel_neon