Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,035
Closed
53
All
1,090
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
#1001 CIF to CIF transformations: change which transformations remove controller properties annotations
!1083
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
13
Approved
updated
Oct 07, 2024
#1002 ConfluenceCheck: update outdated JavaDoc.
!1084
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
3
Approved
updated
Oct 07, 2024
#1007 Confluence check: special handling of one controllable event.
!1085
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Oct 07, 2024
#1008 Confluence check: more termination checking.
!1086
· created
Oct 06, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Oct 07, 2024
#1009 Confluence check: introduce separate methods for each of the checks
!1087
· created
Oct 07, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
6
updated
Oct 11, 2024
#1013 PLCgen: Document existence and objective of the 'loopsKilled' variable.
!1077
· created
Oct 02, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
11
Approved
updated
Oct 04, 2024
#1018 PLCgen: Convert only one of compatible enumeration declarations
!1088
· created
Oct 09, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Bug
7
updated
Oct 11, 2024
#101 Documented process for contributor to become a committer.
!88
· created
Jun 09, 2021
by
Dennis Hendriks
v0.2
Type
Enhancement
Merged
2
updated
Jun 16, 2021
#1024 Fix two 'the a' JavaDoc typos.
!1090
· created
Oct 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 11, 2024
#103 Fix About dialog for product started as dev runtime.
!90
· created
Jun 10, 2021
by
Dennis Hendriks
v0.2
Products
Type
Bug
Merged
updated
Jun 15, 2021
#104 CIF simulation crashes for enumeration literals that are java keywords.
!95
· created
Jun 14, 2021
by
Ferdie Reijnen
Merged
8
updated
Jun 16, 2021
#105 Ignore type ranges for switch expressions.
!92
· created
Jun 11, 2021
by
Ferdie Reijnen
Merged
8
updated
Jun 12, 2021
#106 Fix dependencies for alg variables with equations in locations
!87
· created
Jun 08, 2021
by
Ferdie Reijnen
Merged
17
updated
Jun 09, 2021
#107 Data-based synthesis should support state plant invariants
!159
· created
Oct 01, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
111
Approved
updated
Mar 12, 2022
#108 additional checks/warnings for data based synthesis related to state event exclusion invariants.
!114
· created
Jul 02, 2021
by
Ferdie Reijnen
Merged
30
updated
Jul 13, 2021
#111 Build railroad diagrams during the build
!311
· created
Apr 27, 2022
by
Dennis Hendriks
v0.6
Common
RelEng/DevOps
Type
Enhancement
Merged
20
Approved
updated
Sep 29, 2022
#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
#112 Generate Chi railroad diagrams using the new railroad diagram generator
!473
· created
Jan 11, 2023
by
Ferdie Reijnen
v0.9
Chi
Type
Enhancement
Merged
38
Approved
updated
Jan 23, 2023
#117 Rebrand requirement invariants to supervisor invariants as synthesis output.
!96
· created
Jun 15, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 16, 2021
#118 Realigned require-bundle for Cif simulator and debug simulator.
!93
· created
Jun 12, 2021
by
Ferdie Reijnen
Merged
1
updated
Jun 12, 2021
Prev
1
2
3
4
5
…
55
Next
