Skip to content
GitLab
Explore
Sign in
Open
3
Merged
774
Closed
43
All
820
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}}
Milestone due date
#1087 Add 'Eliminate state invariants' CIF to CIF transformations
!1195
· created
Dec 23, 2024
by
Dennis Hendriks
v7.0
CIF
Type
Enhancement
Merged
5
Approved
updated
Jan 09, 2025
#1103 Instructions for preparing for next release: remove no longer needed steps.
!1194
· created
Dec 20, 2024
by
Dennis Hendriks
v7.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 21, 2024
#1085 CIF SVG input mappings with updates are no longer experimental.
!1192
· created
Dec 20, 2024
by
Dennis Hendriks
v7.0
CIF
Type
Enhancement
Merged
Approved
updated
Dec 21, 2024
#1075 Prepare Git repo for v7.0 development
!1191
· created
Dec 20, 2024
by
Dennis Hendriks
v7.0
RelEng/DevOps
Type
Enhancement
Merged
2
updated
Jan 02, 2025
#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.
!962
· created
Jul 04, 2024
by
Dennis Hendriks
CIF
Type
Enhancement
Merged
5
Approved
updated
Jul 04, 2024
#500 Update license headers for 2024
!757
· created
Jan 04, 2024
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
Jan 05, 2024
#472 Move app.framework exceptions to common.java
!749
· created
Jan 02, 2024
by
Albert Hofkamp
Common
Type
Enhancement
Merged
9
updated
Jan 03, 2024
#569 Upgrade from JUnit 4 to JUnit 5
!601
· created
Jun 02, 2023
by
Ferdie Reijnen
CIF
Chi
Common
RelEng/DevOps
SeText
ToolDef
Type
Enhancement
Merged
22
Approved
updated
Jun 11, 2023
#497 Change year to 2023
!467
· created
Jan 03, 2023
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
6
Approved
updated
Jan 03, 2023
#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 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
#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
#285 Copyright update to 2022.
!246
· created
Jan 03, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
12
Approved
updated
Jan 02, 2023
Prev
1
…
35
36
37
38
39
Next