Skip to content
Snippets Groups Projects
Select Git revision
  • devel default protected
  • 124-eata-plugins-not-included-in-chess-bundle
  • master
  • 115-porting-to-latest-eclipse-and-papyrus-release
  • 120-add-timed-time-model-option
  • 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-2
  • 122-allow-cross-level-contract-refinement
  • 123-Interact-with-Kratos-for-formal-verification-of-state-machines
  • 118-add-tests-related-to-oss-export-of-asyn-model-2
  • 118-add-tests-related-to-oss-export-of-asyn-model
  • 117-update-reference-to-sde-and-aeta-update-site
  • 4-async-constraints-1-3
  • 4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous
  • 116-textual-editors-based-on-xtext-grammars
  • 107-maven-warning-related-to-build-plugins-plugin-version
  • 110-update-content-xml
  • 102-bdd-not-automatically-generated-correctly
  • 106-support-the-formal-reliability-analysis-of-redundancy-architectures
  • 105-update-releng-pom-xml-2
20 results
Search by author
  • Any Author
  • Felicien IHIRWE Felicien IHIRWE fihirweh8e
1 author
  1. May 13, 2020
  3. Sep 06, 2019
  5. Sep 05, 2019
  7. Jun 14, 2018
  9. May 04, 2018
  11. Mar 15, 2018
  13. Feb 23, 2018
    • Alberto Debiasi's avatar
      rearranged classes of plugins · 6add1bfc
      Alberto Debiasi authored 
      contracts.contractPropertyManager,contracts.verificationService,service,smvExporter
in packages .ui and .core to have a clear separation between UI layer
and API/CORE layers
      6add1bfc
  15. Jan 22, 2018
  17. Nov 30, 2017
  19. Nov 17, 2017
  21. Nov 16, 2017
  23. Oct 30, 2017

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