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}}
Title
#866 Use partial transition relations for improving data based synthesis performance
!927
· created
Jun 14, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
20
Approved
updated
Jun 14, 2024
#865 Use relnext and relprev for improving data based synthesis performance
!926
· created
Jun 13, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Jun 13, 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
#862 #679 PLCgen S7 SEL function application should always use formal notation.
!940
· created
Jun 20, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 21, 2024
#860 PLCgen: Force minimum size of the S7 TEMP variable table
!965
· created
Jul 08, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
15
Approved
updated
Jul 10, 2024
#859 PLCgen: disallow 'switch' expressions on tuples and arrays as precondition
!922
· created
Jun 10, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
4
updated
Jun 10, 2024
#858 CIF to CIF transformation to transform 'switch' expressions to 'if' expressions now handles nested 'switch' expressions
!918
· created
Jun 09, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
3
Approved
updated
Jun 09, 2024
#857 PLCgen: transform 'switch' expressions to 'if' expressions.
!919
· created
Jun 09, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
4
Approved
updated
Jun 10, 2024
#856 CIF type checker now warns for convoluted references, for types of component parameters
!917
· created
Jun 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 08, 2024
#854 PLCgen: Add function type extensions, enable for the SEL function.
!921
· created
Jun 10, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
8
Approved
updated
Jun 21, 2024
#853 ControllerCheckerApp: fix annotation post-checking.
!915
· created
Jun 06, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
8
Approved
updated
Jun 10, 2024
#853 CIF to CIF transformer performs annotation post-checks on specification without component definition/instantiation
!924
· created
Jun 10, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 13, 2024
#852 PLCgen docs: Fix timer example code
!913
· created
Jun 05, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
1
Approved
updated
Jun 05, 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
#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
#848 PLCgen Fix S7-300 PLC compile problem with double negations.
!933
· created
Jun 17, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
2
Approved
updated
Sep 08, 2024
#847 Fix PLCgen PLC code for EXPT and MIN/MAX.
!934
· created
Jun 17, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
2
Approved
updated
Jun 18, 2024
#843 Be more explicit that CIF doesn't allow assigning derivatives of continuous variables
!904
· created
May 28, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 28, 2024
#838 Warn about state/event exclusion invariants with events that are not in the alphabet of the specification
!906
· created
May 31, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
4
updated
Jun 04, 2024
#835 Add CifEventUtils.getAlphabet(Specification) method.
!896
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
2
Approved
updated
May 21, 2024
Prev
1
2
3
4
5
6
7
8
9
…
34
Next
