1. 11 Sep, 2020 1 commit
  2. 03 Apr, 2020 1 commit
  3. 02 Apr, 2020 1 commit
  4. 04 Feb, 2020 2 commits
  5. 01 Aug, 2019 1 commit
  6. 30 Jul, 2019 1 commit
  7. 13 Dec, 2018 1 commit
  8. 01 Oct, 2018 1 commit
  9. 18 Apr, 2018 1 commit
  10. 17 Apr, 2018 1 commit
  11. 09 Feb, 2018 1 commit
  12. 05 Feb, 2018 1 commit
    • Alexander Diewald's avatar
      SafetyCases: Java 9 compliance. · 2fec4612
      Alexander Diewald authored
      * Rename the class Module to SafetyModule.
      * Make the class SafetyModule abstract (as per intention of the meta-model).
      * Align the naming of the ModuleRef class (Library elements) --> SafetyModuleRef.
      * Add a migrator for ModuleRef elements. A migrator for Module elements is not needed since this class has been used like an abstract one.
      * Change the getFileProject utility class to handle cases in which the passed element is the FileProject.
      refs 3104
      2fec4612
  13. 01 Dec, 2017 1 commit
  14. 28 Nov, 2017 1 commit
  15. 21 Nov, 2017 1 commit