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.04May3224Apr2320191716131211109654329Mar28272623222120171615141312987652128Feb2726232221201916151412986231Jan2524221815121122Dec11630Nov29222120171615141310965330Oct262524171612Jul8Feb22Dec23Nov9812Oct714Sep2Aug27Jun161586131May201917131193228Apr20138131Mar2924232221181715141126Feb252419181612108543128Jan16Dec154124Nov18171265426Oct14131292129Sep28252226Aug258530Jul29232221161415Jun11428May2726222120151211723Apr22171387225Mar20165427Feb2625231917106Added theme folder to binary buildRenamed two menu items.Fixed a bug on port creation and moved up labels of updated ports.Small comments.Added a check.Now diagrams are updated as consequence of an OSS import.Added missing files in CSS themeAdded a dialog to report import errors.Fixed a bug on check in existing connectors.Added a new utility class, CHESSElementsUtil.Added a new class TypeUtil to deal with types and stereotypes.Removed dialog on IBD creation, ports are always sortedWith the new CSS, the BDD drawing options are no more used.Implemented handling of connectors in IBDsWork in progressWork started on IBD refresh.Small cleanupAdded a check to display the command only on a BDD diagram. SeemsSome improvements on BDD refreshMoved the refresh method and added a check on visualized elements.Fixed a bug.Some work to refresh BDDs, not finishedSome cleanup.Added handling of REFINEDBYSome work on refinements, not done yet.Added handling of CONNECTION.Handling of SUB seems to work.Added a new property tab.Merge "updated css" into neonSmall fixSmall fixes as suggested.Added type checks to some methods.added some TODOsSet public visibility to two methods.Merge remote-tracking branch 'origin/master' into 12-uninterpreted-functions-editorMerge branch '12-uninterpreted-functions-documentation' into 'master'Merge remote-tracking branch 'origin/master' into 12-uninterpreted-functions-documentationMerge branch '12-uninterpreted-functions-syntax' into 'master'Removed unused menu entriesMultiple IBDs are not ready yet. Emphasized in the menu command.

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