Skip to content
GitLab
Explore
Sign in
Open
3
Merged
1,147
Closed
60
All
1,210
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Priority
#484 Release Eclipse ESCET also for macOS aarch64
!451
· created
Dec 22, 2022
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Merged
4
updated
Dec 31, 2022
#424 Generalize allowed invariants check.
!399
· created
Oct 26, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
39
updated
Dec 07, 2022
#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common CIF checkers framework.
!387
· created
Oct 15, 2022
by
Ferdie Reijnen
CIF
Type
Enhancement
Merged
32
Approved
updated
Nov 22, 2022
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixes
!376
· created
Sep 29, 2022
by
Martijn Goorden
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 18, 2023
Draft: #382 Make plcgen0 accessible in ESCET.
!352
· created
Aug 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
2
updated
Aug 11, 2022
#368 Implement cif2dmm
!349
· created
Jul 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
290
updated
Jan 18, 2023
#345 Add Maven build launch configuration to only 'clean'
!296
· created
Apr 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Apr 03, 2022
Draft: #307 Add CIF to CIF transformation to anonymize names
!270
· created
Feb 25, 2022
by
Dennis Hendriks
CIF
Type
Enhancement
Closed
1
updated
Feb 25, 2022
#285 Copyright update to 2022.
!246
· created
Jan 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
12
Approved
updated
Jan 02, 2023
#490 Upgraded to Tycho 2.7.5.
!455
· created
Dec 25, 2022
by
Ferdie Reijnen
RelEng/DevOps
Merged
2
Approved
updated
Dec 29, 2022
Release milestone v0.1-M1
!10
· created
Feb 15, 2021
by
Dennis Hendriks
master
RelEng/DevOps
Merged
updated
Feb 15, 2021
Multilevel bus
!1099
· created
Oct 16, 2024
by
Marzhan Baubekova
Closed
4
updated
Oct 17, 2024
Testing EF issue 2178. Do not merge.
!471
· created
Jan 09, 2023
by
Pawel Stankiewicz
Closed
2
updated
Jan 09, 2023
#431contributions for non-commiters cannot be merged
!406
· created
Nov 09, 2022
by
Pawel Stankiewicz
Closed
1
updated
Nov 10, 2022
#190 Merge develop to master for v0.4-M1.
!191
· created
Nov 12, 2021
by
Dennis Hendriks
master
Merged
updated
Nov 12, 2021
#168 develop to master for v0.3-RC1 (2nd attempt)
!154
· created
Sep 28, 2021
by
Dennis Hendriks
master
Merged
updated
Sep 28, 2021
#168 develop to master for v0.3-RC1
!152
· created
Sep 28, 2021
by
Dennis Hendriks
master
Merged
updated
Sep 28, 2021
#167 develop to master for v0.3-M1
!133
· created
Sep 14, 2021
by
Dennis Hendriks
master
Merged
updated
Sep 14, 2021
#141 CollectUtils should use collection interface.
!119
· created
Jul 09, 2021
by
Ferdie Reijnen
Merged
updated
Jul 10, 2021
#122 Finite response checker
!118
· created
Jul 09, 2021
by
Ferdie Reijnen
122-add-controller-check-for-finite-response
Merged
updated
Jul 12, 2021
Prev
1
…
54
55
56
57
58
59
60
61
Next
