1. 16 Apr, 2020 5 commits
  2. 09 Apr, 2020 2 commits
  3. 08 Apr, 2020 1 commit
  4. 13 Jan, 2020 1 commit
  5. 20 Dec, 2019 1 commit
  6. 09 Dec, 2019 2 commits
  7. 01 Aug, 2019 1 commit
  8. 15 Feb, 2019 1 commit
  9. 14 Nov, 2018 2 commits
  10. 13 Nov, 2018 1 commit
  11. 06 Nov, 2018 1 commit
  12. 01 Oct, 2018 1 commit
  13. 18 Apr, 2018 1 commit
  14. 17 Apr, 2018 1 commit
  15. 06 Feb, 2018 1 commit
  16. 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
  17. 04 Dec, 2017 1 commit
  18. 01 Dec, 2017 1 commit
  19. 29 Nov, 2017 1 commit
  20. 28 Nov, 2017 1 commit