Skip to content
GitLab
Explore
Sign in
Open
1
Merged
1,033
Closed
53
All
1,087
Recent searches
{{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}}
Title
Draft: #378 CIF data-based synthesis variable ordering and reordering in one go.
!472
· created
Jan 09, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
5
updated
Mar 12, 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
Draft: #382 (take 2) Make plcgen0 accessible in ESCET.
!357
· created
Aug 11, 2022
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Closed
4
updated
Dec 22, 2023
Draft: #454 New output for CIF checks
!464
· created
Jan 01, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
28
updated
Feb 21, 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: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets
!595
· created
May 28, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Closed
3
updated
May 29, 2023
Draft: #746 Simplistic poc for completing keywords.
!775
· created
Jan 26, 2024
by
Albert Hofkamp
Type
Enhancement
Closed
7
updated
Feb 07, 2024
Draft: #935 Move timer data structures to variables storage.
!1028
· created
Aug 11, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Closed
4
updated
Aug 13, 2024
Draft: Resolve "Allow just last year in license headers"
!38
· created
Apr 19, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Closed
updated
Apr 19, 2021
Draft: Resolve "Improve installation instructions for macOS"
!23
· created
Mar 18, 2021
by
Bert Van Beek
v0.1
Products
Type
Enhancement
Closed
updated
Mar 18, 2021
Draft: Resolve "Railroad diagrams should not use `java.awt` drawing functionality for graphics"
!257
· created
Jan 21, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Closed
updated
Jan 21, 2022
Draft: Resolve "SVG viewer save as suggested file name/path doesn't work as expected"
!183
· created
Nov 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Common
Type
Bug
Closed
updated
Nov 09, 2021
Release milestone v0.1-M1
!10
· created
Feb 15, 2021
by
Dennis Hendriks
master
RelEng/DevOps
Merged
updated
Feb 15, 2021
Release v0.1-M2
!13
· created
Mar 01, 2021
by
Dennis Hendriks
v0.1
master
Merged
updated
Mar 01, 2021
Resolve "Align Checkstyle versions used by Eclipse and Maven"
!17
· created
Mar 02, 2021
by
Dennis Hendriks
v0.1
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Mar 05, 2021
Resolve "Configure deployment to Eclipse Foundation infrastructure"
!8
· created
Feb 12, 2021
by
Dennis Hendriks
v0.1
RelEng/DevOps
Type
Enhancement
Merged
3
updated
Feb 15, 2021
Resolve "Enhance debug output of the rail diagram generator"
!107
· created
Jun 30, 2021
by
Albert Hofkamp
v0.2
Common
Type
Enhancement
Merged
18
updated
Jul 02, 2021
Resolve "Include license header check in Jenkins build"
!18
· created
Mar 02, 2021
by
Dennis Hendriks
v0.1
RelEng/DevOps
Type
Enhancement
Merged
2
updated
Mar 05, 2021
Resolve "JavaBDD missing from Eclipse ESCET update site"
!12
· created
Mar 01, 2021
by
Dennis Hendriks
v0.1
RelEng/DevOps
Type
Bug
Merged
updated
Mar 01, 2021
Resolve "Remove command line tools for macOS"
!24
· created
Mar 18, 2021
by
Dennis Hendriks
v0.1
Products
RelEng/DevOps
Type
Bug
Merged
updated
Mar 18, 2021
Prev
1
…
50
51
52
53
54
55
Next
