Activity · general / stups / Camille · GitLab

Snippets Groups Projects

11 months ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

9b944151 · Update Eclipse .settings to declare encodings and line separators
... and 3 more commits. Compare 76323edb...9b944151

11 months ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

76323edb · Update Eclipse repository URL for Rodin 3.9

1 year ago

dgelessus @dgelessus

pushed new tag 3.6.0 at general / stups / Camille

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

6e24336a · Bump version number to 3.6.1

1 year ago

dgelessus @dgelessus

pushed to branch master at general / stups / Camille

9e0355c2 · Bump version number to 3.6.0
... and 16 more commits. Compare 712adb53...9e0355c2

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

9e0355c2 · Bump version number to 3.6.0

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

845ea16b · Don't use explicit url and version in category.xml
... and 3 more commits. Compare 74e7ab35...845ea16b

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

74e7ab35 · Disallow new Event-B EMF version again because of ordering bug

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

872307eb · Refactor PersistenceHelper diff filtering and applying
... and 2 more commits. Compare add3ed8e...872307eb

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

add3ed8e · Update mergeComponents debugging time prints
... and 6 more commits. Compare a99a5cc8...add3ed8e

1 year ago

dgelessus @dgelessus

pushed new tag 3.5.1 at general / stups / Camille

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

a99a5cc8 · Bump version number to 3.5.2

1 year ago

dgelessus @dgelessus

pushed to branch master at general / stups / Camille

712adb53 · Put variant on same line as keyword when pretty-printing
... and 2 more commits. Compare 3e37643a...712adb53

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

712adb53 · Put variant on same line as keyword when pretty-printing
... and 1 more commit. Compare 735958ec...712adb53

1 year ago

dgelessus @dgelessus

pushed new tag 3.5.0 at general / stups / Camille

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

735958ec · Bump version number to 3.5.1

1 year ago

dgelessus @dgelessus

pushed to branch master at general / stups / Camille

3e37643a · Reformat release history so newest release is directly visible
... and 19 more commits. Compare 62bf4fdb...3e37643a

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

3e37643a · Reformat release history so newest release is directly visible

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

b4a2a604 · Add release history entry for version 3.5.0

1 year ago

dgelessus @dgelessus

pushed to branch develop at general / stups / Camille

7fd56f8e · Require matching minor version of our own parser dependency
... and 1 more commit. Compare 6f56d009...7fd56f8e