Skip to content
GitLab
Explore
Sign in
Open
4
Merged
1,170
Closed
60
All
1,234
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}}
Priority
#292 Update raildiagram generator documentation and diagrams.
!260
· created
Jan 31, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Merged
53
Approved
updated
Feb 05, 2022
#298 CIF may produce false positive duplicate event on edge warnings
!259
· created
Jan 31, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
16
Approved
updated
Feb 04, 2022
#293 #110 #109 Fix layout of the railroad diagrams
!258
· created
Jan 21, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Merged
45
updated
Jan 27, 2022
#275 Reconsider assigning all open issues to current release and moving them from release to release
!253
· created
Jan 07, 2022
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
4
Approved
updated
Jan 09, 2022
#283 Add raildiagram generator image debug output.
!252
· created
Jan 07, 2022
by
Albert Hofkamp
v0.5
Common
Type
Enhancement
Merged
29
updated
Jan 13, 2022
#142 CIF to PLC should support Siemens S7
!251
· created
Jan 06, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
72
updated
Jan 19, 2024
#274 CIF simulator GUI input mode termination by red stop button leaves buttons enabled
!243
· created
Dec 30, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
6
Approved
updated
Jan 05, 2022
#266 Prepare Git repo for v0.5 development
!241
· created
Dec 20, 2021
by
Dennis Hendriks
v0.5
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 20, 2021
#160 No longer sort the generated dependencies file.
!240
· created
Dec 18, 2021
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Dec 18, 2021
#262 Merge test plugins into their corresponding non-test plugins
!238
· created
Dec 16, 2021
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
39
Approved
updated
Jun 12, 2023
#270 Rename product and releng plugins
!235
· created
Dec 13, 2021
by
Ferdie Reijnen
v0.5
RelEng/DevOps
Type
Enhancement
Merged
11
Approved
updated
Dec 17, 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
#265 develop to master for v0.5
!292
· created
Mar 29, 2022
by
Dennis Hendriks
v0.5
master
Merged
updated
Mar 29, 2022
#264 master to develop for v0.5-RC1
!287
· created
Mar 25, 2022
by
Dennis Hendriks
v0.5
master
Merged
updated
Mar 25, 2022
#263 develop to master for v0.5-M1
!268
· created
Feb 22, 2022
by
Dennis Hendriks
v0.5
master
Merged
2
updated
Feb 22, 2022
#387 Add README and CODE_OF_CONDUCT files and missing trademarks
!341
· created
Jun 27, 2022
by
Dennis Hendriks
v0.6
RelEng/DevOps
Type
Bug
Merged
12
updated
Jul 01, 2022
#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kinds
!330
· created
Jun 12, 2022
by
Ferdie Reijnen
v0.6
CIF
Type
Bug
Merged
Approved
updated
Jun 12, 2022
#381 Third party dependencies license check update (2022-06-12)
!329
· created
Jun 12, 2022
by
Ferdie Reijnen
v0.6
RelEng/DevOps
Type
Bug
Merged
updated
Jun 12, 2022
#372 Updated DEPENDENCIES.txt for changed output of license check tool.
!325
· created
Jun 04, 2022
by
Dennis Hendriks
v0.6
RelEng/DevOps
Type
Bug
Merged
updated
Jun 04, 2022
#365 Update paper references in AsciiDoc files
!316
· created
May 04, 2022
by
Ferdie Reijnen
v0.6
CIF
Chi
RelEng/DevOps
ToolDef
Type
Bug
Merged
Approved
updated
May 06, 2022
Prev
1
…
7
8
9
10
11
12
13
14
15
…
59
Next