Skip to content
GitLab
Explore
Sign in
Open
5
Merged
942
Closed
52
All
999
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}}
Closed date
#111 Generate railroad diagrams during build rather than commiting them to git repo.
!256
· created
Jan 19, 2022
by
Ferdie Reijnen
v0.5
Common
RelEng/DevOps
Type
Enhancement
Closed
46
updated
Mar 19, 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
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: #111 Generate railroad diagrams during build rather than committing them to Git repo
!255
· created
Jan 18, 2022
by
Ferdie Reijnen
v0.5
Common
RelEng/DevOps
Type
Enhancement
Closed
7
updated
Jan 19, 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
#199 Open large CIF files with standard text editor, not CIF editor
!164
· created
Oct 11, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Closed
10
updated
Oct 17, 2022
#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events
!122
· created
Jul 20, 2021
by
Ferdie Reijnen
v0.3
CIF
Type
Enhancement
Closed
16
updated
Aug 31, 2021
#121 Upgrade to Eclipse 2021-06
!104
· created
Jun 24, 2021
by
Ferdie Reijnen
Closed
2
updated
Jun 26, 2021
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
#25 Fix ElimComponentDefInst for nested def/inst
!28
· created
Apr 09, 2021
by
Ferdie Reijnen
Closed
1
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
Testing Merge Requests
!2
· created
Nov 26, 2020
by
Denis Roy
Closed
1
updated
Nov 26, 2020
#424 CIF explorer: migrate to new precondition checker framework + improve 'too many initial states' check
!999
· created
Jul 26, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
updated
Jul 26, 2024
#424 CIF to mCRL2: use new precondition checking framework.
!998
· created
Jul 26, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 26, 2024
#940 Let Checkstyle check all method argument names.
!997
· created
Jul 26, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jul 26, 2024
#939 Normal/debug/warn/error output properly supports multi-line text
!996
· created
Jul 25, 2024
by
Dennis Hendriks
v5.0
Common
Type
Enhancement
Merged
4
Approved
updated
Jul 26, 2024
#934 PLCgen: Simplify bit size handling of numeric types, select smaller edge variable types.
!995
· created
Jul 25, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
33
Approved
updated
Jul 26, 2024
#937 CIF controller properties checker: debug output improvements (related to indentation)
!994
· created
Jul 24, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Jul 25, 2024
#923 Compute PLC edge variables up-front instead of on-the-fly
!993
· created
Jul 24, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
17
Approved
updated
Jul 25, 2024
#936 Introduce and use 'Termination' interface + improve termination request checking performance
!992
· created
Jul 23, 2024
by
Dennis Hendriks
v5.0
CIF
Common
Type
Enhancement
Merged
Approved
updated
Jul 24, 2024
Prev
1
2
3
4
5
6
7
…
50
Next