Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

#876 Drop power and exponentiation.

!936 · created Jun 18, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- Approved
updated Jun 18, 2024
#847 Fix PLCgen PLC code for EXPT and MIN/MAX.

!934 · created Jun 17, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- 2
- Approved
updated Jun 18, 2024
#848 PLCgen Fix S7-300 PLC compile problem with double negations.

!933 · created Jun 17, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- 2
- Approved
updated Sep 08, 2024
#679 #860 PLCgen: Ensure that the main program always has a proper PLC statement.

!932 · created Jun 17, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- 7
- Approved
updated Jun 18, 2024
#410 CIF controller properties checker: add non-blocking under control check

!931 · created Jun 16, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 56
- Approved
updated Jun 25, 2024
#873 CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF

!930 · created Jun 15, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 3
updated Jun 17, 2024
#871 Use more BddUtils.free in CifBddEdge.

!928 · created Jun 14, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 17, 2024
#866 Use partial transition relations for improving data based synthesis performance

!927 · created Jun 14, 2024 by Wytse Oortwijn v4.0
CIF TypeEnhancement
- 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 TypeEnhancement
- Merged
- 2
- Approved
updated Jun 13, 2024
#625 Upgrade to JavaBDD 7.0.0.

!925 · created Jun 11, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- Approved
updated Aug 05, 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 TypeBug
- Merged
- Approved
updated Jun 13, 2024
#859 PLCgen: disallow 'switch' expressions on tuples and arrays as precondition

!922 · created Jun 10, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- 4
updated Jun 10, 2024
#854 PLCgen: Add function type extensions, enable for the SEL function.

!921 · created Jun 10, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- 8
- Approved
updated Jun 21, 2024
#679 Make "timer" a reserved word in PLCgen

!920 · created Jun 10, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Jun 10, 2024
#857 PLCgen: transform 'switch' expressions to 'if' expressions.

!919 · created Jun 09, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- 4
- Approved
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 TypeBug
- Merged
- 3
- Approved
updated Jun 09, 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 TypeEnhancement
- Merged
- Approved
updated Jun 08, 2024
#824 Fix scoping of annotation type checking

!916 · created Jun 06, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- Approved
updated Jun 10, 2024
#853 ControllerCheckerApp: fix annotation post-checking.

!915 · created Jun 06, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- 8
- Approved
updated Jun 10, 2024
#770 PLCgen: Check the type of all values in an array literal.

!914 · created Jun 05, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 6
- Approved
updated Jun 06, 2024

Prev
1
…
10
11
12
13
14
15
16
17
18
…
39
Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent