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.018Feb1610824Jan121110620Dec1726Nov221711105426Oct19151413121130Sep201716151473130Aug19512Jul725Jun24231729Mar28Jan272522212019181514121115Dec4324Sep23221110843231Aug2716Jul151413107618Jun171611985428May27262221201915141312118765430Apr2928272423221916159863231Mar30272625242320191828Feb241227Jan109Dec22Oct1530Sep96531Jul231143228Jun25242120191411107431May3029282723222120171615143230Apr2924151211108543229Mar201815121154125Feb2219181512875431Jan2821171511821Dec2017131211764330Nov2928272623222016151413129Remove 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.Handle isAsyncComponent().Update ChessSystemModel wrt AbstractSystemModel.122-allow-cross…122-allow-cross-level-contract-refinementUpdate smv export oracles.Update oracles sync model to oss.

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