Select Git revision
- Branches 20
- devel default protected
- malowe/test/1
- devel-1
- 123-Interact-with-Kratos-for-formal-verification-of-state-machines
- 123-Add-further-constraints-during-model-creation
- 10-improve-diagrams-creation-utils
- 111-Optimize-access-to-stereotypes
- 564973-enrich-entityUtil-methods
- 4-Align-CHESS-model-in-regression-test-with-CleanC-specification
- 2-enrich-documentation-with-description-of-CleanC-language
- 564178-Enable-the-test-related-to-document-generation
- test-branch-to-merge
- test-devel-branch
- 563991-improve-checker-manager
- master
- neon
- 562302-Implement-unit-tests-for-existing-features
- bug_561630
- neon_ext
- neon-tycho
Forked from
Eclipse Projects / Eclipse CHESS / chess
Source project has a limited visibility.
Name | Last commit | Last update |
---|---|---|