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.010Feb824Jan121110620Dec1726Nov221711105426Oct19151413121130Sep201716151473130Aug19512Jul725Jun24231729Mar28Jan272522212019181514121115Dec4324Sep23221110843231Aug2716Jul151413107618Jun171611985428May27262221201915141312118765430Apr2928272423221916159863231Mar30272625242320191828Feb241227Jan109Dec22Oct1530Sep96531Jul231143228Jun25242120191411107431May3029282723222120171615143230Apr2924151211108543229Mar201815121154125Feb2219181512875431Jan2821171511821Dec2017131211764330Nov2928272623222016151413129831Oct29Remove 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.Ask for time model only for monolithic model checking.123-Interact-wi…123-Interact-with-Kratos-for-formal-verification-of-state-machinesFix wrong result view for Kratos model checking.Fix bugs in model checking commands.Merge remote-tracking branch 'Polarsys/devel' into 123-Interact-with-Kratos-for-formal-verification-of-state-machinesUpdate oracles of chess2smv and chess2k2.Fix real-int assignment.Support model checking by Kratos.Handle warnings (2).Handle warnings.Add test for async discrete case.118-add-tests-r…118-add-tests-related-to-oss-export-of-asyn-model-2Update OSS oracle.118-add-tests-r…118-add-tests-related-to-oss-export-of-asyn-modelFix test on async oracle.Fix contract in SSR model.Add .project.

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