Skip to content
GitLab
Explore
Sign in
Open
2
Merged
757
Closed
43
All
802
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
#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
Draft: #1078 Create a ToolDef user manual
!1176
· created
Dec 09, 2024
by
Albert Hofkamp
v7.0
ToolDef
Type
Enhancement
5
updated
Dec 16, 2024
#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
Draft: #746 Simplistic poc for completing keywords.
!775
· created
Jan 26, 2024
by
Albert Hofkamp
Type
Enhancement
Closed
7
updated
Feb 07, 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
#534 Fail build on files not formatted according to the ESCET formatter profile
!512
· created
Feb 21, 2023
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Closed
59
updated
Jan 17, 2024
#497 Change year to 2023
!467
· created
Jan 03, 2023
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
6
Approved
updated
Jan 03, 2023
Draft: #488 Search engine indexes old versions
!462
· created
Dec 31, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Closed
2
updated
Jan 05, 2023
Draft: #360 Integrate license check into the build
!454
· created
Dec 23, 2022
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Closed
4
updated
Aug 19, 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 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
Prev
1
…
36
37
38
39
40
41
Next
