Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
develop
default
protected
697e9499
·
Merge branch...
·
Apr 10, 2024
593-cif-annos-on-specs
d6540296
·
#593 Strip of '@' and '@@' in scanner, not in type checker.
·
Apr 09, 2024
794-enable-checking-list-type-limits
66154eef
·
#794 Add unbounded list test.
·
Apr 08, 2024
789-remove-or-replace-remaining-eclipse-wiki-links
bc055988
·
#789 Release process: removed link to wiki.eclipse.org.
·
Apr 07, 2024
319-add-subplant-3
0b8ddc97
·
#319 Re-add the "skip empty features" feature to EMF pretty printing.
·
Apr 05, 2024
635-upgrade-to-eclipse-2023-06-or-higher
59e5e1d6
·
Merge branch 'develop' into 635-upgrade-to-eclipse-2023-06-or-higher
·
Apr 03, 2024
master
b7ff5c68
·
Merge branch 'develop' into 'master'
·
Mar 31, 2024