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

#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
#864 Jenkinsfile: increase build timeout.

!923 · created Jun 10, 2024 by Dennis Hendriks v4.0
RelEng/DevOps TypeBug
- Merged
- Approved
updated Jun 10, 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
#852 PLCgen docs: Fix timer example code

!913 · created Jun 05, 2024 by Albert Hofkamp v4.0
CIF TypeBug
- Merged
- 1
- Approved
updated Jun 05, 2024
#770 PLCgen: Types in expressions, check them.

!912 · created Jun 04, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 62
- Approved
updated Jun 09, 2024
#621 Controller checker docs: small improvements.

!911 · created Jun 03, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 04, 2024
#823 Controller checker: check annotation constraints on output model.

!910 · created Jun 03, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- 2
updated Jun 04, 2024
#823 CIF tools check annotation constraints on output models

!909 · created Jun 02, 2024 by Dennis Hendriks v4.0
CIF TypeBug
- Merged
- 4
- Approved
updated Jun 03, 2024
#757 Test models produced by CIF multilevel tests for being valid

!908 · created Jun 01, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 03, 2024

Prev
1
…
15
16
17
18
19
20
21
22
23
…
62
Next

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