Skip to content
Snippets Groups Projects
Select Git revision
  • 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
20 results
Compare
Forked from Eclipse Projects / Eclipse CHESS / chess
Source project has a limited visibility.
Tuan Duong Quang's avatar
Merge branch 'develop' into 'main'
Tuan Duong Quang authored 
Merge v0.10

See merge request eclipse/simopenpass/simopenpass!94
c4fdd74d
History
Tuan Duong Quang's avatar c4fdd74d
History
Name Last commit Last update

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent