Skip to content
GitLab
Explore
Sign in
Open
0
Merged
665
Closed
33
All
698
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}}
Closed date
#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
#993 PLCgen: First steps in cleaning up the generator backdoor communication
!1069
· created
Sep 25, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
17
Approved
updated
Oct 04, 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
#715 Enable CIF code generator integration tests also for JS/HTML.
!1059
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 10, 2024
#849 PLCgen S7 docs: update/improve/fix documentation.
!1058
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
13
Approved
updated
Sep 28, 2024
#968 PLCgen: more explicit operator bindings, and fixed operator priorities for 'xor' and binary '-'
!1057
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
12
updated
Sep 10, 2024
#980 PLCgen: fix event functions and their calls.
!1056
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 10, 2024
#965 PLCgen: iteration limit is bounded response property + 1, and fix loop killed condition.
!1055
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
12
Approved
updated
Sep 10, 2024
#901 #921 PLCgen: S7 has additional naming constraints
!1054
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
19
Approved
updated
Sep 10, 2024
#969 PLCgen: fix constants having another constant as value.
!1053
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
8
Approved
updated
Sep 10, 2024
Prev
1
2
3
4
5
6
7
8
9
…
34
Next
