Commits · develop · general / stups / Camille · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Jul 03, 2024
- Update Eclipse .settings to declare encodings and line separators · 9b944151
  dgelessus authored 10 months ago
  
  9b944151
- Set explicit source file encoding in parent pom.xml · d18b6164
  dgelessus authored 10 months ago
  d18b6164
- Update to Tycho 4.0.8 · 3c7b9e79
  dgelessus authored 10 months ago
  3c7b9e79
- Update CI to Java 17 as required by Rodin 3.9's Eclipse version · 0409a596
  dgelessus authored 10 months ago
  
  0409a596
- Update Eclipse repository URL for Rodin 3.9 · 76323edb
  dgelessus authored 10 months ago
  
  76323edb
Feb 28, 2024
- Bump version number to 3.6.1 · 6e24336a
  dgelessus authored 1 year ago
  
  6e24336a
- Bump version number to 3.6.0 · 9e0355c2
  dgelessus authored 1 year ago
  View commits for tag 3.6.0 3.6.0
  
  9e0355c2
- Don't use explicit url and version in category.xml · 845ea16b
  dgelessus authored 1 year ago
  845ea16b
- Update .classpath for current lib jars · b33f2b71
  dgelessus authored 1 year ago
  b33f2b71
- Update eventbstruct parser to version 2.13.0 · 6ba3c89d
  dgelessus authored 1 year ago
  
  6ba3c89d
- Fix feature branding not showing in about window and make it consistent · 115abde8
  dgelessus authored 1 year ago
  
  115abde8
Dec 08, 2023
- Disallow new Event-B EMF version again because of ordering bug · 74e7ab35
  dgelessus authored 1 year ago
  74e7ab35
- Refactor PersistenceHelper diff filtering and applying · 872307eb
  dgelessus authored 1 year ago
  
  872307eb
- Match only based on Event-B names and qualified references, not EMF IDs · 139edf9f
  dgelessus authored 1 year ago
  139edf9f
Dec 07, 2023
- Optimize EventBEObjectMatcher slightly · 60758b18
  dgelessus authored 1 year ago
  
  60758b18
Dec 06, 2023
- Update mergeComponents debugging time prints · add3ed8e
  dgelessus authored 1 year ago
  
  add3ed8e
- Move debug print so it prints immediately after time is measured · e8767e82
  dgelessus authored 1 year ago
  
  e8767e82
- Log exceptions in applyDiff instead of just printing them to stdout · 7ea65073
  dgelessus authored 1 year ago
  7ea65073
- Remove unused EventBMatchEngine · 1957cd7b
  dgelessus authored 1 year ago
  
  1957cd7b
- Remove old diff/merge sources (look in the Git history if you need them) · 60577da4
  dgelessus authored 1 year ago
  
  60577da4
- Simplify EventBMerger.isMergerFor using namespace URIs · 816f7f6e
  dgelessus authored 1 year ago
  816f7f6e
- Apply upstream fixes to MyReferenceChangeMerger · 82c56d78
  dgelessus authored 1 year ago
  
  82c56d78
Nov 16, 2023
- Bump version number to 3.5.2 · a99a5cc8
  dgelessus authored 1 year ago
  
  a99a5cc8
Nov 07, 2023
- Put variant on same line as keyword when pretty-printing · 712adb53
  dgelessus authored 1 year ago
  
  View commits for tag 3.5.1 3.5.1
  
  712adb53
- Work around Event-B EMF bug that broke adding a variant · c27f7e25
  dgelessus authored 1 year ago
  c27f7e25
Aug 17, 2023
- Bump version number to 3.5.1 · 735958ec
  dgelessus authored 1 year ago
  
  735958ec
- Reformat release history so newest release is directly visible · 3e37643a
  dgelessus authored 1 year ago
  View commits for tag 3.5.0 3.5.0
  
  3e37643a
- Add release history entry for version 3.5.0 · b4a2a604
  dgelessus authored 1 year ago
  
  b4a2a604
- Require matching minor version of our own parser dependency · 7fd56f8e
  dgelessus authored 1 year ago
  7fd56f8e
- Set proper dependency version ranges in MANIFEST.MF files · 4cb0d47a
  dgelessus authored 1 year ago
  
  4cb0d47a
- Update EventB EMF version ranges to allow version 7 · 6f56d009
  dgelessus authored 1 year ago
  6f56d009
- Update eventbstruct parser to version 2.12.7 (no changes) · 8a2bfe89
  dgelessus authored 1 year ago
  
  8a2bfe89
Aug 08, 2023
- Update eventbstruct parser to version 2.12.6 · ef8681e4
  dgelessus authored 1 year ago
  
  ef8681e4
Jul 14, 2023
- Automatically delete old files in nightly update site · 7eaa849d
  dgelessus authored 1 year ago
  
  7eaa849d
Jul 10, 2023
- Remove uses of deprecated eventbstruct/SableCC APIs · 7f679e8d
  dgelessus authored 1 year ago
  
  7f679e8d
- Update eventbstruct parser to version 2.12.5 · 29c429bf
  dgelessus authored 1 year ago
  
  29c429bf
Jul 06, 2023
- Replace all uses of Guava with Java 8 standard APIs · 5e33fdc7
  dgelessus authored 1 year ago
  
  5e33fdc7
- Remove classical B parser dependency that isn't actually used here · b8d26eff
  dgelessus authored 1 year ago
  
  b8d26eff
- Replace match="greaterOrEqual" with match="compatible" · 6f52226b
  dgelessus authored 1 year ago
  6f52226b
- Sort all the dependencies alphabetically · dfff8473
  dgelessus authored 1 year ago
  
  dfff8473