Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Camille
Manage
Activity
Members
Labels
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Model registry
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
Camille
Commits
e8767e82c1c9efad6a3be28a57a398c5b2f28c8b
Select Git revision
Branches
2
develop
default
protected
master
protected
Tags
5
3.6.0
3.5.1
3.5.0
3.4.1
3.4.0
7 results
camille
Author
Search by author
Any Author
authors
dgelessus
dgelessus
Fabian Vu
vu
Jan Gruteser
gruteser
Jannik Dunkelau
dunkelau
Jens Bendisposto
bendisposto
John Witulski
witulski
Joshua Schmidt
schmidt
Kristin Rutenkolk
rutenkolk
Mareike Mutz
mutz
Max Jakub Ried
ried
Michael Leuschel
leuschel
Philipp Körner
koerner
Thomas Spitzlei
spitzlei
13 authors
Dec 06, 2023
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
Remove Export-Package uses directives from one manifest
· 244be825
dgelessus
authored
1 year ago
244be825
Fix bad line wrapping in feature.xml
· 01d02e98
dgelessus
authored
1 year ago
01d02e98
Remove camille_with_statemachines.target
· 42523729
dgelessus
authored
1 year ago
42523729
Remove stray .gitignore
· b067b082
dgelessus
authored
1 year ago
b067b082
Use current Rodin update site instead of our Rodin 3.4 mirror
· 29b7c8bc
dgelessus
authored
1 year ago
29b7c8bc
Jul 05, 2023
Bump version number to 3.5.0
· 571c65e8
dgelessus
authored
1 year ago
571c65e8
Add release history entry for version 3.4.1
· 62bf4fdb
dgelessus
authored
1 year ago
View commits for tag 3.4.1
3.4.1
62bf4fdb
Add automatic release deployment to .gitlab-ci.yml
· 57830bff
dgelessus
authored
1 year ago
57830bff
Download parser jars using maven-dependency-plugin instead of Gradle
· c4027e45
dgelessus
authored
1 year ago
c4027e45
Update README.md
· ded5432b
dgelessus
authored
1 year ago
ded5432b
Fix category description
· db231874
dgelessus
authored
1 year ago
db231874
Add .tycho-consumer-pom.xml to .gitignore
· d8522768
dgelessus
authored
1 year ago
d8522768
Remove duplicate category.xml under org.eventb.texteditor.feature
· 4c4e3418
dgelessus
authored
1 year ago
4c4e3418
Remove explicit plugin version numbers in feature.xml
· 52c6623a
dgelessus
authored
1 year ago
52c6623a
Always inherit groupId and version from parent pom.xml
· 25a7034d
dgelessus
authored
1 year ago
25a7034d
Consistently use -SNAPSHOT version suffix in pom.xml files
· 3387f4fe
dgelessus
authored
1 year ago
3387f4fe
Loading