Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Comma
Comma
Merge requests
Open
2
Merged
146
Closed
19
All
167
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Title
Fix name of JSON help
!107
· created
Dec 14, 2021
by
Redouane Darfoufi
Merged
0
updated
Dec 14, 2021
Fix non triggered transitions with guards freezing simulator
!133
· created
Apr 06, 2022
by
Koen Kanters
Merged
0
updated
Apr 06, 2022
Fix notice generation
!14
· created
Apr 07, 2021
by
Koen Kanters
Merged
0
updated
Apr 07, 2021
Fix PlantUML view missing
!35
· created
May 06, 2021
by
Koen Kanters
Merged
0
updated
May 06, 2021
Fix project natures missing from VendingMachine and TutorialExample.
!31
· created
Apr 28, 2021
by
Koen Kanters
Merged
Approved
0
updated
Apr 29, 2021
Fix record assignment in .params file
!93
· created
Oct 25, 2021
by
Koen Kanters
Merged
0
updated
Nov 01, 2021
Fix release build
!58
· created
Jun 03, 2021
by
Koen Kanters
Merged
0
updated
Jun 03, 2021
Fix release build
!55
· created
Jun 01, 2021
by
Koen Kanters
Merged
0
updated
Jun 01, 2021
Fix site
!143
· created
Sep 30, 2022
by
Koen Kanters
Merged
0
updated
Sep 30, 2022
Fix Windows signing
!118
· created
Jan 24, 2022
by
Koen Kanters
Merged
0
updated
Jan 24, 2022
Force console background color to white
!36
· created
May 06, 2021
by
Koen Kanters
Merged
0
updated
May 06, 2021
Help updates
5 of 5 checklist items completed
!47
· created
May 20, 2021
by
Koen Kanters
Merged
0
updated
Jun 01, 2021
Help updates
!23
· created
Apr 21, 2021
by
Koen Kanters
Merged
0
updated
Apr 21, 2021
Improve help
!102
· created
Dec 07, 2021
by
Jozef Hooman
Merged
0
updated
Dec 07, 2021
Improve help and site
!61
· created
Jun 16, 2021
by
Koen Kanters
Merged
0
updated
Jun 16, 2021
Improve JSON help and added 3 examples
!108
· created
Dec 17, 2021
by
Jozef Hooman
Merged
0
updated
Dec 17, 2021
Improvements
!9
· created
Mar 30, 2021
by
Koen Kanters
Merged
0
updated
Mar 30, 2021
Improve reachability graph and test generation
!64
· created
Jun 21, 2021
by
Koen Kanters
Merged
1
updated
Jul 21, 2021
issue-100: fixed method names based on interface events
!139
· created
Jul 14, 2022
by
Ivan Kurtev
Merged
0
updated
Jul 14, 2022
issue-104: fixed check duplicated imported types
!144
· created
Nov 01, 2022
by
Ivan Kurtev
Merged
0
updated
Nov 01, 2022
Prev
1
2
3
4
5
6
7
8
Next