1. 01 Oct, 2018 1 commit
  2. 18 Apr, 2018 1 commit
  3. 17 Apr, 2018 1 commit
  4. 09 Feb, 2018 1 commit
  5. 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
  6. 01 Dec, 2017 1 commit
  7. 28 Nov, 2017 1 commit
  8. 21 Nov, 2017 1 commit