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.024Jan121110620Dec1726Nov221711105426Oct19151413121130Sep201716151473130Aug19512Jul725Jun24231729Mar28Jan272522212019181514121115Dec4324Sep23221110843231Aug2716Jul151413107618Jun171611985428May27262221201915141312118765430Apr2928272423221916159863231Mar30272625242320191828Feb241227Jan109Dec22Oct1530Sep96531Jul231143228Jun25242120191411107431May3029282723222120171615143230Apr2924151211108543229Mar201815121154125Feb2219181512875431Jan2821171511821Dec2017131211764330Nov2928272623222016151413129831Oct292726Update 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.Make compareTwoFilesIgnoreEOL() private.Fix result comparison in tests, add export async model test.Add async oracles.Add async CHESS model to test oss export.Remove unused dependences.Remove unused property in configTest.properties.Add test related to model2K2.Update smv oracles.Fix assignment of input port with real type.Implement kratos commands.

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