Skip to content
Snippets Groups Projects
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
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.016Mar118Feb1610824Jan121110620Dec1726Nov221711105426Oct19151413121130Sep201716151473130Aug19512Jul725Jun24231729Mar28Jan272522212019181514121115Dec4324Sep23221110843231Aug2716Jul151413107618Jun171611985428May27262221201915141312118765430Apr2928272423221916159863231Mar30272625242320191828Feb241227Jan109Dec22Oct1530Sep96531Jul231143228Jun25242120191411107431May3029282723222120171615143230Apr2924151211108543229Mar201815121154125Feb2219181512875431Jan2821171511821Dec2017131211764330Nov2928272623222016151413test modificationdeveldevelFix eata version in CHESS.product.124-eata-plugin…124-eata-plugins-not-included-in-chess-bundle masterAdd eata feature to CHESS.product.Update target platform.115-porting-to-…115-porting-to-latest-eclipse-and-papyrus-releaseRemove modified profiles. Fix target platform.Update chessBuildNumber in pom.xmlUpdate Marte profiles.Update ecore profiles (in progress).Add profile Eclipse-2021-12-Java11.Add 2022-03 target.Update profiles (in progress).Update ecore profiles.Add MARTE.ecore.Add MARTE_Library.ecore.Update chesscontract.ecore.Add mvn profile.Enrich target platform.Fix errors on dependences.Remove old generated classes from CHESS profile.Update CHESS Contract profile.Update CHESS profile.Update target platform.Remove unused method.Update dependences (in progress).Update target platform (in progress).Update target platform (in progress).Update target platform (in progress).Add target platform.Update timedModel oracles.120-add-timed-t…120-add-timed-time-model-optionAdd test for timed domain.Merge remote-tracking branch 'Polarsys/devel' into 120-add-timed-time-model-optionFix getStateInvariant() method.Merge branch '120-add-timed-time-model-option' into '120-add-timed-time-model-option'Merge branch '120-add-timed-time-model-option' of ssh://gitlab.eclipse.org/aperri21897/chess into 120-add-timed-time-model-optionMerge remote-tracking branch 'origin/devel' into 120-add-timed-time-model-optionUpload New Fileremove extra commentsExtend support to timed domainUpdate oracle of async model.123-modify-stat…123-modify-state-machine-to-smv-translation-to-support-old_smv_format-as-optional 4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2Update test for async model.

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