Skip to content
GitLab
Explore
Sign in
Open
5
Merged
681
Closed
34
All
720
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
#790 EdgeNoPartialVarAssignCheck: fix for multi-assignments and report violations on addressables
!855
· created
Apr 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
3
Approved
updated
Apr 10, 2024
#593 Allow annotations on specifications
!853
· created
Apr 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
9
updated
Apr 10, 2024
#745 Remove 'ball_sorting' CIF benchmark model + scripts.
!850
· created
Mar 31, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Apr 02, 2024
#593 Allow annotations on events
!848
· created
Mar 30, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Apr 02, 2024
#794 Add CIF check to check list type limits.
!844
· created
Mar 26, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
74
Approved
updated
Apr 29, 2024
#679 PLCgen: Forbid pure monitor events.
!839
· created
Mar 22, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
24
Approved
updated
Mar 31, 2024
#319 Add sub-plant creation functionality
!696
· created
Nov 20, 2023
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
373
Approved
updated
Apr 25, 2024
#997 CIF controller properties checker docs: the confluence check has BDD preconditions, not MDD ones.
!1074
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 30, 2024
#971 CIF controller properties checker: bounded response check uses execution order
!1073
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
27
Approved
updated
Oct 16, 2024
#957 CIF/BDD: Printing debug information for saturation
!1072
· created
Sep 27, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Sep 27, 2024
#958 CIF/BDD: Added termination checking for saturation
!1071
· created
Sep 27, 2024
by
Wytse Oortwijn
v5.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Sep 27, 2024
#951 Upgrade to JavaBDD 9.0.0 + update CIF/BDD and synthesis for BDD.pathCount/satCount returning a BigInteger
!1070
· created
Sep 26, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
11
updated
Sep 27, 2024
#992 EdgeWorksetAlgoOption: proper reference to its replacement 'Exploration strategy' option.
!1068
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 23, 2024
#863 #987 PLCgen S7 documentation improvements for TIA Portal steps.
!1066
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
3
updated
Sep 25, 2024
#986 PLCgen event functions: don't directly assign input parameter.
!1065
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Sep 23, 2024
#693 #695 CIF controller properties checker: re-implement confluence check using BDDs instead of MDDs
!1064
· created
Sep 12, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
23
updated
Oct 29, 2024
#849 Fix PLCgen S7 constants import instructions.
!1063
· created
Sep 12, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
3
Approved
updated
Sep 28, 2024
#984 PLCgen: no more warnings for renaming loc pointers ending in dots.
!1062
· created
Sep 10, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 10, 2024
#969 DefaultVariableStorage: added extra assertion.
!1061
· created
Sep 10, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
updated
Sep 10, 2024
#973 CIF type checker: improve comp def/inst param count mismatch pos.
!1060
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 10, 2024
Prev
1
…
21
22
23
24
25
26
27
28
29
…
35
Next